1941 search results - page 353 / 389 » Reasoning about Computations Using Two-Levels of Logic |
228
click to vote
3DIM
2011
IEEE
14 years 3 months ago
2011
IEEE
Addressing the image correspondence problem by feature matching is a central part of computer vision and 3D inference from images. Consequently, there is a substantial amount of w...
116
click to vote
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...
139
click to vote
SPAA
2009
ACM
16 years 13 days ago
2009
ACM
A K-smoothing network is a distributed, low-contention data structure where tokens arrive arbitrarily on w input wires and reach w output wires via their completely asynchronous p...
163
click to vote
MCMASTER
1993
15 years 7 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
147
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Experimental studies of gene expression have identified some of the individual molecular components and elementary reactions that comprise and control cellular behavio...