1341 search results - page 218 / 269 » Probabilistic Abstraction Hierarchies |
84
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
101
click to vote
CORR
2006
Springer
15 years 17 days ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
137
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--The now commonplace multi-core chips have introduced, by design, a deep hierarchy of memory and cache banks within parallel computers as a tradeoff between the user frien...
121
click to vote
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. This paper proposes a solution for the automatic detection and tracking of human motion in image sequences. Due to the complexity of the human body and its motion, automa...