Sciweavers

972 search results - page 143 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
SMI
1999
IEEE
155views Image Analysis» more  SMI 1999»
13 years 12 months ago
Elastodynamic Shape Modeling in Virtual Medicine
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...
Arne Radetzky, Andreas Nürnberger, Michael Te...
IPPS
1998
IEEE
13 years 12 months ago
Network-Aware Distributed Computing: A Case Study
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...
Hongsuda Tangmunarunkit, Peter Steenkiste
AGENTS
1997
Springer
13 years 12 months ago
Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
Subrata Kumar Das, John Fox, D. Elsdon, Peter Hamm...
IFL
1997
Springer
153views Formal Methods» more  IFL 1997»
13 years 12 months ago
Common Subexpressions Are Uncommon in Lazy Functional Languages
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
Olaf Chitil
ECCV
2010
Springer
13 years 11 months ago
Exploiting Repetitive Object Patterns for Model Compression and Completion
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...