2124 search results - page 57 / 425 » An Efficient Framework for Order Optimization |
159
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
In recent years, large amount of data modeled by graphs, namely graph data, have been collected in various domains. Efficiently processing queries on graph databases has attracted...
143
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
137
click to vote
NIPS
2008
15 years 6 months ago
2008
Sequential optimal design methods hold great promise for improving the efficiency of neurophysiology experiments. However, previous methods for optimal experimental design have in...
147
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a novel method for stereo matching with occlusion handling. In order to estimate optimal cost, we define an energy function and solve the iterative equation w...
137
click to vote
JUCS
2008
15 years 4 months ago
2008
: Wireless Sensor Networks (WSN) allow, thanks to the use of small wireless devices known as sensor nodes, the monitorization of wide and remote areas with precision and liveness u...