Sciweavers

4469 search results - page 523 / 894
» Comparing and Combining Profiles
Sort
View
CADE
2009
Springer
16 years 7 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
CHI
2009
ACM
16 years 7 months ago
SLAP widgets: bridging the gap between virtual and physical controls on tabletops
We present Silicone iLluminated Active Peripherals (SLAP), a system of tangible, translucent widgets for use on multitouch tabletops. SLAP Widgets are cast from silicone or made o...
Malte Weiss, Julie Wagner, Yvonne Jansen, Roger Je...
CHI
2009
ACM
16 years 7 months ago
Simulated augmented reality windshield display as a cognitive mapping aid for elder driver navigation
A common effect of aging is decline in spatial cognition. This is an issue for all elders, but particularly for elder drivers. To address this driving issue, we propose a novel co...
Seungjun Kim, Anind K. Dey
EACL
2009
ACL Anthology
16 years 7 months ago
Translation and Extension of Concepts Across Languages
We present a method which, given a few words defining a concept in some language, retrieves, disambiguates and extends corresponding terms that define a similar concept in another...
Dmitry Davidov, Ari Rappoport
KDD
2008
ACM
128views Data Mining» more  KDD 2008»
16 years 7 months ago
Scaling up text classification for large file systems
: We combine the speed and scalability of information retrieval with the generally superior classification accuracy offered by machine learning, yielding a two-phase text classifie...
George Forman, Shyamsundar Rajaram