6456 search results - page 1000 / 1292 » Constraint Solving on Terms |
182
click to vote
ISPA
2007
Springer
16 years 24 days ago
2007
Springer
The number of processors embedded in high performance computing platforms is growing daily to solve larger and more complex problems. The logical network topologies must also suppo...
263
click to vote
IWCLS
2007
Springer
16 years 24 days ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
191
click to vote
IWMM
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
168
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
153
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...