Sciweavers

1209 search results - page 235 / 242
» On the Resilience of Classes to Change
Sort
View
BMCBI
2005
89views more  BMCBI 2005»
13 years 8 months ago
Theme discovery from gene lists for identification and viewing of multiple functional groups
Background: High throughput methods of the genome era produce vast amounts of data in the form of gene lists. These lists are large and difficult to interpret without advanced com...
Petri Pehkonen, Garry Wong, Petri Töröne...
CAD
2004
Springer
13 years 8 months ago
Linear one-sided stability of MAT for weakly injective 3D domain
Despite its usefulness in many applications, the medial axis transform (MAT) is very sensitive to the change of the boundary in the sense that, even if a shape is perturbed only s...
Sung Woo Choi, Hans-Peter Seidel
CAS
2004
150views more  CAS 2004»
13 years 8 months ago
Accounting for Human Activity Through Physics
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
Paul Jorion
COMCOM
2004
112views more  COMCOM 2004»
13 years 8 months ago
Design and analysis of optimal adaptive de-jitter buffers
In order to transfer voice or some other application requiring real-time delivery over a packet network, we need a de-jitter buffer to eliminate delay jitters. An important design...
Gagan L. Choudhury, Robert G. Cole
JAR
1998
134views more  JAR 1998»
13 years 8 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge