Sciweavers

30570 search results - page 6052 / 6114
» An Image Data Model
Sort
View
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
15 years 4 months ago
Belief Reasoning in MLS Deductive Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
Hasan M. Jamil
ICCAD
1999
IEEE
115views Hardware» more  ICCAD 1999»
15 years 4 months ago
Fast performance analysis of bus-based system-on-chip communication architectures
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
Kanishka Lahiri, Anand Raghunathan, Sujit Dey
ICMCS
1999
IEEE
150views Multimedia» more  ICMCS 1999»
15 years 4 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 4 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 4 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...
« Prev « First page 6052 / 6114 Last » Next »