2398 search results - page 373 / 480 » Constraint Programming and Graph Algorithms |
147
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
165
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
142
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
258
click to vote
GIS
2006
ACM
16 years 5 months ago
2006
ACM
The result of a distance join operation on two sets of objects R, S on a spatial network G is a set P of object pairs <p, q>, p R, q S such that the distance of an object ...
141
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
— Redistricting is the process of dividing a geographic area into districts or zones. This process has been considered in the past as a problem that is computationally too comple...