Sciweavers

1338 search results - page 126 / 268
» Consistent Code Generation from UML Models
Sort
View
FOSSACS
2003
Springer
15 years 8 months ago
A Monadic Multi-stage Metalanguage
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
Eugenio Moggi, Sonia Fagorzi
FDL
2004
IEEE
15 years 6 months ago
Predictability in Real-time System Development (2) A Case Study
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
Jinfeng Huang, Jeroen Voeten, Piet van der Putten,...
EMNLP
2010
15 years 1 months ago
A Latent Variable Model for Geographic Lexical Variation
The rapid growth of geotagged social media raises new computational possibilities for investigating geographic linguistic variation. In this paper, we present a multi-level genera...
Jacob Eisenstein, Brendan O'Connor, Noah A. Smith,...
CVPR
2010
IEEE
15 years 16 days ago
Image restoration and disparity estimation from an uncalibrated multi-layered image
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
Takahiro Yano, Masao Shimizu, Masatoshi Okutomi
ICCV
1995
IEEE
15 years 6 months ago
Facial Expression Recognition Using a Dynamic Model and Motion Energy
Previous efforts at facial expression recognition have been based on the Facial Action Coding System (FACS), a representation developed in order to allow human psychologists to co...
Irfan A. Essa, Alex Pentland