2848 search results - page 117 / 570 » A Contract Based System For Large Data Visualization |
JPDC
2007
13 years 9 months ago
2007
High-dimensional problems arising from robot motion planning, biology, data mining, and geographic information systems often require the computation of k nearest neighbor (knn) gr...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— In this paper, a novel switching controller is proposed for a networked visual servo control system with varying feedback delay due to image processing and data transmission. T...
SIGSOFT
1996
ACM
14 years 1 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
PVLDB
2010
13 years 7 months ago
2010
Large data resources are ubiquitous in science and business. For these domains, an intuitive view on the data is essential to fully exploit the hidden knowledge. Often, these data...
TVCG
2012
11 years 11 months ago
2012
—This paper describes a new method to explore and discover within a large data set. We apply techniques from preference elicitation to automatically identify data elements that a...