524 search results - page 85 / 105 » Context Trees |
SAC
2005
ACM
14 years 28 days ago
2005
ACM
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
BIRTHDAY
2005
Springer
14 years 28 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
SSD
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. A top-k OLAP query groups measures with respect to some abstraction level of interesting dimensions and selects the k groups with the highest aggregate value. An example ...
DIAGRAMS
2004
Springer
14 years 23 days ago
2004
Springer
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
ICRA
2003
IEEE
14 years 20 days ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...