Sciweavers

3605 search results - page 346 / 721
» Associated types with class
Sort
View
JOT
2007
81views more  JOT 2007»
15 years 6 months ago
Persistent Objects and Capabilities in Timor
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
ARTMED
2002
92views more  ARTMED 2002»
15 years 6 months ago
Predicting glaucomatous visual field deterioration through short multivariate time series modelling
In bio-medical domains there are many applications involving the modelling of multivariate time series (MTS) data. One area that has been largely overlooked so far is the particul...
Stephen Swift, Xiaohui Liu
CN
2000
80views more  CN 2000»
15 years 6 months ago
An entropy approach to unintrusive targeted advertising on the Web
This paper describes the formulation of a new model for unintrusive targeted advertising on the web, extending the linear programming approach taken by Langheinrich et al.[10] A f...
John A. Tomlin
ENTCS
2002
136views more  ENTCS 2002»
15 years 6 months ago
Comparing Calculi of Explicit Substitutions with Eta-reduction
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
Mauricio Ayala-Rincón, Flávio L. C. ...
SBIA
2010
Springer
15 years 5 months ago
High-Level Modeling of Component-Based CSPs
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
Raphaël Chenouard, Laurent Granvilliers, Rica...