4635 search results - page 851 / 927 » Modeling Design Knowledge on Structure |
152
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
129
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper we propose a novel method to recover the 3D shape of the knee and of the prosthesis for the patients that have undergone total knee replacement surgery. We address t...
156
Voted
WWW
2005
ACM
16 years 6 months ago
2005
ACM
While many works have been devoted to service matchmaking and modeling nonfunctional properties, the problem of matching service requests to offers in an optimal way has not yet b...
150
click to vote
KDD
2007
ACM
16 years 5 months ago
2007
ACM
We present a family of algorithms to uncover tribes--groups of individuals who share unusual sequences of affiliations. While much work inferring community structure describes lar...
166
Voted
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...