Sciweavers

4209 search results - page 347 / 842
» Abstract Dialectical Frameworks
Sort
View
SCALESPACE
2001
Springer
15 years 11 months ago
Robust Multi-scale Non-rigid Registration of 3D Ultrasound Images
Abstract. In this paper, we embed the minimization scheme of an automatic 3D non-rigid registration method in a multi-scale framework. The initial model formulation was expressed a...
Ioannis Pratikakis, Christian Barillot, Pierre Hel...
IPPS
2000
IEEE
15 years 11 months ago
Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel Programs
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
W. Pfannenstiel
AGENTS
2000
Springer
15 years 11 months ago
An Architecture for Modeling Internet-Based Collaborative Agent Systems
Abstract. This paper describes an architecture for modeling cooperating systems of communicating agents. The authors’ goal is not that of providing a framework to implement multi...
Roberto A. Flores, Robert C. Kremer, Douglas H. No...
CADE
2000
Springer
15 years 11 months ago
The Nuprl Open Logical Environment
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...
ECAI
2000
Springer
15 years 11 months ago
Action Categorization from Video Sequences
This article presents a framework for extracting relevant qualitative chunks from a video sequence. The notion of qualitative descriptors, used to perform the qualitative extracti...
Jean-Christophe Baillie, Jean-Gabriel Ganascia