Sciweavers

863 search results - page 115 / 173
» Computational Methods for Intelligent Information Access
Sort
View
122
Voted
DOLAP
2004
ACM
15 years 9 months ago
PrefixCube: prefix-sharing condensed data cube
BST Condensed Cube is a fully computed cube that condenses those tuples, which are aggregated from the same single base relation tuple, into one physical tuple. Although it has be...
Jianlin Feng, Qiong Fang, Hulin Ding
MMMACNS
2001
Springer
15 years 8 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
ATAL
2009
Springer
15 years 10 months ago
Abstraction in model checking multi-agent systems
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco ...
120
Voted
BMCBI
2005
119views more  BMCBI 2005»
15 years 3 months ago
A protein domain interaction interface database: InterPare
Background: Most proteins function by interacting with other molecules. Their interaction interfaces are highly conserved throughout evolution to avoid undesirable interactions th...
Sungsam Gong, Changbum Park, Hansol Choi, Junsu Ko...
120
Voted
CHI
2007
ACM
16 years 4 months ago
Usability of voting systems: baseline data for paper, punch cards, and lever machines
In the United States, computer-based voting machines are rapidly replacing other older technologies. While there is potential for this to be a usability improvement, particularly ...
Michael D. Byrne, Kristen K. Greene, Sarah P. Ever...