Sciweavers

1056 search results - page 137 / 212
» Identifying and Exploiting Ultrametricity
Sort
View
98
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
Quickly detecting relevant program invariants
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
Michael D. Ernst, Adam Czeisler, William G. Griswo...
126
Voted
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 5 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
APWEB
2010
Springer
15 years 5 months ago
Learning to Find Interesting Connections in Wikipedia
To help users answer the question, what is the relation between (real world) entities or concepts, we might need to go well beyond the borders of traditional information retrieval ...
Marek Ciglan, Etienne Riviere, Kjetil Nørv&...
EVOW
2010
Springer
15 years 5 months ago
Improving Multi-Relief for Detecting Specificity Residues from Multiple Sequence Alignments
A challenging problem in bioinformatics is the detection of residues that account for protein function specificity, not only in order to gain deeper insight in the nature of functi...
Elena Marchiori
SCA
2007
15 years 4 months ago
Adaptive deformations with fast tight bounds
Simulation of deformations and collision detection are two highly intertwined problems that are often treated separately. This is especially true in existing elegant adaptive simu...
Miguel A. Otaduy, Daniel Germann, Stephane Redon, ...