2473 search results - page 357 / 495 » Systems, Views and Models of UML |
185
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
173
click to vote
ECAI
1992
Springer
15 years 11 months ago
1992
Springer
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
171
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The paper presents a framework for describing electronic media services. The framework was created by utilising earlier models and case studies of successful social media applicat...
173
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
181
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
We present an algorithm for automatic inference of human upper body motion. A graph model is proposed for inferring human motion, and motion inference is posed as a mapping proble...