3384 search results - page 550 / 677 » More Testable Properties |
DSOM
2000
Springer
14 years 2 months ago
2000
Springer
An understanding of certain network functions is critical for successful network management. Managers must have insight into network topology, protocol performance and fault detec...
CAV
1999
Springer
14 years 2 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
VISUALIZATION
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper presents a framework for multiresolution compression and geometric reconstruction of arbitrarily dimensioned data designed for distributed applications. Although being ...
EPS
1997
Springer
14 years 2 months ago
1997
Springer
In spirit of the earlier works done by Arthur (1992) and Palmer et al. (1993), this paper models speculators with genetic programming (GP) in a production economy (Muthian Economy)...
SIGIR
1996
ACM
14 years 2 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...