1242 search results - page 161 / 249 » The Theory of Grammar Constraints |
106
click to vote
ENTCS
2006
15 years 23 days ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
114
Voted
JMIV
2008
15 years 22 days ago
2008
Vector fields arise in many problems of computer vision, particularly in non-rigid registration. In this paper, we develop coupled partial differential equations (PDEs) to estimat...
100
Voted
PR
2006
15 years 20 days ago
2006
The selection of valuable features is crucial in pattern recognition. In this paper we deal with the issue that part of features originate from directional instead of common linea...
111
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
: We develop a framework for solving polynomial equations with size constraints on solutions. We obtain our results by showing how to apply a technique of Coppersmith for finding ...
97
Voted
IGPL
2010
14 years 11 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...