Sciweavers

5544 search results - page 545 / 1109
» Three Inadequate Models
Sort
View
SI3D
2005
ACM
16 years 18 days ago
Real-time relief mapping on arbitrary polygonal surfaces
This paper presents a technique for mapping relief textures onto arbitrary polygonal models in real time. In this approach, the mapping of the relief data is done in tangent space...
Fabio Policarpo, Manuel M. Oliveira, João L...
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
16 years 18 days ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska
DAGM
2005
Springer
16 years 17 days ago
Object Categorization and the Need for Many-to-Many Matching
Abstract. Object recognition systems have their roots in the AI community, and originally addressed the problem of object categorization. These early systems, however, were limited...
Sven J. Dickinson, Ali Shokoufandeh, Yakov Keselma...
ESWS
2005
Springer
16 years 17 days ago
Automatic Location of Services
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic loc...
Uwe Keller, Rubén Lara, Holger Lausen, Axel...
JSAI
2005
Springer
16 years 16 days ago
Learning Stochastic Logical Automaton
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
Hiroaki Watanabe, Stephen Muggleton