7167 search results - page 309 / 1434 » Answer Set Programming |
159
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
We propose a general framework for support vector machines (SVM) based on the principle of multi-objective optimization. The learning of SVMs is formulated as a multiobjective pro...
138
click to vote
DSRT
2008
IEEE
16 years 22 days ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
156
click to vote
SPIN
2007
Springer
16 years 12 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
170
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Many problems in chemistry, robotics or molecular biology can be expressed as a Distance CSP4 . In this paper, we propose a specific methodology for tackling uncertainties in this...
185
Voted
EUROGP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Particle Swarm Optimisers (PSOs) search using a set of interacting particles flying over the fitness landscape. These are typically controlled by forces that encourage ...