2647 search results - page 305 / 530 » Solving Term Inequalities |
256
click to vote
IWCLS
2007
Springer
16 years 20 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...
186
click to vote
IWMM
2007
Springer
16 years 20 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...
162
click to vote
LPAR
2007
Springer
16 years 20 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...
149
click to vote
LPNMR
2007
Springer
16 years 20 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...
183
click to vote
MIRAGE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...