Sciweavers

11797 search results - page 178 / 2360
» Recent Developments in the Experimental
Sort
View
SCIA
2005
Springer
203views Image Analysis» more  SCIA 2005»
15 years 12 months ago
Automated Multiple View Inspection Based on Uncalibrated Image Sequences
The Automated Multiple View Inspection (AMVI) has been recently developed for automated defect detection of manufactured objects. The approach detects defects by analysing image se...
Domingo Mery, Miguel Carrasco
LPAR
2004
Springer
15 years 12 months ago
Nonmonotonic Description Logic Programs: Implementation and Experiments
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
Thomas Eiter, Giovambattista Ianni, Roman Schindla...
NOSSDAV
2004
Springer
15 years 12 months ago
Managing a portfolio of overlay paths
In recent years, several architectures have been proposed and developed for supporting streaming applications that take advantage of multiple paths through the network simultaneou...
Daria Antonova, Arvind Krishnamurthy, Zheng Ma, Ra...
SAT
2004
Springer
94views Hardware» more  SAT 2004»
15 years 12 months ago
QBF Reasoning on Real-World Instances
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
ECCV
2010
Springer
15 years 12 months ago
Energy Minimization Under Constraints on Label Counts
Abstract. Many computer vision problems such as object segmentation or reconstruction can be formulated in terms of labeling a set of pixels or voxels. In certain scenarios, we may...