1716 search results - page 210 / 344 » Proving Conditional Termination |
STACS
2010
Springer
15 years 8 months ago
2010
Springer
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Despite the wide-spread popularity of estimation of distribution algorithms (EDAs), there has been no theoretical proof that there exist optimisation problems where EDAs perform...
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper proposed an approach of human behavior modeling based on Discriminative Random Fields. In this model, by introducing the hidden behavior feature functions and time wind...
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
We propose a method for multi-view reconstruction from videos adapted to dynamic cluttered scenes under uncontrolled imaging conditions. Taking visibility into account and being ba...
AIME
2009
Springer
15 years 7 months ago
2009
Springer
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...