1090 search results - page 208 / 218 » Type-Directed Partial Evaluation |
104
click to vote
ECCV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents an endoscopic vision framework for modelbased 3D guidance of surgical instruments used in robotized laparoscopic surgery. In order to develop such a s...
103
click to vote
EMO
2006
Springer
15 years 3 months ago
2006
Springer
With the popularity of efficient multi-objective evolutionary optimization (EMO) techniques and the need for such problem-solving activities in practice, EMO methodologies and EMO ...
GRID
2000
Springer
15 years 3 months ago
2000
Springer
The creation of parameter study suites has recently become a more challenging problem as the parameter studies have become multi-tiered and the computational environment has becom...
ISN
1998
Springer
15 years 3 months ago
1998
Springer
An expectation of a signature system is that a signatory cannot dispute a signature. Aiming at this, the following questions arise: Can documents in electronic commerce on the Inte...
109
click to vote
AAAI
2008
15 years 2 months ago
2008
This paper examines, by argument, the dynamics of sequences of behavioural choices made, when non-cooperative restricted-memory agents learn in partially observable stochastic gam...