506 search results - page 77 / 102 » Constructor-based observational logic |
132
Voted
AI
2010
Springer
15 years 20 days ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
110
click to vote
HPCA
2005
IEEE
16 years 27 days ago
2005
IEEE
The use of large instruction windows coupled with aggressive out-oforder and prefetching capabilities has provided significant improvements in processor performance. In this paper...
200
click to vote
POPL
2007
ACM
16 years 25 days ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
127
click to vote
EDBT
2006
ACM
16 years 19 days ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
103
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— We investigate the effect of packet delays and packet drops on networked control systems. First we consider the problem of where to locate a controller or state estimator in a...