4348 search results - page 748 / 870 » Using UML for Modeling Complex Real-Time Systems |
182
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
169
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
173
click to vote
ICEIS
1999
IEEE
15 years 10 months ago
1999
IEEE
: Contour Estimation, Bayesian Estimation, Random Fields, Dynamic Programming, Multigrid Methods. This paper addresses contour estimation on images modeled as piecewise homogeneous...
159
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...
201
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...