3758 search results - page 271 / 752 » A Complete Subsumption Algorithm |
175
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
151
click to vote
ISCAS
2007
IEEE
16 years 24 days ago
2007
IEEE
— The new theory of compressive sensing enables direct analog-to-information conversion of compressible signals at subNyquist acquisition rates. We develop new theory, algorithms...
147
click to vote
PDP
2007
IEEE
16 years 24 days ago
2007
IEEE
SockMi is a solution for the migration of TCP/IP connections between Linux systems. Only the migrating peer of the connection needs to reside on a Linux system. The migration is c...
181
click to vote
SFM
2007
Springer
16 years 19 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
169
click to vote
APCCAS
2006
IEEE
16 years 18 days ago
2006
IEEE
— We conduct a complete analysis of the effect of digit redundancy in adders on their delay, power, energy, and energy-delay product. To our knowledge, this is the first such de...