1242 search results - page 141 / 249 » The Theory of Grammar Constraints |
121
click to vote
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
96
Voted
CSCLP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
87
Voted
AIM
2006
15 years 2 months ago
2006
: Virtual professional communities provide an environment for professionals to share their knowledge and develop their skills without geographical constraints. Virtual professional...
135
click to vote
SNPD
2003
15 years 2 months ago
2003
This paper deals with the problem of estimating multiple motions at points where these motions are overlaid. We present a new approach that is based on block matching and can deal...
155
Voted
PTS
2010
14 years 10 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...