Sciweavers

1870 search results - page 32 / 374
» Abstract And-Parallel Machines
Sort
View
FMOODS
2007
13 years 9 months ago
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
Philippe Bidinger, Adriana B. Compagnoni
VLDB
2002
ACM
112views Database» more  VLDB 2002»
13 years 7 months ago
Fast and Accurate Text Classification via Multiple Linear Discriminant Projections
Abstract. Support vector machines (SVMs) have shown superb performance for text classification tasks. They are accurate, robust, and quick to apply to test instances. Their only po...
Soumen Chakrabarti, Shourya Roy, Mahesh V. Soundal...
ECTEL
2010
Springer
13 years 6 months ago
A Framework for the Domain-Independent Collection of Attention Metadata
Abstract. We present a simple and extendible framework to collect attention metadata and store them for further analysis. Currently, several metadata collectors have been implement...
Maren Scheffel, Martin Friedrich, Katja Niemann, U...
ECTEL
2010
Springer
13 years 6 months ago
Preferences in Multiple-View Open Learner Models
Abstract. Educational systems that model the user enable personalisation. Systems that open the model to the user to prompt reflection are increasingly common. These often offer a ...
Susan Bull, Inderdip Gakhal, Daniel Grundy, Matthe...
COLT
2010
Springer
13 years 6 months ago
The Convergence Rate of AdaBoost
Abstract. We pose the problem of determining the rate of convergence at which AdaBoost minimizes exponential loss. Boosting is the problem of combining many "weak," high-...
Robert E. Schapire