3690 search results - page 568 / 738 » Computation with classical sequents |
171
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
159
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
One advantage of evolutionary multiobjective optimization (EMO) algorithms over classical approaches is that many non-dominated solutions can be simultaneously obtained by their si...
159
click to vote
HIPC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper, we propose a new approach, parallel iterative improvement (PII), to solving the stable matching problem. This approach treats the stable matching problem a...
192
click to vote
ICMI
2003
Springer
15 years 10 months ago
2003
Springer
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...
145
click to vote
ICVS
2003
Springer
15 years 10 months ago
2003
Springer
We consider typical manipulation tasks in terms of a service robot framework. Given a task at hand, such as ”Pick up the cup from the dinner table”, we present a number of diff...