1242 search results - page 160 / 249 » The Theory of Grammar 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...
107
Voted
COGSCI
2008
15 years 26 days ago
2008
The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cogniti...
137
Voted
AIR
2006
15 years 25 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...