Sciweavers

8008 search results - page 1422 / 1602
» Computer-Aided Language Processing
Sort
View
ICMI
2007
Springer
215views Biometrics» more  ICMI 2007»
15 years 8 months ago
Visual inference of human emotion and behaviour
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
Shaogang Gong, Caifeng Shan, Tao Xiang
ICWE
2007
Springer
15 years 8 months ago
Model Transformation for Service-Oriented Web Applications Development
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
Valeria de Castro, Juan M. Vara, Esperanza Marcos
IESS
2007
Springer
162views Hardware» more  IESS 2007»
15 years 8 months ago
Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
Fabrizio Ferrandi, Luca Fossati, Marco Lattuada, G...
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 8 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
IFL
2007
Springer
141views Formal Methods» more  IFL 2007»
15 years 8 months ago
Partial Parsing: Combining Choice with Commitment
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
Malcolm Wallace
« Prev « First page 1422 / 1602 Last » Next »