317 search results - page 27 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
118
click to vote
ENTCS
2007
15 years 2 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
123
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
138
click to vote
AAAI
1990
15 years 4 months ago
1990
Programs such as Bacon, Abacus, Coper, Kepler and others are designed to find functional relationships of scientific significance in numerical data without relying on the deep dom...
211
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...
119
click to vote
TKDE
2008
15 years 2 months ago
2008
The past decade has seen a wealth of research on time series representations, because the manipulation, storage, and indexing of large volumes of raw time series data is impractica...