Sciweavers

4604 search results - page 781 / 921
» Correlation-based Data Representation
Sort
View
MMB
2004
Springer
128views Communications» more  MMB 2004»
15 years 10 months ago
Coexistence of Various Topology Aggregation Methods in a Hierarchical Network
Quality of Service (QoS) routing methods are expected to replace existing routing protocols in future QoS-based data networks. QoS routing allows the selection of feasible paths f...
Karol Kowalik, Martin Collier
PET
2004
Springer
15 years 10 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
PKDD
2004
Springer
118views Data Mining» more  PKDD 2004»
15 years 10 months ago
Mining Thick Skylines over Large Databases
Abstract. People recently are interested in a new operator, called skyline [3], which returns the objects that are not dominated by any other objects with regard to certain measure...
Wen Jin, Jiawei Han, Martin Ester
ROBOCUP
2004
Springer
122views Robotics» more  ROBOCUP 2004»
15 years 10 months ago
A Vision Based System for Goal-Directed Obstacle Avoidance
We present a complete system for obstacle avoidance for a mobile robot. It was used in the RoboCup 2003 obstacle avoidance challenge in the Sony Four Legged League. The system enab...
Jan Hoffmann, Matthias Jüngel, Martin Lö...
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
15 years 10 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula