Sciweavers

3305 search results - page 204 / 661
» Can we Rely on SQL
Sort
View
ICCAD
1993
IEEE
85views Hardware» more  ICCAD 1993»
14 years 2 months ago
Input don't care sequences in FSM networks
Current approaches to compute and exploit the flexibility of a component in an FSM network are all at the symbolic level [23, 30, 33, 31]. Conventionally, exploitation of this ï¬...
Huey-Yih Wang, Robert K. Brayton
VLDB
1992
ACM
151views Database» more  VLDB 1992»
14 years 2 months ago
A Uniform Approach to Processing Temporal Queries
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
Umeshwar Dayal, Gene T. J. Wuu
AI
2006
Springer
14 years 2 months ago
Satisfaction Equilibrium: Achieving Cooperation in Incomplete Information Games
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
Stéphane Ross, Brahim Chaib-draa
ATAL
2006
Springer
14 years 2 months ago
Multi-model motion tracking under multiple team member actuators
Autonomous robots need to track objects. Object tracking relies on predefined robot motion and sensory models. Tracking is particularly challenging if the robots can actuate on th...
Yang Gu, Manuela M. Veloso
ATAL
2009
Springer
13 years 12 months ago
Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies
Obligations can apply to individuals, either severally or collectively. When applied severally, each individual or member of a team is independently responsible to fulfill the obli...
Jurriaan van Diggelen, Jeffrey M. Bradshaw, Matthe...