12084 search results - page 1998 / 2417 » Effect Systems with Subtyping |
160
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we focus on the problem of making a model of the sensory apparatus from raw uninterpreted sensory data as defined by Pierce and Kuipers (Artificial Intelligence 92:1...
206
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we introduce the problem of Constrained Subspace Skyline Queries. This class of queries can be thought of as a generalization of subspace skyline queries using range...
187
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
The participation of the University of Hildesheim focused on the monolingual German and English and the bilingual German English tasks of GeoCLEF 2006. Based on the results of Geo...
194
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
195
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
We describe several software side-channel attacks based on inter-process leakage through the state of the CPU's memory cache. This leakage reveals memory access patterns, whic...