Sciweavers

3483 search results - page 666 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
110
Voted
ICRA
1995
IEEE
156views Robotics» more  ICRA 1995»
15 years 4 months ago
Assembly maintainability Study with Motion Planning
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
Hsuan Chang, Tsai-Yen Li
BIRTHDAY
2008
Springer
15 years 2 months ago
AND/OR Multi-valued Decision Diagrams for Constraint Networks
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
Robert Mateescu, Rina Dechter
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 2 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
104
Voted
CIKM
2008
Springer
15 years 2 months ago
Multi-scale characterization of social network dynamics in the blogosphere
We have developed a computational framework to characterize social network dynamics in the blogosphere at individual, group and community levels. Such characterization could be us...
Munmun De Choudhury, Hari Sundaram, Ajita John, Do...
107
Voted
ATAL
2005
Springer
15 years 2 months ago
Rockwell automation agents for manufacturing
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
Vladimír Marík, Pavel Vrba, Kenwood ...