628 search results - page 26 / 126 » Magic Counting Methods |
209
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
111
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
DIS
2001
Springer
15 years 6 months ago
2001
Springer
We propose a preprocessing method for Web mining which, given semi-structured documents with the same structure and style, distinguishes useless parts and non-useless parts in each...
130
Voted
AAAI
2008
15 years 4 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...