Sciweavers

3637 search results - page 317 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
RISE
2005
Springer
16 years 5 days ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
WEBI
2005
Springer
16 years 4 days ago
IPR: Automated Interaction Process Reconciliation
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
Zongxia Du, Jinpeng Huai, Yunhao Liu, Chunming Hu,...
MUM
2004
ACM
115views Multimedia» more  MUM 2004»
16 years 3 days ago
Task computing for ubiquitous multimedia services
The Task Computing framework is designed to operate in dynamic ubiquitous environments in which a mobile computing user dynamically discovers the current set of available semantic...
Zhexuan Song, Ryusuke Masuoka, Jonathan R. Agre, Y...
AH
2004
Springer
16 years 2 days ago
Evaluating Adaptive Problem Selection
: This paper presents an evaluation study that compares two different problem selection strategies for an Intelligent Tutoring System (ITS). The first strategy uses static problem ...
Antonija Mitrovic, Brent Martin
ARGMAS
2004
Springer
16 years 2 days ago
Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa