17298 search results - page 3165 / 3460 » Abstract computing machines |
144
Voted
TOPNOC
2008
15 years 4 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
150
click to vote
JIRS
2007
15 years 4 months ago
2007
Abstract This paper proposes a Qualitative Normalised Templates (QNTs) framework for solving the human motion classification problem. In contrast to other human motion classifica...
154
click to vote
TRANSCI
2008
15 years 4 months ago
2008
Abstract. We present a new model for a strategic locomotive scheduling problem arising at the Deutsche Bahn AG. The model is based on a multi-commodity min-cost flow formulation th...
137
click to vote
TROB
2008
15 years 4 months ago
2008
Abstract--The increasing demand for virtual reality applications in several scientific disciplines feeds new research perspectives dealing with robotics, automation, and computer s...
160
click to vote
TROB
2008
15 years 4 months ago
2008
Control of mobile networks raises fundamental and novel problems in controlling the structure of the resulting dynamic graphs. In particular, in applications involving mobile senso...