2989 search results - page 140 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ICCBR
2003
Springer
15 years 3 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
FMCO
2006
Springer
15 years 1 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
IJCAI
1993
14 years 11 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
CICLING
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...
105
click to vote
ICDAR
2011
IEEE
13 years 9 months ago
2011
IEEE
—This paper proposes a method for low resolution QR-code recognition. A QR-code is a two-dimensional binary symbol that can embed various information such as characters and numbe...