2867 search results - page 280 / 574 » Effectiveness of Index Expressions |
144
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
154
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
164
click to vote
FGR
2006
IEEE
16 years 20 days ago
2006
IEEE
We examined the effectiveness of using Haar features and the Adaboost boosting algorithm for FACS action unit (AU) recognition. We evaluated both recognition accuracy and processi...
199
click to vote
ADS
2004
Springer
16 years 18 hour ago
2004
Springer
Laughter is a powerful means of emotion expression which has not yet been used in speech synthesis. The current paper reports on a pilot study in which differently created types of...
169
click to vote
BIRTHDAY
2004
Springer
16 years 14 hour ago
2004
Springer
We give faster algorithms for two methods of reducing the number of states in nondeterministic finite automata. The first uses equivalences and the second uses preorders. We deve...