6201 search results - page 141 / 1241 » Implementation of Axiomatic Language |
148
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a novel approach to utilizing high level knowledge for the problem of scene recognition in an active vision framework, which we call active scene recognition. ...
134
click to vote
LREC
2010
15 years 5 months ago
2010
This paper presents the language resource management system for the development and dissemination of Asian WordNet (AWN) and its web service application. We develop the platform t...
140
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
165
click to vote
SPAA
2009
ACM
16 years 5 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
132
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...