1378 search results - page 94 / 276 » The Tractability of Global Constraints |
137
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a method for decomposing an image into its intrinsic reflectance and shading components. Different from previous work, our method examines texture information to obtain...
173
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
130
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- In this paper, we present FastPlace 3.0
242
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Wireless sensor networks have created new opportunities for data collection in a variety of scenarios, such as environmental and industrial, where we expect data to be temporally ...
153
click to vote
CPAIOR
2005
Springer
15 years 11 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...