949 search results - page 106 / 190 » Theory of Constraints |
127
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
100
click to vote
COMPSAC
2008
IEEE
15 years 2 months ago
2008
IEEE
Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
80
Voted
EUSFLAT
2007
15 years 2 months ago
2007
Cooperative games under precedence constraints have been introduced by Faigle and Kern [1] , [4] as a generalization of classical cooperative games. An important notion in coopera...
136
Voted
AIR
2006
15 years 22 days ago
2006
Abstract. An over-zealous machine learner can automatically generate large, intricate, theories which can be hard to understand. However, such intricate learning is not necessary i...
113
Voted
JMIV
2008
15 years 19 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...