By Matthias Knorr, José Júlio Alferes, Pascal Hitzler (auth.), José Neves, Manuel Filipe Santos, José Manuel Machado (eds.)

This e-book constitutes the refereed lawsuits of the thirteenth Portuguese convention on man made Intelligence, EPIA 2007, held in Guimarães, Portugal, in December 2007 as 11 built-in workshops.

The fifty eight revised complete papers offered have been conscientiously reviewed and chosen from a complete of 210 submissions. according to the 11 constituting workshops, the papers are geared up in topical sections on basic man made intelligence (GAIW 2007), AI functions for sustainable transportation structures (AIASTS 2007), man made lifestyles and evolutionary algorithms (ALEA 2007), ambient intelligence applied sciences and purposes (AMITA 2007), development and utilising ontologies for the semantic net (BAOSW 2007), enterprise intelligence (BI 2007), computational tools in bioinformatics and structures biology (CMBSB 2007), clever robotics (IROBOT 2007), multi-agent structures: conception and functions (MASTA 2007), seek concepts for constraint pride (STCS 2007), and textual content mining and functions (TEMA 2007).

Show description

Read Online or Download Progress in Artificial Intelligence: 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007. Proceedings PDF

Best Computers books

Scale Space Methods in Computer Vision: 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings

This e-book constitutes the refereed complaints of the 4th foreign convention on Scale area tools in laptop imaginative and prescient, Scale-Space 2003, held at Isle of Skye, united kingdom in June 2003. The fifty six revised complete papers provided have been rigorously reviewed and chosen from one zero one submissions. The booklet deals topical sections on deep constitution representations, scale house arithmetic, equivalences, imposing scale areas, minimum methods, evolution equations, neighborhood constitution, photo versions, morphological scale areas, temporal scale areas, form, and movement and stereo.

Pro COBOL Precompiler. Programmer's Guide

This handbook is a finished user's consultant and connection with the Oracle seasoned COBOL Precompiler. It indicates you the way to boost COBOL courses that use the database languages SQL and PL/SQL to entry and manage Oracle information. See Oracle 9i SQL Reference and PL/SQL consumer s advisor and Reference for additional information on SQL and PL/SQL.

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

This publication constitutes the refereed court cases of the sixteenth overseas convention on laptop Aided Verification, CAV 2004, held in Boston, MA, united states, in July 2004. The 32 revised complete study papers and sixteen device papers have been conscientiously reviewed and chosen from a hundred and forty four submissions. The papers conceal all present matters in computing device aided verification and version checking, starting from foundational and methodological concerns to the overview of significant instruments and structures.

Extra resources for Progress in Artificial Intelligence: 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007. Proceedings

Show sample text content

Rated 4.29 of 5 – based on 19 votes