1589 search results - page 9 / 318 » Constraints with Variables' Annotations |
156
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
142
Voted
CONSTRAINTS
2010
15 years 1 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
107
Voted
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the question of how to obtain consistent semantic annotation on the basis of a set of noisy texts. Many potential realworld applications of semantic computing...
53
Voted
BMCBI
2010
15 years 3 months ago
2010
141
Voted
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...