This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held ...
Lire la suiteAutonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...
Lire la suiteExcels what-if data analysis tools let you experiment with your data to project future results. In turn, these predictions ...
Lire la suiteThis twenty-third ICMI Study addresses for the first time mathematics teaching and learning in the primary school (and pre-school) ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, ...
Lire la suiteThis state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
Lire la suiteAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lire la suiteAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suiteCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lire la suiteIt presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...
Lire la suiteThis book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Lire la suiteWhen designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
Lire la suiteWhen designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
Lire la suiteThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lire la suiteThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lire la suiteConstraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Lire la suiteThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lire la suiteThe interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
Lire la suite