Sciweavers

8499 search results - page 77 / 1700
» cans 2009
Sort
View
86
Voted
CP
2009
Springer
14 years 10 months ago
The Proper Treatment of Undefinedness in Constraint Languages
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
Alan M. Frisch, Peter J. Stuckey
123
Voted
TARK
2009
Springer
15 years 7 months ago
Dynamic restriction of choices: a preliminary logical report
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simo...
ICTAC
2009
Springer
14 years 10 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
Hallstein Asheim Hansen, Gerardo Schneider
104
Voted
ICCV
2009
IEEE
16 years 5 months ago
Learning Actions From the Web
This paper proposes a generic method for action recognition in uncontrolled videos. The idea is to use images collected from the Web to learn representations of actions and use ...
Nazli Ikizler-Cinbis, R. Gokberk Cinbis, Stan Scla...
193
Voted
ICDE
2009
IEEE
154views Database» more  ICDE 2009»
16 years 2 months ago
A General Proximity Privacy Principle
Recent years have witnessed ever-increasing concerns about individual privacy in numerous data dissemination applications that involve private personal information, e.g., medical...
Ting Wang, Shicong Meng, Bhuvan Bamba, Ling Liu, C...