Sciweavers

19985 search results - page 3926 / 3997
» Modelling Ecological Data
Sort
View
ICMCS
1999
IEEE
150views Multimedia» more  ICMCS 1999»
15 years 7 months ago
DIVeR: A Dynamic Interactive Video Retrieval Protocol for Disk Array Based Servers
Video-on-demand (VOD) is a very promising multimedia application of the near future. In order for such a service to be commercially viable, efficient storage and retrieval schemes...
Senthil Sengodan, Victor O. K. Li
ICRA
1999
IEEE
136views Robotics» more  ICRA 1999»
15 years 7 months ago
The Arc-Transversal Median Algorithm: An Approach to Increasing Ultrasonic Sensor Accuracy
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
Keiji Nagatani, Howie Choset, Nicole A. Lazar
CAV
1999
Springer
119views Hardware» more  CAV 1999»
15 years 7 months ago
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
Randal E. Bryant, Steven M. German, Miroslav N. Ve...
IPPS
1999
IEEE
15 years 7 months ago
Process Networks as a High-Level Notation for Metacomputing
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...
Darren Webb, Andrew L. Wendelborn, Kevin Maciunas
DEXA
1999
Springer
87views Database» more  DEXA 1999»
15 years 7 months ago
SECONDO/QP: Implementation of a Generic Query Processor
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...
Ralf Hartmut Güting, Stefan Dieker, Claudia F...
« Prev « First page 3926 / 3997 Last » Next »