Sciweavers

9989 search results - page 1543 / 1998
» A CLP Approach to Modelling Systems
Sort
View
CP
2009
Springer
16 years 7 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
SIGMOD
2002
ACM
172views Database» more  SIGMOD 2002»
16 years 7 months ago
Automating physical database design in a parallel database
Physical database design is important for query performance in a shared-nothing parallel database system, in which data is horizontally partitioned among multiple independent node...
Jun Rao, Chun Zhang, Nimrod Megiddo, Guy M. Lohman
MOBISYS
2005
ACM
16 years 6 months ago
Reincarnating PCs with portable SoulPads
The ability to walk up to any computer, personalize it, and use it as one's own has long been a goal of mobile computing research. We present SoulPad, a new approach based on...
Ramón Cáceres, Casey Carter, Chandra...
IUI
2009
ACM
16 years 3 months ago
Context-based page unit recommendation for web-based sensemaking tasks
Sensemaking tasks require users to perform complex research behaviors to gather and comprehend information from many sources. Such tasks are common and include, for example, resea...
Wen-Huang Cheng, David Gotz
AVSS
2009
IEEE
16 years 1 months ago
Towards Generic Detection of Unusual Events in Video Surveillance
—In this paper, we consider the challenging problem of unusual event detection in video surveillance systems. The proposed approach makes a step toward generic and automatic dete...
Ivan Ivanov, Frédéric Dufaux, Thien ...
« Prev « First page 1543 / 1998 Last » Next »