36320 search results - page 320 / 7264 » From Code to Models |
183
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
187
click to vote
ENC
2003
IEEE
15 years 12 months ago
2003
IEEE
We discuss a set of metrics, which aims to facilitate the formation of symbol groups from a pseudoergodic information source. An optimal codification can then be applied on the sy...
157
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
Focusing on examples of knowledge systems and machine learning, this paper illustrates the transfer of AI technology from science to real-world applications. Decades of AI researc...
161
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Image based human pose recovery has many applications in different industries such as games, entertainment, physiological rehabilitation and biometrics. This paper presents a new ...
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we develop a method for generating thumbnail images from the interlaced H.264/AVC coded bit streams. We devise a method exploiting both the spatial and transform do...