Sciweavers

3255 search results - page 608 / 651
» Combination of Abstractions in the ASTR
Sort
View
IJON
2006
161views more  IJON 2006»
13 years 8 months ago
Evolving hybrid ensembles of learning machines for better generalisation
Ensembles of learning machines have been formally and empirically shown to outperform (generalise better than) single predictors in many cases. Evidence suggests that ensembles ge...
Arjun Chandra, Xin Yao
IJRR
2006
88views more  IJRR 2006»
13 years 8 months ago
Multi-robot Simultaneous Localization and Mapping using Particle Filters
Abstract-- This paper describes an on-line algorithm for multirobot simultaneous localization and mapping (SLAM). We take as our starting point the single-robot Rao-Blackwellized p...
Andrew Howard
IR
2006
13 years 8 months ago
Full-text federated search of text-based digital libraries in peer-to-peer networks
Abstract. Peer-to-peer (P2P) networks integrate autonomous computing resources without requiring a central coordinating authority, which makes them a potentially robust and scalabl...
Jie Lu, Jamie Callan
JFP
2008
135views more  JFP 2008»
13 years 8 months ago
Hoare type theory, polymorphism and separation
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...
JGTOOLS
2008
189views more  JGTOOLS 2008»
13 years 8 months ago
Subtractive Shadows: A Flexible Framework for Shadow Level of Detail
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
Christopher DeCoro, Szymon Rusinkiewicz