Sciweavers

71228 search results - page 14101 / 14246
» Algorithms
Sort
View
SIAMCOMP
2008
148views more  SIAMCOMP 2008»
15 years 19 hour ago
The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement
Abstract. To cope with the impossibility of solving agreement problems in asynchronous systems made up of n processes and prone to t process crashes, system designers tailor their ...
Achour Mostéfaoui, Sergio Rajsbaum, Michel ...
SIGOPS
2008
100views more  SIGOPS 2008»
15 years 17 hour ago
Power management in the EPOS system
Power management strategies for embedded systems typically rely on static, application driven deactivation of components (e.g. sleep, suspend), or on dynamic voltage and frequency...
Geovani Ricardo Wiedenhoft, Lucas Francisco Wanner...
IVC
2010
289views more  IVC 2010»
15 years 16 hour ago
Automatic 3D object segmentation in multiple views using volumetric graph-cuts
We propose an algorithm for automatically obtaining a segmentation of a rigid object in a sequence of images that are calibrated for camera pose and intrinsic parameters. Until re...
Neill D. F. Campbell, George Vogiatzis, Carlos Her...
JAIR
2010
145views more  JAIR 2010»
15 years 14 hour ago
On Action Theory Change
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
Ivan José Varzinczak
JCC
2010
113views more  JCC 2010»
15 years 12 hour ago
MDLab: A molecular dynamics simulation prototyping environment
Molecular dynamics (MD) simulation involves solving Newton’s equations of motion for a system of atoms, by calculating forces and updating atomic positions and velocities over a...
Trevor M. Cickovski, Santanu Chatterjee, Jacob Wen...
« Prev « First page 14101 / 14246 Last » Next »