3317 search results - page 306 / 664 » Strategies in Rigid-Variable Methods |
171
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
159
click to vote
CHI
2010
ACM
16 years 16 hour ago
2010
ACM
In this paper, we explore the possibilities of providing miniaturized audio players with gesture control capabilities that are based on wearable objects. We selected thirteen wear...
151
click to vote
DATE
2003
IEEE
16 years 6 hour ago
2003
IEEE
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
164
click to vote
DEXAW
2003
IEEE
16 years 6 hour ago
2003
IEEE
Storytelling is a method by which members of a community communicate, learn and build identity. In the CIPHER project we aim to provide customisable tools for the sharing of stori...
136
click to vote
ICDAR
2003
IEEE
16 years 55 min ago
2003
IEEE
This article describes a new segmentation by thresholding approach based on learning. The method consists in learning to threshold correctly submitting both an image and its ideal...