1306 search results - page 118 / 262 » A Diagrammatic Approach to Model Completion |
73
Voted
IBERAMIA
2004
Springer
15 years 6 months ago
2004
Springer
In order to increase the role of machines in supporting more capabilities as regards a spoken dialogue system, we present in this paper a new problem incorporating multi-session in...
136
click to vote
DALT
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
122
Voted
WFLP
2009
Springer
15 years 5 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
85
Voted
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
88
Voted
CARS
2004
15 years 2 months ago
2004
While the mechanisms of plaque development in coronary arteries are not yet completely understood, vessel geometry and its influence on hemodynamics are of major importance. This ...