Sciweavers

509 search results - page 58 / 102
» A Model-Driven Based Environment for Automatic Model Coordin...
Sort
View
CVPR
2003
IEEE
15 years 25 days ago
Automated Feature-Based Range Registration of Urban Scenes of Large Scale
We are building a system that can automatically acquire 3D range scans and 2D images to build geometrically and photometrically correct 3D models of urban environments. A major bo...
Ioannis Stamos, Marius Leordeanu
WSC
2008
14 years 1 months ago
Integrated human decision making model under Belief-Desire-Intention framework for crowd simulation
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
Seungho Lee, Young-Jun Son
ICESS
2005
Springer
14 years 4 months ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha
ICW
2005
IEEE
165views Communications» more  ICW 2005»
14 years 4 months ago
Advanced Mobility Models for Ad Hoc Network Simulations
Realistic simulation scenarios are critical to correctly assess the performance of mobile ad hoc networks. This paper presents a tool to generate realistic mobility traces for MAN...
Abdoul-Kader Harouna Souley, Soumaya Cherkaoui
FORTE
2008
14 years 7 days ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...