5105 search results - page 322 / 1021 » Approximate Structural Consistency |
220
click to vote
CVIU
2011
15 years 1 months ago
2011
The medial axis transform is valuable for shape representation as it is complete and captures part structure. However, its exact computation for arbitrary 3D models is not feasibl...
174
click to vote
EUROGP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
143
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
This paper investigates a loosely coupled approach to planning and scheduling integration, which consists of cascading a planner and a scheduler. While other implementations of thi...
135
click to vote
MKM
2004
Springer
16 years 1 days ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
174
Voted
LREC
2008
15 years 8 months ago
2008
Treatment of Multiword Expressions (MWEs) is one of the most complicated issues in natural language processing, especially in Machine Translation (MT). The paper presents dictiona...