5243 search results - page 911 / 1049 » Reasoning About Strategies |
169
click to vote
MIDDLEWARE
2005
Springer
15 years 12 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...
180
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
198
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
Today’s web is so huge and diverse that it arguably reflects the real world. For this reason, searching the web is a promising approach to find things in the real world. This ...
156
click to vote
COCO
2004
Springer
15 years 11 months ago
2004
Springer
We study several properties of sets that are complete for NP. We prove that if L is an NP-complete set and S ⊇ L is a p-selective sparse set, then L − S is ≤p m-hard for NP....
198
click to vote
INEX
2004
Springer
15 years 11 months ago
2004
Springer
The INEX query languages allow the extraction of fragments from selected documents. This power is not much used in INEX queries. The paper suggests reasons why, and considers which...