3319 search results - page 342 / 664 » Type Theoretical Databases |
115
Voted
WADS
2007
Springer
15 years 9 months ago
2007
Springer
Building on the work of Martinetz, Schulten and de Silva, Carlsson, we introduce a 2-parameter family of witness complexes and algorithms for constructing them. This family can be ...
111
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
86
Voted
SRDS
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper presents a comparative performance study of the two main classes of randomized binary consensus protocols: a local coin protocol, with an expected high communication com...
121
Voted
ITICSE
2006
ACM
15 years 9 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
100
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
Knowledge acquisition (KA) plays an important role in building knowledge based systems (KBS). However, evaluating different KA techniques has been difficult because of the costs...