Sciweavers

858 search results - page 127 / 172
» BMM: A Business Modeling Method For Information Systems Deve...
Sort
View
NGITS
1999
Springer
14 years 1 days ago
From Object-Process Diagrams to a Natural Object-Process Language
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
Mor Peleg, Dov Dori
AH
2008
Springer
14 years 2 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
ICRA
2009
IEEE
113views Robotics» more  ICRA 2009»
14 years 2 months ago
Visual topological SLAM and global localization
— Visual localization and mapping for mobile robots has been achieved with a large variety of methods. Among them, topological navigation using vision has the advantage of offeri...
Adrien Angeli, Stéphane Doncieux, Jean-Arca...
ECCV
2004
Springer
14 years 1 months ago
CT from an Unmodified Standard Fluoroscopy Machine Using a Non-reproducible Path
3D reconstruction from image data is required in many medical procedures. Recently, the use of fluoroscopy data to generate these 3D models has been explored. Most existing methods...
Chris Baker, Christian Debrunner, Mohamed Mahfouz,...
ECIS
2001
13 years 9 months ago
Data Modelling Languages: An Ontological Study
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...
Simon K. Milton, Edmund Kazmierczak, Chris Keen