Sciweavers

2598 search results - page 58 / 520
» The Abstract Immune System Algorithm
Sort
View
FODO
1998
Springer
263views Algorithms» more  FODO 1998»
14 years 29 days ago
On-Line Analytical Processing with Conceptual Information Systems
Abstract. A Conceptual Information System consists of a database together with conceptual hierarchies. The management system TOSCANA visualizes arbitrary combinations of conceptual...
Gerd Stumme
IANDC
2000
70views more  IANDC 2000»
13 years 8 months ago
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
Christoph Kreitz, Stephan Schmitt
WDAG
1993
Springer
98views Algorithms» more  WDAG 1993»
14 years 24 days ago
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
Cheng Wu, Gregor von Bochmann, Ming Yu Yao
IJUFKS
2002
70views more  IJUFKS 2002»
13 years 8 months ago
Software Systems for Tabular Data Releases
aint on disclosure risk. Underlying abstractions -- primarily associated with the query space, as well as released and unreleasable sub-tables and frontiers, computational algorith...
Adrian Dobra, Alan F. Karr, Ashish P. Sanil, Steph...
GLOBECOM
2007
IEEE
14 years 3 months ago
Capacity and Fairness of MIMO Broadcast Algorithms in Shadow Fading Environments
Abstract— For MIMO broadcast systems the effects of shadowing on the channel capacity and the fairness of the system in sharing the resources amongst multiple users are important...
Timothy W. King, Peter J. Smith, Lee M. Garth