181 search results - page 28 / 37 » Extending DTGOLOG with Options |
WOTUG
2008
14 years 11 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
CLEF
2010
Springer
14 years 11 months ago
2010
Springer
This paper describes the participation of Idiap-MULTI to the Robot Vision Task at imageCLEF 2010. Our approach was based on a discriminative classification algorithm using multiple...
AIEDAM
2006
14 years 10 months ago
2006
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
TWC
2008
14 years 10 months ago
2008
Wireless relays extend coverage, improve spectral efciency, and enhance reliability and rates of wireless cellular communication systems. In this work, we introduce the fundamental...
CCR
2000
14 years 10 months ago
2000
Internet multimedia traffic is increasing as applications like streaming media and packet telephony grow in popularity. It is important to monitor the volume and characteristics o...