3432 search results - page 327 / 687 » Model Development in the UML-based Specification Environment... |
200
click to vote
ASE
2002
15 years 7 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
214
click to vote
ECCV
2004
Springer
16 years 26 days ago
2004
Springer
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...
202
Voted
IDEAS
2009
IEEE
16 years 2 months ago
2009
IEEE
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...
220
click to vote
CHI
1995
ACM
15 years 11 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
242
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Mass spectrometry has become a standard method by which the proteomic profile of cell or tissue samples is characterized. To fully take advantage of tandem mass spectr...