3081 search results - page 443 / 617 » A Formal Ontology of Properties |
164
click to vote
ICOST
2007
Springer
16 years 21 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
159
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
148
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
129
click to vote
WINE
2007
Springer
16 years 19 days ago
2007
Springer
We observe that ranking systems—a theoretical framework for web page ranking and collaborative filtering introduced by Altman and Tennenholtz—and tournament solutions—a well...
128
click to vote
ICRA
2006
IEEE
16 years 17 days ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...