Sciweavers

733 search results - page 31 / 147
» Active Automation of the DITSCAP
Sort
View
ICMT
2011
Springer
14 years 1 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
99
Voted
CVPR
2006
IEEE
15 years 11 months ago
Activity Analysis in Microtubule Videos by Mixture of Hidden Markov Models
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...
Alphan Altinok, Motaz A. El Saban, Austin J. Peck,...
MICCAI
2006
Springer
15 years 10 months ago
Automatic Segmentation of Jaw Tissues in CT Using Active Appearance Models and Semi-automatic Landmarking
Preoperative planning systems are commonly used for oral implant surgery. One of the objectives is to determine if the quantity and quality of bone is sufficient to sustain an impl...
José Antonio Gil, Mariano Alcañiz Ra...
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
15 years 4 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
KR
2004
Springer
15 years 3 months ago
A Logic-Based Formulation of Active Visual Perception
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
Murray Shanahan, David A. Randell