Sciweavers

622 search results - page 96 / 125
» A Method to Retrieve Papers from MEDLINE: PETER System
Sort
View
EDBT
2004
ACM
172views Database» more  EDBT 2004»
15 years 10 months ago
Efficient Similarity Search for Hierarchical Data in Large Databases
Structured and semi-structured object representations are getting more and more important for modern database applications. Examples for such data are hierarchical structures inclu...
Karin Kailing, Hans-Peter Kriegel, Stefan Schö...
97
Voted
BERTINORO
2005
Springer
15 years 3 months ago
Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
Peter J. Bentley
134
Voted
LPAR
2004
Springer
15 years 3 months ago
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
Jürgen Giesl, René Thiemann, Peter Sch...
94
Voted
SMI
1999
IEEE
155views Image Analysis» more  SMI 1999»
15 years 2 months ago
Elastodynamic Shape Modeling in Virtual Medicine
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...
Arne Radetzky, Andreas Nürnberger, Michael Te...
FPL
2006
Springer
113views Hardware» more  FPL 2006»
15 years 1 months ago
A Novel Heuristic and Provable Bounds for Reconfigurable Architecture Design
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
Alastair M. Smith, George A. Constantinides, Peter...