Sciweavers

5544 search results - page 274 / 1109
» Three Inadequate Models
Sort
View
ICSE
2007
IEEE-ACM
16 years 5 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...

Publication
338views
16 years 3 months ago
Shape from Shading with a Generalized Reflectance Map Model
Most conventional SFS (shape from shading) algorithms have been developed under three basic assumptions on surface properties and imaging geometry to simplify the problem, namely, ...
Kyoung Mu Lee (Seoul National University), C.-C. J...
131
Voted
SIGCSE
2009
ACM
183views Education» more  SIGCSE 2009»
15 years 11 months ago
Enhancing undergraduate education: a REU model for interdisciplinary research
This paper presents a successful model for undergraduate research where student participants work on interdisciplinary research projects; in our case, at the frontier between comp...
Daniela Stan Raicu, Jacob D. Furst
DATE
2009
IEEE
150views Hardware» more  DATE 2009»
15 years 11 months ago
A co-design approach for embedded system modeling and code generation with UML and MARTE
—In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We have defined a set of rules to build UML models fo...
Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, P...
IROS
2009
IEEE
223views Robotics» more  IROS 2009»
15 years 11 months ago
On the consistency of EKF-SLAM: Focusing on the observation models
— In this paper a new strategy for handling the observation information of a bearing-range sensor throughout the filtering process of EKF-SLAM is proposed. This new strategy is ...
Amir Hossein Tamjidi, Hamid D. Taghirad, Ali Akbar...