11234 search results - page 1856 / 2247 » A Microsurgery Simulation System |
138
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
206
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
The increasing popularity of applications for video-streaming based on P2P paradigm (P2P-TV) is raising the interest of both broadcasters and network operators. The former see a pr...
147
click to vote
ISMIS
2009
Springer
15 years 11 months ago
2009
Springer
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
159
click to vote
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
We present a cartoon animation style rendering method for water animation. In an effort to capture and represent crucial features of water observed in traditional cartoon animatio...
154
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
This article proposes a new distributed architecture for update message exchange in massively multi-user virtual environments (MMVE). MMVE applications require delivery of updates...