Sciweavers

4814 search results - page 856 / 963
» Combining abstract interpreters
Sort
View
ACCV
2010
Springer
13 years 5 months ago
Hemispherical Confocal Imaging Using Turtleback Reflector
Abstract. We propose a new imaging method called hemispherical confocal imaging to clearly visualize a particular depth in a 3-D scene. The key optical component is a turtleback re...
Yasuhiro Mukaigawa, Seiichi Tagawa, Jaewon Kim, Ra...
CDC
2010
IEEE
164views Control Systems» more  CDC 2010»
13 years 5 months ago
Accuracy and decision time for a class of sequential decision aggregation rules
Abstract-- This work focuses on decentralized decision making in a population of individuals each implementing the sequential probability ratio test. The individual decisions are c...
Sandra H. Dandach, Ruggero Carli, Francesco Bullo
CONSTRAINTS
2011
13 years 5 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...
CORR
2011
Springer
227views Education» more  CORR 2011»
13 years 5 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
IJCV
2011
264views more  IJCV 2011»
13 years 5 months ago
Cost-Sensitive Active Visual Category Learning
Abstract We present an active learning framework that predicts the tradeoff between the effort and information gain associated with a candidate image annotation, thereby ranking un...
Sudheendra Vijayanarasimhan, Kristen Grauman