884 search results - page 86 / 177 » A semantics of sequence diagrams |
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, a graphical modeling-based approach to semantic video analysis is presented for jointly realizing modality fusion and temporal context exploitation. Overall, the ex...
DOOD
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
BIOCOMP
2008
14 years 11 months ago
2008
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...
SSD
2009
Springer
15 years 4 months ago
2009
Springer
In the light of rapidly growing repositories capturing the movement trajectories of people in spacetime, the need for trajectory compression becomes obvious. This paper argues for ...
111
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...