2432 search results - page 412 / 487 » High-level approach to modeling of observed system behavior |
175
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
189
click to vote
PAMI
2010
15 years 4 months ago
2010
— We present a self-calibrating photogeometric method using only off-the-shelf hardware that enables quickly and robustly obtaining multi-million point-sampled and colored models...
161
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
211
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
144
click to vote
SPLC
2007
15 years 7 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...