1346 search results - page 100 / 270 » Algorithmic Search for Flexibility Using Resultants of Polyn... |
GI
2009
Springer
13 years 7 months ago
2009
Springer
: In this paper we describe an approach that enables the detection, tracking and fine analysis (classification of gender and facial expression) of faces using a single web camera. ...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
JSS
2002
13 years 8 months ago
2002
This paper presents an architectural design and evaluation result of an efficient Web-crawling system. The design involves a fully distributed architecture, a URL allocating algor...
KES
2010
Springer
13 years 7 months ago
2010
Springer
The retrieval of similar documents from large scale datasets has been the one of the main concerns in knowledge management environments, such as plagiarism detection, news impact a...
ENTCS
2002
13 years 9 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...