3358 search results - page 161 / 672 » Dynamic Description Logics |
206
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
189
click to vote
JANCL
2007
15 years 7 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
230
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
1The classic Dynamic Source Routing (DSR) protocol opts for the route requiring the lowest number of hops for transmitting data from the source to the destination. However, owing t...
202
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
191
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: With the recent developments in technology, new and diverse devices are being introduced into the pervasive world. This has raised new challenges for the discovery of devices and...