5577 search results - page 284 / 1116 » E2K Technology and Implementation |
177
click to vote
ACII
2005
Springer
16 years 25 days ago
2005
Springer
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...
183
click to vote
CONCUR
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
161
click to vote
EPEW
2005
Springer
16 years 25 days ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
214
click to vote
INEX
2005
Springer
16 years 24 days ago
2005
Springer
Offering the possibility to query any XML retrieval system in natural language would be very helpful to a lot of users. In 2005, INEX proposed a framework to partipants that wante...
186
click to vote
ISRR
2005
Springer
16 years 24 days ago
2005
Springer
ct This paper presents the author’s view on the main challenges for autonomous operation in surface mining environment. A brief overview of the mine operation is presented showin...