Sciweavers

4190 search results - page 106 / 838
» Implementing commitment-based interactions
Sort
View
117
Voted
DAC
1994
ACM
15 years 6 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
105
Voted
EDBT
2009
ACM
145views Database» more  EDBT 2009»
15 years 6 months ago
Interactive query refinement
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
Chaitanya Mishra, Nick Koudas
IAT
2009
IEEE
15 years 6 months ago
On-line Coordination: Event Interaction and State Communication between Cooperative Agents
This paper addresses a novel coordination problem for distributed agents in a discrete-event setting. We introduce and study a predicate coordination problem as the problem of dist...
Manh Tung Pham, Kiam Tian Seow
ICMB
2007
IEEE
144views Business» more  ICMB 2007»
15 years 6 months ago
Augmented Reality 3D Interactive Advertisements on Smartphones
Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...
Fadi Chehimi, Paul Coulton, Reuben Edwards
CW
2004
IEEE
15 years 6 months ago
An Interactive Agent-Based Learning Environment for Children
This paper presents an educational distributed virtual reality-based environment for children called EVE - Environnement Virtuel pour Enfants. EVE is used in elementary schools fr...
Dorin Mircea Popovici, Cédric Buche, Ronan ...