Sciweavers

1120 search results - page 192 / 224
» A Formal Framework for Interactive Agents
Sort
View
96
Voted
WWW
2001
ACM
16 years 1 months ago
A unified constraint model for XML
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
Gabriel M. Kuper, Jérôme Siméo...
124
Voted
CMSB
2007
Springer
15 years 6 months ago
Context Sensitivity in Logical Modeling with Time Delays
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
Heike Siebert, Alexander Bockmayr
CODES
2002
IEEE
15 years 5 months ago
The design context of concurrent computation systems
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
JoAnn M. Paul, Christopher M. Eatedali, Donald E. ...
77
Voted
EHCI
2004
15 years 2 months ago
Formalising an Understanding of User-System Misfits
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
Ann Blandford, Thomas R. G. Green, Iain Connell
71
Voted
COLING
1994
15 years 2 months ago
Multi-Modal Definite Clause Grammar
This paper describes the first reported grammatical framework for a nmltimodal interface. Although multimodal interfaces offer the promise of a flexible and user fl'iendly me...
Hideo Shimazu, Seigo Arita, Yosuke Takashima