2649 search results - page 197 / 530 » Temporal Theories of Reasoning |
172
click to vote
DKE
1998
15 years 6 months ago
1998
Disk I/O is a major bottleneck for query processing in database applications. This bottleneck is especially a problem for temporal databases because of their large size. Reduction...
176
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
185
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In order to allow sufficient amount of light into the image sensor, videos captured in poor lighting conditions typically have low frame rate and frame exposure time equals to in...
197
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
170
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...