3335 search results - page 217 / 667 » A Unified Approach to Modeling and Programming |
179
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
170
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
176
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we carry out cooperatively both disparity and object boundary estimation by setting the two tasks in a unified Markovian framework. We introduce a new joint probabil...
157
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
189
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
Video segmentation is different from segmentation of a single image. While several correct solutions may exist for segmenting a single image, there needs to be a consistency among...