4595 search results - page 770 / 919 » Reasoning about Plans |
AAAI
1992
13 years 10 months ago
1992
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
BCSHCI
2009
13 years 10 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
COMPSAC
2009
IEEE
13 years 10 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
CONEXT
2009
ACM
13 years 10 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...