1768 search results - page 243 / 354 » A Logic for Algebraic Effects |
155
Voted
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...
199
click to vote
AAAI
2004
15 years 8 months ago
2004
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
184
Voted
CIC
2006
15 years 8 months ago
2006
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...
212
Voted
ECIR
2003
Springer
15 years 8 months ago
2003
Springer
Uncertain inference is a probabilistic generalisation of the logical view on databases, ranking documents according to their probabilities that they logically imply the query. For ...
218
Voted
MSO
2003
15 years 8 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...