Sciweavers

4067 search results - page 86 / 814
» Programs for Applying Symmetries
Sort
View
CPAIOR
2008
Springer
13 years 10 months ago
Optimal Deployment of Eventually-Serializable Data Services
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
Laurent Michel, Alexander A. Shvartsman, Elaine L....
OPODIS
2008
13 years 9 months ago
Rendezvous of Mobile Agents When Tokens Fail Anytime
Abstract. We consider the problem of Rendezvous or gathering of multiple autonomous entities (called mobile agents) moving in an unlabelled environment (modelled as a graph). The p...
Shantanu Das, Matús Mihalák, Rastisl...
AIPS
2006
13 years 9 months ago
Optimal Rectangle Packing: A Meta-CSP Approach
We present a new approach to optimal rectangle packing, an NP-complete problem that can be used to model many simple scheduling tasks. Recent attempts at incorporating artificial ...
Michael D. Moffitt, Martha E. Pollack
CARS
2001
13 years 9 months ago
Computer-based periaxial rotation measurement for aligning fractured femur fragments
A new computer-based method for measuring periaxial rotation of healthy and fractured femurs from preoperative CT during closed femoral fracture reduction surgery is described. Th...
Ofer Ron, Leo Joskowicz, Ariel Simkin, Charles Mil...
ENTCS
2010
127views more  ENTCS 2010»
13 years 8 months ago
Combining Model Reductions
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
Ferdinanda Camporesi, Jérôme Feret, H...