Sciweavers

769 search results - page 36 / 154
» Is Logic all in our Heads
Sort
View
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 6 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
136
Voted
IFSA
2007
Springer
159views Fuzzy Logic» more  IFSA 2007»
15 years 7 months ago
Counting Finite Residuated Lattices
We study finite residuated lattices with up to 11 elements. We present an algorithm for generating all non-isomorphic finite residuated lattices with a given number of elements. ...
Radim Belohlávek, Vilém Vychodil
AMFG
2005
IEEE
244views Biometrics» more  AMFG 2005»
15 years 6 months ago
Automatic 3D Facial Expression Analysis in Videos
We introduce a novel framework for automatic 3D facial expression analysis in videos. The preliminary results were demonstrated by editing the facial expression with facial recogni...
Ya Chang, Marcelo Bernardes Vieira, Matthew Turk, ...
IVC
2006
180views more  IVC 2006»
15 years 22 days ago
Active appearance models with occlusion
Active Appearance Models (AAMs) are generative parametric models that have been successfully used in the past to track faces in video. A variety of video applications are possible...
Ralph Gross, Iain Matthews, Simon Baker
104
Voted
KAIS
2006
97views more  KAIS 2006»
15 years 21 days ago
Web image indexing by using associated texts
In order to index Web images, the whole associated texts are partitioned into a sequence of text blocks, then the local relevance of a term to the corresponding image is calculated...
Zhiguo Gong, Leong Hou U, Chan Wa Cheang