6040 search results - page 390 / 1208 » Generating Instance Models from Meta Models |
158
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The objectives of the work described in this paper are simply stated: given examples of a particular person and an unlabelled video, we wish to find every instance of that person ...
156
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
175
click to vote
SUTC
2006
IEEE
16 years 23 days ago
2006
IEEE
We examine the problem of detecting the direction of motion in a binary sensor network; in such a network each sensor’s value is supplied reliably in a single bit of information...
181
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...