Sciweavers

3468 search results - page 235 / 694
» Solid and physical modeling
Sort
View
AIPS
2008
15 years 9 months ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
C3S2E
2008
ACM
15 years 8 months ago
Towards a mutation-based automatic framework for evaluating code clone detection tools
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...
Chanchal Kumar Roy, James R. Cordy
AMDO
2006
Springer
15 years 8 months ago
Interactive Soft Object Simulation with Quadratic Finite Elements
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
Johannes Mezger, Wolfgang Straßer
COMPGEOM
2008
ACM
15 years 8 months ago
The complexity of the outer face in arrangements of random segments
We investigate the complexity of the outer face in arrangements of line segments of a fixed length in the plane, drawn uniformly at random within a square. We derive upper bounds ...
Noga Alon, Dan Halperin, Oren Nechushtan, Micha Sh...
AVI
2010
15 years 8 months ago
The effect of stereoscopy and motion cues on 3D interpretation task performance
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
Boris W. van Schooten, Elisabeth M. A. G. van Dijk...