Sciweavers

1791 search results - page 116 / 359
» Two Types of Multiple-Conclusion Systems
Sort
View
INTERACT
2007
13 years 10 months ago
CandidTree: Visualizing Structural Uncertainty in Similar Hierarchies
Most visualization systems fail to convey uncertainty within data. To provide a way to show uncertainty in similar hierarchies, we interpreted the differences between two tree stru...
Bongshin Lee, George G. Robertson, Mary Czerwinski...
SODA
2012
ACM
212views Algorithms» more  SODA 2012»
11 years 11 months ago
Parallelism and time in hierarchical self-assembly
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...
Ho-Lin Chen, David Doty
AIED
2007
Springer
14 years 1 months ago
Domain-Specific and Domain-Independent Interactive Behaviors in Andes
In this study, students studied two different domains in the same Intelligent Tutoring System, Andes. Analysis of 435 log files from 22 subjects indicated that there are two types ...
Min Chi, Kurt VanLehn
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
14 years 1 months ago
Indistinguishability Amplification
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
Ueli M. Maurer, Krzysztof Pietrzak, Renato Renner
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
14 years 1 months ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
Ralf Hartmut Güting