2935 search results - page 216 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
BDIM
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we present an approach for specifying respect to security. When an organization wants to secure and prioritizing information security requirements in organiza- its sy...
159
click to vote
RAS
2008
15 years 6 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
195
click to vote
HCI
2009
15 years 4 months ago
2009
In this study, we argue that multimodal presentations should be created in a cognitive-aware manner, especially in a high-load HCI situation where the user task challenges the full...
195
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a platform for performing text and radiology analytics (TARA). We integrate commercially available hardware and middleware components to construct an environment which...
176
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper proposes a framework in which Lagrangian Particle Dynamics is used for the segmentation of high density crowd flows and detection of flow instabilities. For this purpos...