2299 search results - page 154 / 460 » Logical Data Expiration |
158
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
129
click to vote
VLSID
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present two novel synchronization approaches to support data flow in clockless designs using single-rail encoding. Both approaches are based on self-resetting st...
138
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
156
click to vote
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
149
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
The 3 tier architecture logically separates the functions of an application into a user interface component, a server business logic component, and a database component. Many appl...