89 search results - page 1 / 18 » Abstraction Heuristics Extended with Counting Abstractions |
AIPS
2011
12 years 8 months ago
2011
CP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
WWW
2007
ACM
14 years 5 months ago
2007
ACM
![Finding community structure in mega-scale social networks: [extended abstract]](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "Finding community structure in mega-scale social networks: [extended abstract]")
[Extended Abstract] Ken Wakita Tokyo Institute of Technology 2-12-1 Ookayama, Meguro-ku Tokyo 152-8552, Japan wakita@is.titech.ac.jp Toshiyuki Tsurumi Tokyo Institute of Technolog...
IJCNLP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper proposes a method for detecting errors concerning article usage and singular/plural usage based on the mass count distinction. Although the mass count distinct...
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper furthers the recent investigation of search heuristics based on solution counting information, by proposing and evaluating algorithms to compute solution densi...