Sciweavers

2233 search results - page 117 / 447
» Modular type classes
Sort
View
133
Voted
DAS
2008
Springer
15 years 4 months ago
New Oversampling Approaches Based on Polynomial Fitting for Imbalanced Data Sets
In classification tasks, class-modular strategy has been widely used. It has outperformed classical strategy for pattern classification task in many applications [1]. However, in ...
Sami Gazzah, Najoua Essoukri Ben Amara
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 7 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
146
Voted
BIOCOMP
2010
15 years 14 days ago
A Hierarchical Decision Engine for Computer Aided Lung Nodule Detection from CT Images
- We present a novel hierarchical modular decision engine for lung nodule detection from CT images implemented by Artificial Neural Networks. The proposed Computer Aided Detection ...
Ömer M. Soysal, Jianhua Chen, Steven Bujenovi...

Book
246views
17 years 17 days ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
125
Voted
CCS
2008
ACM
15 years 4 months ago
Type-checking zero-knowledge
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
Michael Backes, Catalin Hritcu, Matteo Maffei