Sciweavers

8911 search results - page 298 / 1783
» Intelligent Systems for Tourism
Sort
View
CEC
2008
IEEE
15 years 11 months ago
Dynamical evolution analysis of the object-oriented software systems
— Software evolution and update play a vital role in software engineering. It has many advantages, such as improving the efficiency of programming, reducing the cost of maintena...
Huan Li, Beibei Huang, Jinhu Lu
ATAL
2006
Springer
15 years 8 months ago
Model checking knowledge, strategies, and games in multi-agent systems
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
Alessio Lomuscio, Franco Raimondi
DRM
2006
Springer
15 years 8 months ago
Verifiable digital object identity system
Identification is a two part system comprising of a token or label (an identifier) that can be used to reference an entity and a process that can be used to create label-entity as...
Alapan Arnab, Andrew Hutchison
TSMC
2010
14 years 11 months ago
Modeling of Future Cyber-Physical Energy Systems for Distributed Sensing and Control
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...
Marija D. Ilic, Le Xie, Usman A. Khan, José...
IBERAMIA
2004
Springer
15 years 10 months ago
Multi-session Management in Spoken Dialogue System
In order to increase the role of machines in supporting more capabilities as regards a spoken dialogue system, we present in this paper a new problem incorporating multi-session in...
Ngoc-Hoa Nguyen, Jean Caelen