Sciweavers

1750 search results - page 42 / 350
» E-Commerce Development Procedure
Sort
View
109
Voted
CLUSTER
2007
IEEE
15 years 9 months ago
Non-collective parallel I/O for global address space programming models
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
Sriram Krishnamoorthy, Juan Piernas, Vinod Tippara...
CVPR
1997
IEEE
15 years 6 months ago
Completion Energies and Scale
ÐThe detection of smooth curves in images and their completion over gaps are two important problems in perceptual grouping. In this study, we examine the notion of completion ener...
Eitan Sharon, Achi Brandt, Ronen Basri
117
Voted
FROCOS
2009
Springer
15 years 9 months ago
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
Stéphane Lescuyer, Sylvain Conchon
116
Voted
ICNC
2009
Springer
15 years 9 months ago
Reducing Boarding Time: Synthesis of Improved Genetic Algorithms
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...
Kang Wang
114
Voted
CLEAR
2007
Springer
211views Biometrics» more  CLEAR 2007»
15 years 8 months ago
An Appearance-Based Particle Filter for Visual Tracking in Smart Rooms
This paper presents a visual particle filter for tracking a variable number of humans interacting in indoor environments, using multiple cameras. It is built upon a 3-dimensional,...
Oswald Lanz, Paul Chippendale, Roberto Brunelli