2470 search results - page 329 / 494 » Liveness-Preserving Simulation Relations |
160
click to vote
PDPTA
2000
15 years 6 months ago
2000
Exploiting compile time knowledge to improve memory bandwidth can produce noticeable improvements at run-time [13, 1]. Allocating the data structure [13] to separate memories when...
135
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
142
click to vote
IJCAI
1989
15 years 5 months ago
1989
We extend qualitative reasoning with estimations of the relative likelihoods of the pos sible qualitative behaviors . We estimate the likelihoods by viewing the dynamics o f a sys...
142
click to vote
BCSHCI
2009
15 years 5 months ago
2009
Personal robots and screen agents can be equipped with social abilities to facilitate interaction. This paper describes our research on the influence of these abilities on elderly...
156
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...