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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
646
search results - page 23 / 130
»
Hybrid decision diagrams
Sort
relevance
views
votes
recent
update
View
thumb
title
37
click to vote
AWPN
2008
238
views
Algorithms
»
more
AWPN 2008
»
Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams
13 years 10 months ago
Download
ftp.informatik.rwth-aachen.de
Martin Schwarick
claim paper
Read More »
25
click to vote
FORTE
2003
105
views
Formal Methods
»
more
FORTE 2003
»
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
13 years 10 months ago
Download
mtc.epfl.ch
Dirk Beyer, Andreas Noack
claim paper
Read More »
7
click to vote
IEICET
2007
63
views
more
IEICET 2007
»
XML Framework for Various Types of Decision Diagrams for Discrete Functions
13 years 8 months ago
Download
www.stane-island.net
Stanislav Stankovic, Jaakko Astola
claim paper
Read More »
23
click to vote
TCAD
2008
116
views
more
TCAD 2008
»
Scalable Synthesis and Clustering Techniques Using Decision Diagrams
13 years 8 months ago
Download
www.eecg.toronto.edu
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
claim paper
Read More »
26
click to vote
CL
2000
Springer
82
views
Automated Reasoning
»
more
CL 2000
»
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
13 years 8 months ago
Download
www.stoerr.net
Steffen Hölldobler, Hans-Peter Störr
claim paper
Read More »
« Prev
« First
page 23 / 130
Last »
Next »