319 search results - page 11 / 64 » formats 2003 |
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
ATAL
2003
Springer
14 years 13 days ago
2003
Springer
We describe a general mechanism for adaptation in multiagent systems in which agents modify their behavior based on their memory of past events. These behavior changes can be elic...
IADIS
2003
13 years 10 months ago
2003
To extract features from an event in an on-line newspaper, two major steps are involved: Extracting the free formatted events’ announcements from the web sites and (b) extractin...
ICCV
2003
IEEE
14 years 2 months ago
2003
IEEE
This article proposes a novel approach on how to rectify the photo image of the bound document. The surface of the document is modeled by a cylindrical surface. By the geometry of...