10072 search results - page 1710 / 2015 » Composition of Model Programs |
167
Voted
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
177
Voted
IFIP
2005
Springer
16 years 4 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
171
click to vote
ISAAC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract The 2-Interval Pattern problem is to find the largest constrained pattern in a set of 2-intervals. The constrained pattern is a subset of the given 2-intervals such that ...
134
click to vote
IWINAC
2005
Springer
16 years 4 days ago
2005
Springer
Many cells in the primary visual cortex respond differently when a stimulus is placed outside their classical receptive field (CRF) compared to the stimulus within the CRF alone,...
182
click to vote
MICAI
2005
Springer
16 years 4 days ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...