Sciweavers

3646 search results - page 263 / 730
» Voice search for development
Sort
View
SGAI
2007
Springer
16 years 25 days ago
Escaping Local Optima: Constraint Weights vs. Value Penalties
Constraint Satisfaction Problems can be solved using either iterative improvement or constructive search approaches. Iterative improvement techniques converge quicker than the cons...
Muhammed Basharu, Inés Arana, Hatem Ahriz
COMPSAC
2006
IEEE
16 years 23 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
FGR
2006
IEEE
147views Biometrics» more  FGR 2006»
16 years 23 days ago
Learning Sparse Features in Granular Space for Multi-View Face Detection
In this paper, a novel sparse feature set is introduced into the Adaboost learning framework for multi-view face detection (MVFD), and a learning algorithm based on heuristic sear...
Chang Huang, Haizhou Ai, Yuan Li, Shihong Lao
TIME
2006
IEEE
16 years 21 days ago
DyST: Dynamic and Scalable Temporal Text Indexing
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...
Kjetil Nørvåg, Albert Overskeid Nyb&o...
SAC
2006
ACM
16 years 20 days ago
An evaluation system for news video streams and blogs
When we want information on current events, we often view news programs on TV or news streams on Web sites. A news video stream consists of several scenes, and viewers often gain ...
Daisuke Kitayama, Kazutoshi Sumiya