9227 search results - page 364 / 1846 » Developing Use Cases from Organizational Modeling |
200
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: Grid is an infrastructure that involves the integrated and collaborative use of computers, networks, databases and scientific instruments owned and managed by multiple organizati...
171
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
189
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, a validation and an experimentation of the use of graded BDI agents is reported. This agent model has been proposed to specify agents capable to deal with the enviro...
173
click to vote
PAMI
2006
15 years 6 months ago
2006
Three-dimensional appearance models consisting of spatially varying reflectance functions defined on a known shape can be used in analysis-by-synthesis approaches to a number of vi...
219
click to vote
MM
2004
ACM
16 years 5 days ago
2004
ACM
In this paper, we report our newly developed 3D face modeling system with arbitrary expressions in a high level of detail using the topographic analysis and mesh instantiation pro...