5105 search results - page 605 / 1021 » Approximate Structural Consistency |
209
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
177
click to vote
MIDDLEWARE
2000
Springer
15 years 10 months ago
2000
Springer
Enterprise applications can be structured as domains, where each domain contains objects that are replicated for fault tolerance, with the replication being managed by a fault tole...
179
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Current networked information systems on the Internet, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The deve...
176
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
Clustering is often used to discover structure in data. Clustering systems differ in the objective function used to evaluate clustering quality and the control strategy used to se...
162
click to vote
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof...