Sciweavers

1738 search results - page 262 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
FGR
2008
IEEE
301views Biometrics» more  FGR 2008»
15 years 10 months ago
3D facial geometry recovery via group-wise optical flow
We describe an algorithm for automatically finding correspondences from face video sequences. This method is useful to many applications such as face tracking, face modeling and ...
Hui Fang, Nicholas Costen, David Cristinacce, John...
115
Voted
AGI
2008
15 years 5 months ago
Fusing Animals and Humans
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...
Jonathan Connell
LREC
2010
225views Education» more  LREC 2010»
15 years 5 months ago
The Architecture of FunGramKB
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
Carlos Periñán-Pascual, Francisco Ar...
160
Voted
ICFP
2012
ACM
13 years 6 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
129
Voted
FDL
2007
IEEE
15 years 10 months ago
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
Leran Wang, Chenxu Zhao, Tom J. Kazmierski