10038 search results - page 1602 / 2008 » Model Checking for Managers |
170
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
We propose a new way of embedding shape distributions in a topological deformable template. These distributions rely on global shape descriptors corresponding to the 3D moment inva...
142
click to vote
WETICE
1997
IEEE
15 years 11 months ago
1997
IEEE
Though the service of shared virtual worlds is an active area of research, little effort has been made to optimize such systems for urban world spaces. Tracking the motion, action...
169
click to vote
ELPUB
1997
ACM
15 years 11 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
193
click to vote
METRICS
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper describes the results of a study where the impact of Object-Oriented design on software quality characteristics is experimentally evaluated. A suite of metrics for OO d...
136
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
An application-level technique is described for farmer-worker parallel applications which allows a worker to be added or removed from the computing farm at any moment of the run ti...