3913 search results - page 226 / 783 » complexity 2006 |
178
click to vote
JUCS
2006
15 years 5 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
171
click to vote
CONSTRAINTS
2006
15 years 5 months ago
2006
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
126
click to vote
COMPGEOM
2006
ACM
15 years 11 months ago
2006
ACM
The k-means method is an old but popular clustering algorithm known for its observed speed and its simplicity. Until recently, however, no meaningful theoretical bounds were known...
124
Voted
AAAI
2006
15 years 7 months ago
2006
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
152
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...