5577 search results - page 284 / 1116 » E2K Technology and Implementation |
154
click to vote
ACII
2005
Springer
16 years 6 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...
166
click to vote
CONCUR
2005
Springer
16 years 6 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 ...
152
click to vote
EPEW
2005
Springer
16 years 6 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...
200
click to vote
INEX
2005
Springer
16 years 5 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...
164
click to vote
ISRR
2005
Springer
16 years 5 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...