Sciweavers

5232 search results - page 966 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
ICPR
2006
IEEE
15 years 11 months ago
View Dependent Enhancement of the Dynamic Range of Video
There are many applications for computer vision where a scene observed contains a wide range of brightness. Often, the low dynamic range of a camera limits the accuracy of informa...
Matti Niskanen
EDBT
2006
ACM
136views Database» more  EDBT 2006»
15 years 10 months ago
Optimizing Monitoring Queries over Distributed Data
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...
Frank Neven, Dieter Van de Craen
ICSE
2007
IEEE-ACM
15 years 10 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
IUI
2009
ACM
15 years 6 months ago
Designing user interface adaptation rules with T: XML
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
Víctor López-Jaquero, Francisco Mont...
CHI
2010
ACM
15 years 4 months ago
iCanDraw: using sketch recognition and corrective feedback to assist a user in drawing human faces
When asked to draw, many people are hesitant because they consider themselves unable to draw well. This paper describes the first system for a computer to provide direction and fe...
Daniel Dixon, Manoj Prasad, Tracy Hammond