Sciweavers

5034 search results - page 110 / 1007
» A Content-Centric Development Process Model
Sort
View
118
Voted
TASE
2008
IEEE
15 years 9 months ago
Bounded Model Checking of Compositional Processes
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing S...
191
Voted
ICRA
2002
IEEE
107views Robotics» more  ICRA 2002»
15 years 7 months ago
Deformation Control of Rheological Food Dough using a Forming Process Model
A new approach to the forming control using a forming process model of rheological food dough is presented. Manipulative operations of rheological objects can be found in many ind...
Shinichi Tokumoto, Shinichi Hirai
OTM
2007
Springer
15 years 8 months ago
Data-Driven Modeling and Coordination of Large Process Structures
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
Dominic Müller, Manfred Reichert, Joachim Her...
125
Voted
HICSS
2005
IEEE
139views Biometrics» more  HICSS 2005»
15 years 8 months ago
Complex Decision Making Processes: their Modelling and Support
Decision making processes and systems to support the same have focused for the most part on narrow disciplines, paradigms, perspectives, and pre-determined processes. Apart from t...
Angela Liew, David Sundaram
135
Voted
JMLR
2010
169views more  JMLR 2010»
14 years 9 months ago
Matrix-Variate Dirichlet Process Mixture Models
We are concerned with a multivariate response regression problem where the interest is in considering correlations both across response variates and across response samples. In th...
Zhihua Zhang, Guang Dai, Michael I. Jordan