Sciweavers

15416 search results - page 2786 / 3084
» Embeddings of Computable Structures
Sort
View
PPL
2008
101views more  PPL 2008»
15 years 6 months ago
Skeletal Parallel Programming with OCamlP3l 2.0
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pie...
SIAMAM
2008
78views more  SIAMAM 2008»
15 years 6 months ago
Fingering from Ionization Fronts in Plasmas
Abstract. In this paper we describe the formation of fingers from ionization fronts for a hydrodynamic plasma model. The fingers result from a balance between the destabilizing eff...
Manuel Arrayás, Santiago Betelú, Mar...
146
Voted
IJAR
2007
69views more  IJAR 2007»
15 years 6 months ago
Racing algorithms for conditional independence inference
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
Remco R. Bouckaert, Milan Studený
166
Voted
SIAMSC
2008
191views more  SIAMSC 2008»
15 years 6 months ago
ORBIT: Optimization by Radial Basis Function Interpolation in Trust-Regions
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
Stefan M. Wild, Rommel G. Regis, Christine A. Shoe...
IJCV
2007
159views more  IJCV 2007»
15 years 6 months ago
Monocular Vision for Mobile Robot Localization and Autonomous Navigation
This paper presents a new real-time localization system for a mobile robot. We show that autonomous navigation is possible in outdoor situation with the use of a single camera and ...
Eric Royer, Maxime Lhuillier, Michel Dhome, Jean-M...
« Prev « First page 2786 / 3084 Last » Next »