3255 search results - page 468 / 651 » Combination of Abstractions in the ASTR |
200
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— In this paper, we present an image-based markerless human motion capture system, intended for humanoid robot systems. The restrictions set by this ambitious goal are nu...
162
click to vote
INFOCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— This paper considers two issues arising in an integrated IEEE 802.16e/802.11 network: 1) finding a possible network, which mobile station (MSTA) can switch to, and 2) ...
166
click to vote
QEST
2007
IEEE
16 years 25 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
185
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
164
click to vote
CAISE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...