4761 search results - page 313 / 953 » Generalizing Boundary Points |
263
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
Many new database application domains such as experimental sciences and medicine are characterized by large sequences as their main form of data. Using approximate representation ...
146
click to vote
UC
2009
Springer
16 years 22 days ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
147
click to vote
RTA
2007
Springer
16 years 9 days ago
2007
Springer
We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom furnishes a bridge between a general purp...
182
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
144
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...