Sciweavers

11063 search results - page 392 / 2213
» On the existence of universal models
Sort
View
IPL
2002
93views more  IPL 2002»
15 years 6 months ago
Storing information with extractors
We deal with the problem of storing a set of K elements that are taken from a large universe of size N, such that membership in the set can be determined with high probability by ...
Amnon Ta-Shma
OIR
2007
99views more  OIR 2007»
15 years 6 months ago
The Galician virtual library
In this paper we describe the main features of the Galician Virtual Library (BVG) and its development process. The aim of this virtual library is to fill the existing lack of Galic...
Ángeles S. Places, Nieves R. Brisaboa, Anto...
PSYCHNOLOGY
2010
116views more  PSYCHNOLOGY 2010»
15 years 5 months ago
Social and Spatial Presence: An Application to Optimize Human-Computer Interaction
This study provides a framework for researchers who study human-computer interaction to develop and evaluate user-centric user-interfaces by applying existing theories about telep...
Karl Horvath, Matthew Lombard
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
15 years 5 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
TLT
2010
124views more  TLT 2010»
15 years 5 months ago
Bootstrapping a Culture of Sharing to Facilitate Open Educational Resources
—It seems self-evident that life for teachers would be simplified if there existed a large corpus of relevant resources that was available for them to reuse and for inquisitive s...
Hugh C. Davis, Leslie Carr, Jessie M. N. Hey, Yvon...