1341 search results - page 134 / 269 » Dynamic Testimonial Logic |
AAAI
2000
13 years 11 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract Traditional ontology mapping techniques are not strictly applicable in a dynamic and distributed environment (e.g. P2P and pervasive computing) in which on-the-fly alignm...
DSD
2006
IEEE
14 years 3 months ago
2006
IEEE
Programmable logic arrays (PLAs) present an alternative to logic-gate based design. We propose the transistor level structure of a PLA for single-rail asynchronous applications. T...
ASPDAC
2005
ACM
14 years 3 months ago
2005
ACM
- Domino logic is used extensively in high speed microprocessor datapath design. Although domino gates have small propagation delay, they consume relatively more power. We propose ...