3765 search results - page 674 / 753 » Formal Methods for Systems Engineering Behavior Models |
135
click to vote
ICRA
2010
IEEE
15 years 9 days ago
2010
IEEE
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
118
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
220
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
106
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— We report our system and algorithm developments that enable a single mobile robot equipped with a directional antenna to simultaneously localize multiple unknown transient radi...
118
click to vote
ECML
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...