1366 search results - page 163 / 274 » Modularizing Contexted Constraints |
135
click to vote
COLING
2010
14 years 10 months ago
2010
Near-synonyms are useful knowledge resources for many natural language applications such as query expansion for information retrieval (IR) and paraphrasing for text generation. Ho...
127
click to vote
DALT
2010
Springer
14 years 10 months ago
2010
Springer
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
129
click to vote
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Nonlinear partial differential equations (PDE) are now widely used to regularize images. They allow to eliminate noise and artifacts while preserving large global features, such as...
119
click to vote
IPMI
1999
Springer
16 years 3 months ago
1999
Springer
Abstract. A fundamental problem with a large class of image registration techniques is that the estimated transformation from image A to B does not equal the inverse of the estimat...
110
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...