Sciweavers

7213 search results - page 979 / 1443
» Automated model grouping
Sort
View
TIME
2009
IEEE
16 years 1 months ago
Preserving Anonymity of Recurrent Location-Based Queries
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
Daniele Riboni, Linda Pareschi, Claudio Bettini, S...
ICNS
2009
IEEE
16 years 1 months ago
Psychometric and Evidentiary Approaches to Simulation Assessment in Packet Tracer Software
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
Dennis C. Frezzo, John T. Behrens, Robert J. Misle...
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
16 years 1 months ago
The Columbia grasp database
Abstract— Collecting grasp data for learning and benchmarking purposes is very expensive. It would be helpful to have a standard database of graspable objects, along with a set o...
Corey Goldfeder, Matei T. Ciocarlie, Hao Dang, Pet...
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
16 years 1 months ago
Wide-angle localization of intraocular devices from focus
Abstract— Future retinal therapies will be partially automated in order to increase the surgeons’ ability to operate near the sensitive structure of the human eye retina. Untet...
Christos Bergeles, Kamran Shamaei, Jake J. Abbott,...
LICS
2009
IEEE
16 years 1 months ago
Logical Step-Indexed Logical Relations
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
Derek Dreyer, Amal Ahmed, Lars Birkedal