Sciweavers

559 search results - page 69 / 112
» An Interactive Approach to Timing Accurate PCI-X Simulation
Sort
View
ICRA
2008
IEEE
180views Robotics» more  ICRA 2008»
14 years 3 months ago
Image moments-based ultrasound visual servoing
— A new visual servoing method based on B-mode ultrasound images is proposed to automatically control the motion of a 2D ultrasound probe held by a medical robot in order to reac...
Rafik Mebarki, Alexandre Krupa, François Ch...
GRAPHICSINTERFACE
2009
13 years 6 months ago
Fast visualization of complex 3D models using displacement mapping
We present a simple method to render complex 3D models at interactive rates using real-time displacement mapping. We use an octree to decompose the 3D model into a set of height f...
The-Kiet Lu, Kok-Lim Low, Jianmin Zheng
QEST
2010
IEEE
13 years 7 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
GI
2009
Springer
13 years 6 months ago
Coarse graining of an individual-based plant model
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...
Johannes Hoefener, Lars Rudolf, Uta Berger, Thilo ...
SIGMOD
2010
ACM
312views Database» more  SIGMOD 2010»
14 years 1 months ago
TwitterMonitor: trend detection over the twitter stream
We present TwitterMonitor, a system that performs trend detection over the Twitter stream. The system identifies emerging topics (i.e. ‘trends’) on Twitter in real time and p...
Michael Mathioudakis, Nick Koudas