Sciweavers

10042 search results - page 1870 / 2009
» Interactive Topic Modeling
Sort
View
113
Voted
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 2 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
110
Voted
AR
2005
115views more  AR 2005»
15 years 2 months ago
Insights toward robot-assisted evacuation
This paper discusses the application of robotic technologies to an evacuation assistance task. We describe how this kind of task differs from the more prevalent search and rescue ...
Dylan A. Shell, Maja J. Mataric
TCS
2008
15 years 2 months ago
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Jean-François Dufourd
143
Voted
IVC
2007
266views more  IVC 2007»
15 years 2 months ago
Face detection and facial feature localization without considering the appearance of image context
Face and facial feature detection plays an important role in various applications such as human computer interaction, video surveillance, face tracking, and face recognition. Effi...
Suphakant Phimoltares, Chidchanok Lursinsap, Kosin...
TITB
2008
152views more  TITB 2008»
15 years 2 months ago
Region of Interest and Multiresolution for Volume Rendering
Medical image interpretation is facing an important challenge resulting from the continuously increasing amount of imaging data. Innovations in medical image visualization are nece...
Sébastien Piccand, Rita Noumeir, Eric Paque...
« Prev « First page 1870 / 2009 Last » Next »