999 search results - page 7 / 200 » Constraints in Non-Boolean Contexts |
JSC
2010
14 years 4 months ago
2010
Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence ...
JLP
2000
14 years 9 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
ICIW
2009
IEEE
14 years 7 months ago
2009
IEEE
Autonomic, i.e. dynamic and fault-tolerant Web service composition is a requirement resulting from recent developments such as on-demand services. In the context of planning-based...
135
click to vote
CVPR
2012
IEEE
13 years 18 days ago
2012
IEEE
Pedestrian detection from images is an important and yet challenging task. The conventional methods usually identify human figures using image features inside the local regions. In...
JACM
2010
14 years 7 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...