Sciweavers

18090 search results - page 218 / 3618
» Computing by Only Observing
Sort
View
CORR
2007
Springer
103views Education» more  CORR 2007»
15 years 6 months ago
HORPO with Computability Closure : A Reconstruction
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
Frédéric Blanqui, Jean-Pierre Jouann...
DAWAK
2006
Springer
15 years 10 months ago
On the Computation of Maximal-Correlated Cuboids Cells
The main idea of iceberg data cubing methods relies on optimization techniques for computing only the cuboids cells above certain minimum support threshold. Even using such approac...
Ronnie Alves, Orlando Belo
ISAAC
2009
Springer
121views Algorithms» more  ISAAC 2009»
16 years 1 months ago
Generalized Reduction to Compute Toric Ideals
Toric ideals have many applications including solving integer programs. Several algorithms for computing the toric ideal of an integer matrix are available in the literature. Since...
Deepanjan Kesh, Shashank K. Mehta
ACL
2007
15 years 8 months ago
A Computational Model of Text Reuse in Ancient Literary Texts
We propose a computational model of text reuse tailored for ancient literary texts, available to us often only in small and noisy samples. The model takes into account source alte...
John Lee
USENIX
2000
15 years 7 months ago
Distributed Computing: Moving from CGI to CORBA
In this paper, we document the evolution of a banner ad delivery system from a simple CGI script written in Perl running on a single host into a distributed computing application ...
James FitzGibbon, Tim Strike