Sciweavers

4250 search results - page 295 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
79
Voted
ICSE
2003
IEEE-ACM
16 years 1 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
83
Voted
CHI
2010
ACM
15 years 8 months ago
Examining multiple potential models in end-user interactive concept learning
End-user interactive concept learning is a technique for interacting with large unstructured datasets, requiring insights from both human-computer interaction and machine learning...
Saleema Amershi, James Fogarty, Ashish Kapoor, Des...
103
Voted
CBMS
2008
IEEE
15 years 7 months ago
Easing the Formalization of Clinical Guidelines with a User-tailored, Extensible Agile Model Driven Development (AMDD)
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...
Patrick Martini, Katharina Kaiser, Silvia Miksch
116
Voted
CRV
2007
IEEE
115views Robotics» more  CRV 2007»
15 years 7 months ago
Camera Sensor Model for Visual SLAM
In this paper, we present a technique for the construction of a camera sensor model for visual SLAM. The proposed method is an extension of the general camera calibration procedur...
Jing Wu, Hong Zhang
SIGADA
2005
Springer
15 years 6 months ago
Modeling SPARK systems with UML
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
Xavier Sautejeau