MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Binary Decision Graph." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Binary Decision Graphs
by Laurent Mauborgne — 1999 — Static Analyis Symposium SAS’99, LNCS 1694
…Binary Decision Graphs Laurent Mauborgne LIENS -- DMI, ' Ecole Normale Sup'erieure, 45 rue d…
Cited by 3 (2 self) – Add To MetaCart

Groundness Analysis for Prolog: Implementation and Evaluation of the Domain Prop
by Baudouin Le Charlier, Baudouin Le Charlier, Pascal Van Hentenryck, Pascal Van Hentenryck — 1992 — In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
… feature of the implementation is the use of ordered binary decision graphs to provide a compact…
Cited by 17 (2 self) – Add To MetaCart

Object recognition and detection by a combination of support vector machine and rotation invariant phase only correlation
by Chikahito Nakajima, Norihiko Itoh, Massimiliano Pontil, Tomaso Poggio — 2000 — In Proceedings of International Conference on Pattern Recognition
…+G", suggested by physiological Figure 3. An example of a training data set forSVM. Figure 4. A decision graph…
Cited by 5 (1 self) – Add To MetaCart

Object Recognition and Detection by a Combination of Support Vector Machine and Rotation Invariant Phase Only Correlation
by Chikahito Nakajima Norihiko, Norihiko Itoh, Massimiliano Pontil, Tomaso Poggio — 2000 — In Proceedings of International Conference on Pattern Recognition
… binary decision graph of SVMs is also discussed in [5]. In both cases, classification of an input vector…
Add To MetaCart

Abstract interpretation based formal methods and future challenges
by Patrick Cousot — 2001 — INFORMATICS — 10 YEARS BACK, 10 YEARS AHEAD, VOLUME 2000 OF LECTURE NOTES IN COMPUTER SCIENCE
…; 549) usingBinary Decision Graphs and Tree Schemata to abstract infinite sets of infinite trees…
Cited by 15 (4 self) – Add To MetaCart

Tree schemata and fair termination
by Laurent Mauborgne — 2000 — Proc. 7 th Int. Symp. SAS ’2000, Santa Barbara, CA, US, LNCS 1824
…, if the relation is regular enough. Binary Decision Graphs In [16], a new class of infinite relations is defined…
Cited by 4 (1 self) – Add To MetaCart

Tree Schemata and Fair Termination
by Laurent Mauborgne Liens, Laurent Mauborgne — 2000 — Proc. 7 th Int. Symp. SAS ’2000, Santa Barbara, CA, US, LNCS 1824
…. This allows the use of a finite number of names, if the relation is regular enough. Binary Decision Graphs…
Add To MetaCart

MML inference of decision graphs with multi-way joins
by Peter J. Tan, David L — 2003 — In Proc. 15th Australian Joint Conf. on AI, LNAI 2557 (Springer
… trees to decision graphs or graph-like systems. A binary decision graph scheme using MML was introduced…
Cited by 8 (5 self) – Add To MetaCart

Design Issues for Mixed-Initiative Agent Systems
by Thomas C. Hartrum , Scott A. DeLoach — 1999
… decisions, graphs and other graphical representations, etc. A Proposed Human/agent Model We propose…
Cited by 7 (0 self) – Add To MetaCart

Design Issues for Mixed-Initiative Agent Systems
by Thomas Hartrum And — 1999
… decisions, graphs and other graphical representations, etc. A Proposed Human/agent Model We propose…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB