3244 search results - page 437 / 649 » Extensions to Description Logics |
199
click to vote
DEXAW
2010
IEEE
15 years 7 months ago
2010
IEEE
One possible threat to linked data quality is the lack of knowledge about the dynamics in dependent remote datasets. Linked data consuming applications often need to be aware of ch...
180
Voted
GRID
2008
Springer
15 years 6 months ago
2008
Springer
SmartGridSolve is an extension of GridSolve that expands the single task map and client-server model of GridRPC by implementing server to server communication and the mapping of a...
171
click to vote
WINET
2002
15 years 6 months ago
2002
Abstract. The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an int...
183
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
196
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...