Sciweavers

13734 search results - page 2449 / 2747
» Abstractions of data types
Sort
View
JELIA
1998
Springer
15 years 10 months ago
A Logic for Anytime Deduction and Anytime Compilation
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
Frédéric Koriche
LCTRTS
1998
Springer
15 years 10 months ago
Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
Thomas Lundqvist, Per Stenström
MICCAI
1998
Springer
15 years 10 months ago
Multi-modal Volume Registration Using Joint Intensity Distributions
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
Michael E. Leventon, W. Eric L. Grimson
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 10 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
RT
1998
Springer
15 years 10 months ago
Efficient View-Dependent Image-Based Rendering with Projective Texture-Mapping
Abstract. This paper presents how the image-based rendering technique of viewdependent texture-mapping (VDTM) can be efficiently implemented using projective texture mapping, a fea...
Paul E. Debevec, Yizhou Yu, George Borshukov
« Prev « First page 2449 / 2747 Last » Next »