5550 search results - page 159 / 1110 » Different Approaches to Proof Systems |
175
click to vote
FGR
2002
IEEE
15 years 11 months ago
2002
IEEE
We present ongoing work on a project for automatic recognition of spontaneous facial actions. Spontaneous facial expressions differ substantially from posed expressions, similar t...
203
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
206
click to vote
EMNLP
2010
15 years 4 months ago
2010
We describe a model for the lexical analysis of Arabic text, using the lists of alternatives supplied by a broad-coverage morphological analyzer, SAMA, which include stable lemma ...
151
click to vote
ICNSC
2007
IEEE
16 years 23 days ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...
173
click to vote
VRCAI
2004
ACM
15 years 12 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...