2299 search results - page 154 / 460 » Logical Data Expiration |
217
click to vote
CVPR
2006
IEEE
16 years 9 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...
184
click to vote
VLSID
2006
IEEE
16 years 1 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...
197
Voted
FSEN
2009
Springer
16 years 3 days 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 ...
216
Voted
TPHOL
2000
IEEE
15 years 12 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...
202
click to vote
POS
1998
Springer
15 years 11 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...