6794 search results - page 690 / 1359 » Semantics of Visual Languages |
199
Voted
ICMI
2007
Springer
16 years 1 months ago
2007
Springer
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...
218
Voted
CASCON
1996
15 years 8 months ago
1996
"Anything that one cannot measure cannot be controlled." Software metrics provide insight into the quality of software, informing the developers about the status of a pr...
207
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Fuzzy ontologies are envisioned to be useful in the Semantic Web. Existing fuzzy ontology reasoners are not scalable enough to handle the scale of data that the Web provides. In t...
346
Voted
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
208
Voted
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...