2282 search results - page 339 / 457 » Active property checking |
ALT
2010
Springer
13 years 11 months ago
2010
Springer
We are studying long term sequence prediction (forecasting). We approach this by investigating criteria for choosing a compact useful state representation. The state is supposed t...
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
MVA
2007
13 years 11 months ago
2007
This paper proposes a novel system for the automatic detection of important anatomical structures such as the Optic Disc (OD), Blood Vessels and Macula in digital fundus retinal i...
SBBD
2007
13 years 11 months ago
2007
Active XML (AXML) documents combine extensional XML data with intentional data defined through Web service calls. The dynamic properties of these documents pose challenges to both ...
FLAIRS
2006
13 years 11 months ago
2006
The project MediaFlies implements an interactive multiagent system that incorporates flocking and synchronization in order to generate a constantly changing visual output. It reli...