7167 search results - page 309 / 1434 » Answer Set Programming |
168
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...
152
click to vote
DSRT
2008
IEEE
16 years 1 months 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...
173
click to vote
SPIN
2007
Springer
16 years 24 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...
183
click to vote
CP
2005
Springer
16 years 6 days 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...
193
click to vote
EUROGP
2005
Springer
16 years 6 days 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 ...