Sciweavers

11436 search results - page 32 / 2288
» Modeling Real Reasoning
Sort
View
ICPR
2004
IEEE
15 years 1 days ago
Neural Network Based Modeling and Color Rendering for Mixed Reality
This paper describes a new approach to color image rendering for mixed reality applications. The approach has two steps. The first uses neural network based photometric stereo to ...
Haruki Kawanaka, Kenji Funahashi, Robert J. Woodha...
IROS
2007
IEEE
145views Robotics» more  IROS 2007»
14 years 5 months ago
A quantitative method for comparing trajectories of mobile robots using point distribution models
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
Pierre Roduit, Alcherio Martinoli, Jacques Jacot
RTCSA
2006
IEEE
14 years 5 months ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
14 years 10 days ago
Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
Atoosa P.-J. Thunem
FSTTCS
2001
Springer
14 years 3 months ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...