5451 search results - page 94 / 1091 » Typed Operational Semantics |
110
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– We have developed a new type of master hand to control a dexterous slave robot hand for telexistence. Our master hand has two features. One is a compact exoskeleton mechanism c...
124
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
108
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Open domain question answering (QA) systems have to bridge the potential vocabulary mismatch between a question and its candidate answers. One can view this as a recall problem and...
222
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Developments in semantic search technology have motivated the need for efficient and scalable entity annotation techniques. We demonstrate RAD: a tool for Rapid Annotator Developme...
116
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...