Sciweavers

4325 search results - page 636 / 865
» Incremental computation with names
Sort
View
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 6 months ago
Modeling the structure and evolution of discussion cascades
We analyze the structure and evolution of discussion cascades in four popular websites: Slashdot, Barrapunto, Meneame and Wikipedia. Despite the big heterogeneities between these ...
Vicenç Gómez, Hilbert J. Kappen, And...
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
On combinations of local theory extensions
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
Viorica Sofronie-Stokkermans
BMCBI
2006
124views more  BMCBI 2006»
15 years 6 months ago
Predicting transcription factor binding sites using local over-representation and comparative genomics
Background: Identifying cis-regulatory elements is crucial to understanding gene expression, which highlights the importance of the computational detection of overrepresented tran...
Matthieu Defrance, Hélène Touzet
CAD
2006
Springer
15 years 6 months ago
Developing an engineering shape benchmark for CAD models
Three-dimensional shape retrieval is a problem of current interest in several different fields, especially in the mechanical engineering domain. There exists a large body of work ...
Subramaniam Jayanti, Yagnanarayanan Kalyanaraman, ...
EWC
2006
114views more  EWC 2006»
15 years 6 months ago
Automated symmetry exploitation in engineering analysis
In engineering analysis, geometric symmetry, when exploited, has two potential benefits: (1) it can significantly reduce the computational time, and (2) it can simultaneously impr...
Krishnan Suresh, Ameya Sirpotdar