Sciweavers

225 search results - page 32 / 45
» Current Progress in computational metabolomics
Sort
View
ICCV
2011
IEEE
14 years 1 months ago
Segmentation as Selective Search for Object Recognition
Software available at http://disi.unitn.it/~uijlings or http://koen.me/research/ For object recognition, the current state-of-the-art is based on exhaustive search. However, to ...
K van de Sande, J Uijlings, T Gevers, A Smeulders
SC
2009
ACM
15 years 6 months ago
Enabling high-fidelity neutron transport simulations on petascale architectures
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...
Dinesh K. Kaushik, Micheal Smith, Allan Wollaber, ...
CLUSTER
2004
IEEE
15 years 3 months ago
A comparison of local and gang scheduling on a Beowulf cluster
Gang Scheduling and related techniques are widely believed to be necessary for efficientjob scheduling on distributed memory parallel computers. This is hecause they minimize cont...
Peter E. Strazdins, John Uhlmann
DELOS
2004
15 years 1 months ago
Peer-to-Peer Overlays and Data Integration in a Life Science Grid
Databases and Grid computing are a good match. With the service orientation of Grid computing, the complexity of maintaining and integrating databases can be kept away from the act...
Curt Cramer, Andrea Schafferhans, Thomas Fuhrmann
FTRTFT
1998
Springer
15 years 3 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer