Sciweavers

25195 search results - page 4732 / 5039
» Applications of Computers to Dance
Sort
View
CGI
2003
IEEE
15 years 10 months ago
Consistent Visualization and Querying of GIS Databases by a Location-Aware Mobile Agent
Location-aware mobile users need to access, query, and visualize, geographic information in a wide variety of applications including tourism, navigation, environmental management,...
Suresh K. Lodha, Nikolai M. Faaland, Grant Wong, A...
ECOOP
2000
Springer
15 years 10 months ago
OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java
Abstract. OpenJIT is an open-ended, reflective JIT compiler framework for Java being researched and developed in a joint project by Tokyo Inst. Tech. and Fujitsu Ltd. Although in g...
Hirotaka Ogawa, Kouya Shimura, Satoshi Matsuoka, F...
HHCI
2000
15 years 10 months ago
Tactile Information Presentation in the Cockpit
This paper describes two aspects of the application of tactile information presentation in the cockpit. The first half of the paper discusses why the tactile channel might be used...
Henricus A. H. C. van Veen, Jan B. F. van Erp
BIRTHDAY
1991
Springer
15 years 10 months ago
The Markgraf Karl Refutation Procedure
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
Hans Jürgen Ohlbach, Jörg H. Siekmann
ISTCS
1992
Springer
15 years 10 months ago
Concurrent Timestamping Made Simple
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
Rainer Gawlick, Nancy A. Lynch, Nir Shavit
« Prev « First page 4732 / 5039 Last » Next »