Sciweavers

4536 search results - page 619 / 908
» Contention-Sensitive Data Structures and Algorithms
Sort
View
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 6 months ago
Constraint solvers: An empirical evaluation of design decisions
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
Lars Kotthoff
IJON
2008
114views more  IJON 2008»
15 years 6 months ago
A robust model for spatiotemporal dependencies
Real-world data sets such as recordings from functional magnetic resonance imaging often possess both spatial and temporal structure. Here, we propose an algorithm including such ...
Fabian J. Theis, Peter Gruber, Ingo R. Keck, Elmar...
AC
2004
Springer
15 years 6 months ago
Shotgun Sequence Assembly
Shotgun sequencing is the most widely used technique for determining the DNA sequence of organisms. It involves breaking up the DNA into many small pieces that can be read by auto...
Mihai Pop
CL
2004
Springer
15 years 6 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
VIS
2009
IEEE
163views Visualization» more  VIS 2009»
16 years 7 months ago
Volume Illustration of Muscle from Diffusion Tensor Images
Medical illustration has demonstrated its effectiveness to depict salient anatomical features while hiding the irrelevant details. Current solutions are ineffective for visualizing...
Wei Chen, Zhicheng Yan, Song Zhang, John Allen ...