Sciweavers

3432 search results - page 404 / 687
» Language as a Complex Adaptive System
Sort
View
STORYTELLING
2007
Springer
16 years 24 days ago
RCEI: An API for Remote Control of Narrative Environments
The proposal of this research project is to develop a standard connection mechanism to make narrative environments and the external systems that control them interoperable. Thanks ...
Federico Peinado, Álvaro Navarro
EUSFLAT
2001
130views Fuzzy Logic» more  EUSFLAT 2001»
15 years 8 months ago
Autonomous robot behaviours for co-operative agents using fuzzy logic and subtractive clustering
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
Alexandros Mouzakitis, Geoff Roberts
SDL
2001
125views Hardware» more  SDL 2001»
15 years 8 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
JUCS
2007
129views more  JUCS 2007»
15 years 6 months ago
Constraint Programming Architectures: Review and a New Proposal
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
Jacques Robin, Jairson Vitorino, Armin Wolf
ICALP
2010
Springer
15 years 11 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema