1884 search results - page 243 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
117
click to vote
EWCBR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper describes a web-based CBR application competing at the first Computer Cooking Contest at the ECCBR 2008. It describes the technical realisation of our system, ...
124
click to vote
FIRA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Stereo and motion analysis are potential techniques for providing information for control or assistance systems in various robotics or driver assistance applications. Thi...
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Classical formulations of data-assimilation perform poorly when forecast locations of weather systems are displaced from their observations. They compensate position erro...
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
100
click to vote
FORTE
2003
15 years 2 months ago
2003
Abstract. The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the re...