10293 search results - page 1982 / 2059 » Describing Semistructured Data |
MOBIDE
1999
ACM
15 years 4 months ago
1999
ACM
The first mass-produced pervasive computing devices are starting to appear—the AutoPC, the Internet-connected ScreenFridge, and the combination Microwave Oven/Home Banking term...
138
Voted
SIGCOMM
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a novel framework for managing network congestion from an end-to-end perspective. Our work is motivated by several trends in traffic patterns that threaten th...
ICRA
1999
IEEE
15 years 4 months ago
1999
IEEE
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...
113
click to vote
CAV
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
CIKM
1999
Springer
15 years 4 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...