Sciweavers

3174 search results - page 177 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
SIGIR
2003
ACM
15 years 11 months ago
Fractal summarization: summarization based on fractal theory
In this paper, we introduce the fractal summarization model based on the fractal theory. In fractal summarization, the important information is captured from the source text by ex...
Christopher C. Yang, Fu Lee Wang
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 11 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
ANSS
2002
IEEE
15 years 11 months ago
Scalability of Parallel Simulation Cloning
In previous work we presented an algorithm for cloning parallel simulations that enables multiple simulated execution paths to be explored simultaneously. The method is targeted f...
Maria Hybinette, Richard M. Fujimoto
ICANN
2001
Springer
15 years 11 months ago
Fast Curvature Matrix-Vector Products
The method of conjugate gradients provides a very effective way to optimize large, deterministic systems by gradient descent. In its standard form, however, it is not amenable to ...
Nicol N. Schraudolph
TACAS
2001
Springer
160views Algorithms» more  TACAS 2001»
15 years 11 months ago
Hardware/Software Co-Design Using Functional Languages
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
Alan Mycroft, Richard Sharp