10568 search results - page 170 / 2114 » Computer Intelligence and Formalization |
119
click to vote
ECOOPW
2001
Springer
15 years 7 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
119
Voted
ECOOPW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
115
Voted
DLOG
2007
15 years 5 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
118
Voted
CHI
2003
ACM
16 years 3 months ago
2003
ACM
The XWand is a novel wireless sensor package that enables styles of natural interaction with intelligent environments. For example, a user may point the wand at a device and contr...
118
Voted
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...