Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1159
search results - page 15 / 232
»
Binary Decision Graphs
Sort
relevance
views
votes
recent
update
View
thumb
title
69
click to vote
JACIII
2006
45
views
more
JACIII 2006
»
An Application of Binary Decision Trees to Pattern Recognition
15 years 3 months ago
Download
www.fujipress.jp
Noboru Takagi
claim paper
Read More »
96
Voted
ISR
2007
71
views
Distributed And Parallel Com...
»
more
ISR 2007
»
Decision-Centric Active Learning of Binary-Outcome Models
15 years 3 months ago
Download
pages.stern.nyu.edu
Maytal Saar-Tsechansky, Foster J. Provost
claim paper
Read More »
108
Voted
CL
2000
Springer
82
views
Automated Reasoning
»
more
CL 2000
»
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
15 years 3 months ago
Download
www.stoerr.net
Steffen Hölldobler, Hans-Peter Störr
claim paper
Read More »
105
Voted
TC
1998
88
views
Information Technology
»
more
TC 1998
»
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
15 years 3 months ago
Download
www.cs.columbia.edu
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill...
claim paper
Read More »
131
Voted
JSAT
2010
158
views
more
JSAT 2010
»
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond
14 years 10 months ago
Download
www.carstensinz.de
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
Olga Tveretina, Carsten Sinz, Hans Zantema
claim paper
Read More »
« Prev
« First
page 15 / 232
Last »
Next »