5550 search results - page 593 / 1110 » Different Approaches to Proof Systems |
212
click to vote
ADVSE
2010
15 years 2 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
240
click to vote
IJRR
2010
15 years 2 months ago
2010
The ability to represent knowledge about space and its position therein is crucial for a mobile robot. To this end, topological and semantic descriptions are gaining popularity fo...
229
click to vote
INFOCOM
2011
IEEE
14 years 11 months ago
2011
IEEE
—Recent advances in energy harvesting materials and ultra-low-power communications will soon enable the realization of networks composed of energy harvesting devices. These devic...
204
click to vote
GI
2005
Springer
16 years 24 days ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
173
click to vote
SEMWEB
2004
Springer
16 years 19 days ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...