884 search results - page 147 / 177 » A semantics of sequence diagrams |
79
Voted
AAAI
2007
15 years 7 hour ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
APVIS
2010
14 years 11 months ago
2010
This paper proposes a novel visualization approach, which can depict the variations between different human motion data. This is achieved by representing the time dimension of eac...
IASTEDSE
2004
14 years 11 months ago
2004
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
104
click to vote
SPIESR
1997
14 years 11 months ago
1997
The development of increasingly complex multimedia applications calls for new methodologies for the organization and retrieval of still images and video sequences. Query and retri...
111
click to vote
PSTV
1992
14 years 10 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...