Sciweavers

13277 search results - page 2302 / 2656
» An Approach to Clustering Abstracts
Sort
View
187
Voted
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
15 years 12 months ago
A Compilation Scheme for a Hierarchy of Array Types
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
Dietmar Kreye
MASA
2001
Springer
15 years 12 months ago
Intelligent Agents: The Key Concepts
This chapter aims to introduce the reader to the basic issues surrounding the design and implementation of intelligent agents. It begins by motivating the idea of an agent, present...
Michael Wooldridge
177
Voted
MICCAI
2001
Springer
15 years 12 months ago
A New Method for the Registration of Cardiac PET and MR Images Using Deformable Model Based Segmentation of the Main Thorax Stru
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
Timo Mäkelä, Patrick Clarysse, Jyrki L&o...
PADL
2001
Springer
15 years 12 months ago
Specifying Authentication Protocols Using Rewriting and Strategies
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
Horatiu Cirstea
PCM
2001
Springer
223views Multimedia» more  PCM 2001»
15 years 12 months ago
VizWear: Toward Human-Centered Interaction through Wearable Vision and Visualization
Abstract. In this paper, we discuss the development of wearable systems which we collectively term VizWear. Vision plays an important role in both people's and computers'...
Takeshi Kurata, Takashi Okuma, Masakatsu Kourogi, ...
« Prev « First page 2302 / 2656 Last » Next »