7393 search results - page 211 / 1479 » Synthesis-for-testability using transformations |
114
Voted
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
Scientific data of importance to biologists in the Humitn Genome Project resides not only in conventional da.tabases, but in structured files maintained in a number of different f...
106
Voted
WSC
2007
15 years 6 months ago
2007
A new approach for overcoming broken ergodicity in Markov Chain Monte Carlo (MCMC) simulations of complex systems is described. The problem of broken ergodicity is often present i...
128
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
149
Voted
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
Web services advocate loosely coupled systems, although current loosely coupled applications are limited to stateless services. The reason for this limitation is the lack of a met...
116
Voted
RAS
2006
15 years 3 months ago
2006
We present a fast and efficient homing algorithm based on Fourier transformed panoramic images. By continuously comparing Fourier coefficients calculated from the current view wit...