6574 search results - page 1103 / 1315 » Current Signatures: Application |
200
click to vote
TSE
2010
15 years 1 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
157
click to vote
TVLSI
2010
15 years 1 months ago
2010
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...
146
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
223
click to vote
MICCAI
2008
Springer
16 years 20 days ago
2008
Springer
Accurate estimation and tracking of dynamic tissue deformation is important to motion compensation, intra-operative surgical guidance and navigation in minimally invasive surgery. ...
267
click to vote
MICCAI
2007
Springer
16 years 21 days ago
2007
Springer
The use of vision based algorithms in minimally invasive surgery has attracted significant attention in recent years due to its potential in providing in situ 3D tissue deformation...