Sciweavers

13621 search results - page 61 / 2725
» Computability and Complexity in Self-assembly
Sort
View
DLOG
2011
13 years 1 months ago
The Complexity of Conjunctive Query Abduction in DL-Lite
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the...
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, G...
CPHYSICS
2011
267views Education» more  CPHYSICS 2011»
13 years 1 months ago
Fast alignment of a complex tracking detector using advanced track models
The inner silicon detector of the Compact Muon Solenoid experiment (CMS) at CERN’s LHC consists of 16 588 modules. Charged-particle tracks in the detector are used to improve th...
Volker Blobel, Claus Kleinwort, Frank Meier
NAR
2011
252views Computer Vision» more  NAR 2011»
13 years 24 days ago
BISC: Binary SubComplexes in proteins database
Binary subcomplexes in proteins database (BISC) is a new protein–protein interaction (PPI) database linking up the two communities most active in their characterization: structu...
Thomas Juettemann, Dietlind L. Gerloff
COMPUTER
2007
80views more  COMPUTER 2007»
13 years 10 months ago
Conquering Complexity
Gerard J. Holzmann
ICALP
2011
Springer
13 years 1 months ago
On the Advice Complexity of the k-Server Problem
Competitive analysis is the established tool for measuring the output quality of algorithms that work in an online environment. Recently, the model of advice complexity has been in...
Hans-Joachim Böckenhauer, Dennis Komm, Rastis...