870 search results - page 60 / 174 » Constructions for Difference Triangle Sets |
103
click to vote
CJ
2010
15 years 19 days ago
2010
Abstract. Motivated by research on how topology may be a helpful foundation for building information modeling (BIM), a relational database version of the notions of chain complex a...
94
Voted
FCSC
2008
15 years 17 days ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
103
Voted
STOC
2007
ACM
16 years 25 days ago
2007
ACM
A q-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit xi of the message by querying only...
129
Voted
SENSYS
2010
ACM
14 years 10 months ago
2010
ACM
Many participatory sensing applications use data collected by participants to construct a public model of a system or phenomenon. For example, a health application might compute a...
128
Voted
ICDT
2001
ACM
15 years 5 months ago
2001
ACM
This paper presents a general methodology for the efficient parallelization of existing data cube construction algorithms. We describe two different partitioning strategies, one f...