Sciweavers

1361 search results - page 90 / 273
» Spaces of practice
Sort
View
DAC
2005
ACM
16 years 1 months ago
Efficient SAT solving: beyond supercubes
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
94
Voted
KDD
2008
ACM
110views Data Mining» more  KDD 2008»
16 years 1 months ago
Mining preferences from superior and inferior examples
Mining user preferences plays a critical role in many important applications such as customer relationship management (CRM), product and service recommendation, and marketing camp...
Bin Jiang, Jian Pei, Xuemin Lin, David W. Cheung, ...
98
Voted
CHI
2009
ACM
16 years 1 months ago
Territorial coordination and workspace awareness in remote tabletop collaboration
There is growing interest in tabletop interfaces that enable remote collaboration by providing shared workspaces. This approach assumes that these remote tabletops afford the same...
Philip Tuddenham, Peter Robinson
148
Voted
CPM
2004
Springer
144views Combinatorics» more  CPM 2004»
15 years 6 months ago
A Simple Optimal Representation for Balanced Parentheses
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...
Richard F. Geary, Naila Rahman, Rajeev Raman, Venk...
94
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 26 days ago
RDFViewS: A Storage Tuning Wizard for RDF Applications
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...
François Goasdoué, Konstantinos Kara...