2827 search results - page 437 / 566 » Robustness of PSPACE-complete sets |
127
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
128
Voted
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
PCR, the polymerase chain reaction, is a fundamental tool of molecular biology. Quantitative PCR is the goldstandard methodology for determination of DNA copy numbers, quantitatin...
131
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
The growing reliance of networked applications on timely and reliable data transfer requires the underlying networking infrastructure to provide adequate services even in the pres...
121
Voted
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...
148
Voted
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an efficient algorithm for image segmentation and a framework for perceptual grouping. It makes an attempt to provide one way of combining bottomup and top-do...