5608 search results - page 174 / 1122 » Structure description tools |
209
click to vote
Lecture Notes
"This is a collection of algorithms for sorting and searching. Descriptions are brief and intuitive, with just enough theory thrown in to make you nervous. I assume you know C...
112
Voted
CIE
2008
Springer
15 years 5 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
90
Voted
COLING
1992
15 years 4 months ago
1992
A description is given of the present state of development of a workstation that has been designed to provide the translator with efficient and easy-to-use computational tools. Th...
118
click to vote
CAIP
2003
Springer
15 years 8 months ago
2003
Springer
We propose a new deformable shape model Active Shape Structural Model (ASSM) for recognition and reconstruction. The main features of ASSM are: (1) It describes variations of shape...
COLING
1992
15 years 4 months ago
1992
Abstract -- In this paper, we present a new mathematical framework in which disjunctive feature structures are defined as directed acyclic hypergraphs. Disjunction is defined in th...