1436 search results - page 183 / 288 » Description Logic Unplugged |
190
click to vote
ENTCS
2010
15 years 3 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
196
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
176
click to vote
AAAI
2007
15 years 8 months ago
2007
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
156
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
159
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we describe the middleware that has evolved from our attempt to capture user descriptions of policies controlling devices and services from natural language. Descri...