1054 search results - page 49 / 211 » Translation Validation of System Abstractions |
168
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
144
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
We conducted an empirical study to better understand collaborative information visualization. We found that a system that offered fewer options for visualizations yielded more cor...
167
click to vote
CC
2006
Springer
15 years 9 months ago
2006
Springer
We show that classic PRE is also a maximum flow problem, thereby revealing the missing link between classic and speculative PRE, and more importantly, establishing a common high-le...
161
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
251
click to vote
IWUC
2004
15 years 7 months ago
2004
There is an inherent chasm between the real-world and the world that can be perceived by computer systems, yielding uncertainty and ambiguity in system perceived context, with cons...