Sciweavers

5630 search results - page 315 / 1126
» Computability in Specification
Sort
View
CHI
2009
ACM
16 years 1 months ago
PhotoScope: visualizing spatiotemporal coverage of photos for construction management
PhotoScope visualizes the spatiotemporal coverage of photos in a photo collection. It extends the standard photo browsing paradigm in two main ways: visualizing spatial coverage o...
Fuqu Wu, Melanie Tory
SAC
2009
ACM
16 years 1 months ago
Building an efficient preference XML query processor
Today user-centered information acquisition over collections of complex XML documents is increasingly in demand. To this end, preferences have become an important paradigm enablin...
SungRan Cho, Wolf-Tilo Balke
ICPR
2008
IEEE
16 years 1 months ago
Pose adaptive LDA based face recognition
In this paper, a novel method based on pose adaptive linear discriminant analysis (PALDA) is proposed to deal with pose variation problems in face recognition when each person has...
Zhenger Wang, Xiaoqing Ding, Chi Fang
TABLETOP
2008
IEEE
16 years 1 months ago
IntuPaint: Bridging the gap between physical and digital painting
This paper presents a novel interface for a digital paint system: IntuPaint. A tangible interface for a digital paint easel, using an interactive surface and electronic brushes wi...
Peter Vandoren, Tom Van Laerhoven, Luc Claesen, Jo...
ICDCS
2007
IEEE
16 years 1 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee