Sciweavers

7766 search results - page 1310 / 1554
» Testing Nondeterminate Systems
Sort
View
SIGIR
2000
ACM
15 years 5 months ago
Topical locality in the Web
Most web pages are linked to others with related content. This idea, combined with another that says that text in, and possibly around, HTML anchors describe the pages to which th...
Brian D. Davison
121
Voted
AFPAC
2000
Springer
257views Mathematics» more  AFPAC 2000»
15 years 5 months ago
The Multidimensional Isotropic Generalization of Quadrature Filters in Geometric Algebra
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
Michael Felsberg, Gerald Sommer
AGP
1999
IEEE
15 years 5 months ago
ACI1 constraints
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gi...
ICFP
1999
ACM
15 years 5 months ago
Type Dispatch for Named Hierarchical Types
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
Neal Glew
105
Voted
ICDCS
1999
IEEE
15 years 5 months ago
Fault Tolerant Video on Demand Services
This paper describes a highly available distributedvideo on demand (VoD) service which is inherently fault tolerant. The VoD service is provided by multiple servers that reside at...
Tal Anker, Danny Dolev, Idit Keidar
« Prev « First page 1310 / 1554 Last » Next »