12897 search results - page 2295 / 2580 » Multi-Torrent: A Performance Study |
203
click to vote
EMNETS
2007
15 years 10 months ago
2007
Laparoscopic surgical training is a challenging task due to the complexity of instrument control and demand on manual dexterity and hand-eye coordination. Currently, training and ...
185
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we study the problem of maintaining metadata for open Web content. In digital libraries such as DLESE, NSDL and G-Portal, metadata records are created for some good ...
190
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
180
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
188
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...