Sciweavers

Share
520 search results - page 2 / 104
» On combinations of local theory extensions
Sort
View
FROCOS
2011
Springer
8 years 1 months ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
AVSS
2009
IEEE
9 years 8 months ago
Combination of Roadside and In-vehicle Sensors for Extensive Visibility Range Monitoring
—Fog is a local meteorological phenomena which drastically reduces the visibility range. Fog detection and visibility range estimation are critical tasks for road operators who n...
Nicolas Hautière, Abderrahmane Boubezoul
FROCOS
2005
Springer
9 years 7 months ago
A Comprehensive Framework for Combined Decision Procedures
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
MMM
2015
Springer
12views Multimedia» more  MMM 2015»
3 years 9 months ago
A Study on the Use of a Binary Local Descriptor and Color Extensions of Local Descriptors for Video Concept Detection
In this work we deal with the problem of how different local descriptors can be extended, used and combined for improving the effectiveness of video concept detection. The main c...
Fotini Markatopoulou, Nikiforos Pittaras, Olga Pap...
books