615 search results - page 83 / 123 » High-Level Nondeterministic Abstractions in |
107
click to vote
AUIC
2006
IEEE
15 years 7 months ago
2006
IEEE
The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awar...
104
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
119
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper presents a robust algorithm for segmentation and line detection in 2D range scans. The described method exploits the multimodal probability density function ...
124
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
90
Voted
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...