Sciweavers

535 search results - page 54 / 107
» Generalized Version Space Trees
Sort
View
CF
2009
ACM
15 years 6 months ago
Space-and-time efficient garbage collectors for parallel systems
As multithreaded server applications and runtime systems prevail, garbage collection is becoming an essential feature to support high performance systems. The fundamental issue of...
Shaoshan Liu, Ligang Wang, Xiao-Feng Li, Jean-Luc ...
FUIN
2006
81views more  FUIN 2006»
14 years 12 months ago
Indexing Schemes for Similarity Search: an Illustrated Paradigm
We suggest a variation of the Hellerstein-Koutsoupias--Papadimitriou indexability model for datasets equipped with a similarity measure, with the aim of better understanding the s...
Vladimir Pestov, Aleksandar Stojmirovic
IUI
1999
ACM
15 years 4 months ago
Programming by Demonstration: An Inductive Learning Formulation
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
Tessa A. Lau, Daniel S. Weld
JANCL
2002
113views more  JANCL 2002»
14 years 11 months ago
Canonicity and Completeness Results for Many-Valued Modal Logics
We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
TEI
2010
ACM
345views Hardware» more  TEI 2010»
15 years 6 months ago
g-stalt: a chirocentric, spatiotemporal, and telekinetic gestural interface
In this paper we present g-stalt, a gestural interface for interacting with video. g-stalt is built upon the g-speak spatial operating environment (SOE) from Oblong Industries. Th...
Jamie Zigelbaum, Alan Browning, Daniel Leithinger,...