1054 search results - page 47 / 211 » Translation Validation of System Abstractions |
162
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes a system for pedestrian detection in infrared images implemented and tested on an experimental vehicle. A specific stabilization procedure is applie...
174
click to vote
DASFAA
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. Portable sensory devices carried by humans--which are referred to as Human Probes--facilitate easy-to-use sensing and monitoring of urban areas. In this demonstration, we...
162
click to vote
SEBD
2003
15 years 7 months ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
140
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
157
click to vote
FORMATS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...