3946 search results - page 751 / 790 » The computational complexity of choice sets |
220
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
151
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Within the HapCath - haptic catheter - project an assistive system for interventional catheterizations has been developed. Conventional navigation during catheterization is done b...
201
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Random projection (RP) is a common technique for dimensionality reduction under L2 norm for which many significant space embedding results have been demonstrated. However, many si...
196
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Background: Databases containing very large amounts of SNP (Single Nucleotide Polymorphism) data are now freely available for researchers interested in medical and/or population g...
193
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
In the Biodiversity World (BDW) project we have created a flexible and extensible Web Services-based Grid environment for biodiversity researchers to solve problems in biodiversity...