Sciweavers

10055 search results - page 1326 / 2011
» Structured programming using processes
Sort
View
BIOCOMP
2008
15 years 8 months ago
Specificity Normalization for Identifying Selective Inhibitors in Virtual Screening
ct The enrichment and recall of known inhibitors in a virtual screen are correlated with the probability of finding effective inhibitors through this process. In practice, a large ...
Reetal Pai, James C. Sacchettini, Thomas R. Ioerge...
AAAI
2006
15 years 8 months ago
Robust Support Vector Machine Training via Convex Outlier Ablation
One of the well known risks of large margin training methods, such as boosting and support vector machines (SVMs), is their sensitivity to outliers. These risks are normally mitig...
Linli Xu, Koby Crammer, Dale Schuurmans
JUCS
2008
138views more  JUCS 2008»
15 years 6 months ago
A Lightweight and Extensible AspectJ Implementation
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...
Rodolfo Toledo, Éric Tanter
ENTCS
2007
96views more  ENTCS 2007»
15 years 6 months ago
An Observational Theory for Mobile Ad Hoc Networks
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
Massimo Merro
ENTCS
2007
107views more  ENTCS 2007»
15 years 6 months ago
Executable Grammars in Newspeak
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
Gilad Bracha
« Prev « First page 1326 / 2011 Last » Next »