2620 search results - page 139 / 524 » An Evaluation Technique for Binarization Algorithms |
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Online approaches to physical design tuning have received considerable attention in the recent literature, with a focus on the problem of online index selection. However, it is dif...
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
IH
2010
Springer
13 years 6 months ago
2010
Springer
In this article, we propose a new construction of probabilistic collusion-secure fingerprint codes against up to three pirates and give a theoretical security evaluation. Our pira...
TVCG
2012
11 years 10 months ago
2012
—This paper describes a fully automated framework to generate realistic head motion, eye gaze, and eyelid motion simultaneously based on live (or recorded) speech input. Its cent...
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...