884 search results - page 122 / 177 » A semantics of sequence diagrams |
FM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
110
click to vote
IJBIDM
2011
14 years 4 months ago
2011
: Web usage mining has been much concentrated on the discovery of relevant user behaviours from Web access record data. In this paper, we present WebUser, an approach to discover u...
181
click to vote
LPNMR
2011
Springer
14 years 19 days ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
ENTCS
2008
14 years 9 months ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
119
click to vote
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper constrained Gradient Vector Flow (GVF) field generation is performed, for fast and accurate unsupervised stereoscopic semantic segmentation. The scheme utilizes the ...