1090 search results - page 31 / 218 » Resource-Bounded Partial Evaluation |
PTS
2008
14 years 11 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
IJDAR
2008
14 years 9 months ago
2008
For character recognition in document analysis, some classes are closely overlapped but are not necessarily to be separated before contextual information is exploited. For classifi...
PRICAI
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
102
click to vote
PE
2011
Springer
14 years 4 months ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
CIARP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Gender recognition problem has not been extensively studied in situations where the face cannot be accurately detected and it also can be partially occluded. In this cont...