Sciweavers

4781 search results - page 197 / 957
» Complexity at large
Sort
View
CP
2009
Springer
14 years 11 months ago
Exploiting Problem Structure for Solution Counting
This paper deals with the challenging problem of counting the number of solutions of a CSP, denoted #CSP. Recent progress have been made using search methods, such as BTD [15], whi...
Aurélie Favier, Philippe Jégou, Simo...
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
14 years 3 months ago
FACTOR: A Hierarchical Methodology for Functional Test Generation and Testability Analysis
This paper develops an improved approach for hierarchical functional test generation for complex chips. In order to deal with the increasing complexity of functional test generati...
Vivekananda M. Vedula, Jacob A. Abraham
CORR
2008
Springer
61views Education» more  CORR 2008»
13 years 10 months ago
Science mapping with asymmetrical paradigmatic proximity
We propose a series of methods to represent the evolution of a field of science at different levels: namely micro, meso and macro levels. We use a previously introduced asymmetric...
Jean-Philippe Cointet, David Chavalarias
ACL
1998
14 years 6 hour ago
A Test Environment for Natural Language Understanding Systems
The Natural Language Understanding Engine Test Environment (ETE) is a GUI software tool that aids in the development and maintenance of large, modular, natural language understand...
Li Li, Deborah A. Dahl, Lewis M. Norton, Marcia C....
CVPR
2006
IEEE
15 years 20 days ago
Stereo Vision in Structured Environments by Consistent Semi-Global Matching
This paper considers the use of stereo vision in structured environments. Sharp discontinuities and large untextured areas must be anticipated, but complex or natural shapes of ob...
Heiko Hirschmüller