Sciweavers

2347 search results - page 261 / 470
» Location, location, location: a study of bluejacking practic...
Sort
View
CSL
2009
Springer
14 years 2 months ago
Expanding the Realm of Systematic Proof Theory
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
Agata Ciabattoni, Lutz Straßburger, Kazushig...
ERCIMDL
2009
Springer
122views Education» more  ERCIMDL 2009»
14 years 2 months ago
Creating Visualisations for Digital Document Indexing
Indexes are a well established method of locating information in printed literature just as find is a popular technique when searching in digital documents. However, document reade...
Jennifer Pearson, George Buchanan, Harold W. Thimb...
ICCS
2009
Springer
14 years 2 months ago
Querying for Feature Extraction and Visualization in Climate Modeling
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...
C. Ryan Johnson, Markus Glatter, Wesley Kendall, J...
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
14 years 2 months ago
Stereo matching for calibrated cameras without correspondence
Abstract— We study the stereo matching problem for reconstruction of the location of 3D-points on an unknown surface patch from two calibrated identical cameras without using any...
Uwe Helmke, Knut Hüper, L. Vences
CDC
2008
IEEE
102views Control Systems» more  CDC 2008»
14 years 2 months ago
Area-constrained coverage optimization by robotic sensor networks
Abstract— This paper studies robotic sensor networks performing coverage optimization tasks with area constraints. The network coverage of the environment is a function of the ro...
Jorge Cortés