2819 search results - page 245 / 564 » Automatic Structures |
131
click to vote
ITP
2010
15 years 7 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
128
click to vote
WEBDB
2010
Springer
15 years 8 months ago
2010
Springer
A large number of web sites publish pages containing structured information about recognizable concepts, but these data are only partially used by current applications. Although s...
CGF
2005
15 years 3 months ago
2005
We introduce a new texture representation that combines standard sampling, to be bilinearly interpolated in smoothly varying regions, with customizable discontinuities, to model s...
LREC
2008
15 years 4 months ago
2008
This paper deals with non manual gestures annotation involved in Sign Language within the context of automatic generation of Sign Language. We will tackle linguistic researches in...
118
click to vote
INTERACT
2007
15 years 4 months ago
2007
This paper describes a novel browsing paradigm, taking benefit of the various types of links (e.g. thematic, temporal, references, etc.) that can be automatically built between mul...