2290 search results - page 241 / 458 » Extensible Protected Types |
155
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...
162
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
135
click to vote
UIST
1994
ACM
15 years 10 months ago
1994
ACM
Multimodal interaction combines input from multiple sensors such as pointing devices or speech recognition systems, in order to achieve more fluid and natural interaction. Twohand...
167
click to vote
AIIDE
2007
15 years 8 months ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
193
click to vote
REST
2010
ACM
15 years 8 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...