5105 search results - page 958 / 1021 » Approximate Structural Consistency |
MICCAI
2006
Springer
16 years 24 days ago
2006
Springer
Acute rejection is the most common reason of graft failure after kidney transplantation, and early detection is crucial to survive the transplanted kidney function. In this paper, ...
IPMI
2009
Springer
16 years 21 days ago
2009
Springer
In this paper, we employ an anatomical parameterization of spatial warps to reveal structural differences between medical images of healthy control subjects and disease patients. T...
ICML
2005
IEEE
16 years 20 days ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
SIGSOFT
2008
ACM
16 years 18 days ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
124
click to vote
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...