892 search results - page 69 / 179 » Action respecting embedding |
FGR
2004
IEEE
14 years 1 months ago
2004
IEEE
Particle filter and mean shift are two successful approaches taken in the pursuit of robust tracking. Both of them have their respective strengths and weaknesses. In this paper, w...
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
JAR
2008
13 years 10 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
ECRTS
2009
IEEE
13 years 7 months ago
2009
IEEE
Blackouts in our daily life can be disastrous with enormous economic loss. Blackouts usually occur when appropriate corrective actions are not effectively taken for an initial con...
IESS
2007
Springer
14 years 4 months ago
2007
Springer
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...