4287 search results - page 817 / 858 » Minimal Mental Models |
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
IPSN
2004
Springer
14 years 1 months ago
2004
Springer
We consider the rate-distortion problem for sensing the continuous space-time physical temperature in a circular ring on which a heat source is applied over space and time, and wh...
IWQOS
2004
Springer
14 years 1 months ago
2004
Springer
— Managing the performance of multiple-tiered Web sites under high client loads is a critical problem with the advent of dynamic content and database-driven servers on the Intern...
CSB
2003
IEEE
14 years 1 months ago
2003
IEEE
As gene order evolves through a variety of chromosomal rearrangements, conserved segments provide important insight into evolutionary relationships and functional roles of genes. ...