1
Published 2007
Table of Contents: ... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...) -- Constraint Applications -- Playing the Minesweeper with Constraints -- Using Constraint Programming...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ...-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... of Verifying Game Equilibria -- Component-Based Development of Secure Mobile Agents Applications -- Design...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... and Time -- An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... 2009 - Session 5: System Software II -- RFID-based Distributed Memory for Mobile Applications -- A...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... -- Metaheuristics for Tuning Model Parameters in Two Natural Language Processing Applications -- Clustering a Very...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
View full text
Electronic eBook