1743 search results - page 236 / 349 » Generalized Modal Satisfiability |
134
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
A genetic algorithm encoding is proposed which is able to automatically satisfy a class of important cardinality constraints where the set of distinct values of the design variabl...
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The purpose of this project is to develop a program that solves a bi-objective diet problem to propose the user a “healthy” daily meal according to some parameters specified b...
129
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We generalize the k-means algorithm presented by the authors [14] and show that the resulting algorithm can solve a larger class of clustering problems that satisfy certa...
111
click to vote
PCM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Computer techniques have been leveraged to record human experiences in many public spaces, e.g. meeting rooms and classrooms. For the large amount of such records produce...
124
click to vote
JCDL
2004
ACM
15 years 10 months ago
2004
ACM
Archaeologists have to deal with vast quantities of information, generated both in the field and laboratory. That information is heterogeneous in nature, and different projects ha...