63 search results - page 8 / 13 » Expressiveness of ADL and Golog: Functions Make a Difference |
81
Voted
CIVR
2008
Springer
14 years 11 months ago
2008
Springer
Past research on automatic laughter detection has focused mainly on audio-based detection. Here we present an audiovisual approach to distinguishing laughter from speech and we sh...
111
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
IJHPCA
2007
14 years 9 months ago
2007
Users perceive varying levels of utility for each different job completed by the cluster. Therefore, there is a need for existing cluster Resource Management Systems (RMS) to prov...
92
Voted
BIOCOMP
2006
14 years 11 months ago
2006
A total of 4,131 expressed sequence tags (ESTs) were selected from wheat EST database (http://wheat.pw.usda.gov/cgi-bin/westsql/est_lib.cgi.) to identify genic regions differing a...
ANCS
2007
ACM
15 years 1 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...