Sciweavers

2570 search results - page 202 / 514
» Reliability Modeling Using UML
Sort
View
88
Voted
FMAM
2010
157views Formal Methods» more  FMAM 2010»
14 years 8 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
IJCAI
1989
14 years 11 months ago
Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
Minoru Asada, Yoshiaki Shirai
103
Voted
CCE
2011
14 years 5 months ago
Development and validation of a dynamic model for regeneration of passivating baths using membrane contactors
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
Eugenio Bringas, Rosa Mediavilla, Ana María...
ICIP
2002
IEEE
15 years 11 months ago
Automatic 3D model reconstruction using voxel coding and pose integration
Automatic reconstruction of a complete 3D model of a complex object is presented. The complete 3D model is reconstructed by integrating two 3D models which are reconstructed from ...
Soon-Yong Park, Murali Subbarao
85
Voted
AIED
2005
Springer
15 years 3 months ago
Engagement tracing: using response times to model student disengagement
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
Joseph E. Beck