4798 search results - page 217 / 960 » Time for a change |
177
click to vote
ACTAC
2008
15 years 6 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
145
click to vote
RECONFIG
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an embedded FPGA–based architecture to compute navigation trajectories along a harmonic potential. The goals and obstacles may be changed during computation....
157
click to vote
WADS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We develop succinct data structures to represent (i) a sequence of values to support partial sum and select queries and update (changing values) and (ii) a dynamic array ...
160
click to vote
ITC
1996
IEEE
15 years 10 months ago
1996
IEEE
The detectability of delay flaws can be improved by testing CMOS IC's with a very low supply voltage -between 2 and 2.5 times the threshold voltage Vt of the transistors. A d...
157
click to vote
JOLLI
2010
15 years 5 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...