Sciweavers

4810 search results - page 60 / 962
» Modeling Value Speculation
Sort
View
APLAS
2008
ACM
14 years 12 months ago
Extensional Universal Types for Call-by-Value
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
Kazuyuki Asada
WWW
2007
ACM
15 years 10 months ago
Adding Value to Biodiversity Images Through Community Annotation
Morphbank, an on-line collection of museum-quality biological images, is an NSF funded project designed to facilitate the on-line collaboration of biologists from around the world...
Gregory A. Riccardi
ALT
2001
Springer
15 years 7 months ago
Real-Valued Multiple-Instance Learning with Queries
While there has been a significant amount of theoretical and empirical research on the multiple-instance learning model, most of this research is for concept learning. However, f...
Daniel R. Dooly, Sally A. Goldman, Stephen Kwek
ISMVL
2008
IEEE
111views Hardware» more  ISMVL 2008»
15 years 4 months ago
Multiple Valued Logic Using 3-State Quantum Dot Gate FETs
Abstract—This paper presents fundamental logic structures designed using novel quantum dot gate FETs with three-state characteristics. This three-state FET manifests itself as a ...
John A. Chandy, Faquir C. Jain
CPM
2007
Springer
222views Combinatorics» more  CPM 2007»
15 years 4 months ago
Computing Exact p-Value for Structured Motif
Extracting motifs from a set of DNA sequences is important in computational biology. Occurrence probability is a common used statistics to evaluate the statistical significance of...
Jing Zhang, Xi Chen, Ming Li