63 search results - page 8 / 13 » Expressiveness of ADL and Golog: Functions Make a Difference |
CIVR
2008
Springer
13 years 9 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...
VMCAI
2010
Springer
14 years 4 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
13 years 7 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...
BIOCOMP
2006
13 years 8 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
13 years 11 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 ...