10072 search results - page 1710 / 2015 » Composition of Model Programs |
182
click to vote
ICALP
2005
Springer
16 years 22 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...
195
click to vote
IFIP
2005
Springer
16 years 22 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...
197
click to vote
ISAAC
2005
Springer
16 years 22 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 ...
162
click to vote
IWINAC
2005
Springer
16 years 22 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,...
204
click to vote
MICAI
2005
Springer
16 years 21 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 ...