Search results for "image computation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for software verification.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Model checking, formal verification, binary decision diagram, reachability analysis, image computation
3	André Platzer, Edmund M. Clarke	The Image Computation Problem in Hybrid Systems Model Checking.	HSCC	2007	DBLP DOI BibTeX RDF	model checking, hybrid systems, image computation
3	Kameshwar Chandrasekar, Michael S. Hsiao	Forward image computation with backtracing ATPG and incremental state-set construction.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	model checking, ATPG, image computation, ZBDDs
3	Chao Wang, Gary D. Hachtel, Fabio Somenzi	The Compositional Far Side of Image Computation.	ICCAD	2003	DBLP DOI BibTeX RDF	Model checking, Binary Decision Diagrams, Symbolic, image computation
3	George C. Stockman, J. Weng	Coursework in image computation for undergraduates. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	coursework, multimedia computer power, application projects, computer vision, image processing, image processing, computer science education, computing, image modelling, image manipulation, educational courses, undergraduates, image computation
2	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for embedded software verification.	DATE	2006	DBLP DOI BibTeX RDF
2	David Ward, Fabio Somenzi	Decomposing image computation for symbolic reachability analysis using control flow information.	ICCAD	2006	DBLP DOI BibTeX RDF
2	Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter Robinson	Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.	FM	2006	DBLP DOI BibTeX RDF	partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings
2	Zijiang Yang, Rajeev Alur	Variable Reuse for Efficient Image Computation.	FMCAD	2004	DBLP DOI BibTeX RDF
2	Constantinos Bartzis, Tevfik Bultan	Efficient Image Computation in Infinite State Model Checking.	CAV	2003	DBLP DOI BibTeX RDF
2	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Dynamic Scheduling and Clustering in Symbolic Image Computation.	DATE	2002	DBLP DOI BibTeX RDF
2	Christoph Meinel, Christian Stangier	A new partitioning scheme for improvement of image computation.	ASP-DAC	2001	DBLP DOI BibTeX RDF
2	In-Ho Moon, Gary D. Hachtel, Fabio Somenzi	Border-Block Triangular Form and Conjunction Schedule in Image Computation.	FMCAD	2000	DBLP DOI BibTeX RDF
2	Christoph Meinel, Christian Stangier	Speeding Up Image Computation by Using RTL Information.	FMCAD	2000	DBLP DOI BibTeX RDF
2	Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta	SAT-Based Image Computation with Application in Reachability Analysis.	FMCAD	2000	DBLP DOI BibTeX RDF
2	In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi	To split or to conjoin: the question in image computation.	DAC	2000	DBLP DOI BibTeX RDF
2	Yu-Hua Lee, Shi-Jinn Horng	The Chessboard Distance Transform and the Medial Axis Transform are Interchangeable. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF	chessboard distance transform, interchangeable transforms, image computation tools, shape information extraction, foreground pixel positions, image expanding, image shrinking, image thinning, shape factor computation, Euclidean distance metric, chessboard distance metric, computer vision, parallel algorithms, parallel algorithms, image processing, image processing, transforms, medial axis transform, Euclidean distance transforms
1	Ming-Ying Chung, Gianfranco Ciardo	Speculative Image Computation for Distributed Symbolic Reachability Analysis.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Berkin Bilgic, Berthold K. P. Horn, Ichiro Masaki	Efficient integral image computation on the GPU.	Intelligent Vehicles Symposium	2010	DBLP DOI BibTeX RDF
1	Mirko Felisa, Paolo Zani	Incremental disparity space image computation for automotive applications.	IROS	2009	DBLP DOI BibTeX RDF
1	Thao Dang, David Salinas	Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion.	CAV	2009	DBLP DOI BibTeX RDF
1	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic	Model checking sequential software programs via mixed symbolic analysis.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation
1	Avi Yadgar, Orna Grumberg, Assaf Schuster	Hybrid BDD and All-SAT Method for Model Checking.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
1	Marvin Lindner, Andreas Kolb	Compensation of Motion Artifacts for Time-of-Flight Cameras.	Dyn3D	2009	DBLP DOI BibTeX RDF
1	Shih-Ying Lin, Shi-Jinn Horng, Tzong-Wann Kao, Chin-Shyurng Fahn, Pingzhi Fan, Cheng-Ling Lee, Anu G. Bourgeois	3D Block-Based Medial Axis Transform and Chessboard Distance Transform on the CREW PRAM.	ICA3PP	2008	DBLP DOI BibTeX RDF	CREW, block-based medial axis transform, chessboard distance transform, parallel algorithm, image processing, Euclidean distance transform, PRAM model
1	Daniel Kroening, Natasha Sharygina	Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.	DATE	2007	DBLP DOI BibTeX RDF
1	Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian	Trace Compaction using SAT-based Reachability Analysis.	ASP-DAC	2007	DBLP DOI BibTeX RDF
1	Pablo Arias, Gregory Randall, Guillermo Sapiro	Connecting the Out-of-Sample and Pre-Image Problems in Kernel Methods.	CVPR	2007	DBLP DOI BibTeX RDF
1	Arijit Bishnu, Bhargab B. Bhattacharya	Stacked Euler Vector (SERVE): A Gray-Tone Image Feature Based on Bit-Plane Augmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	bit-plane graph, combinatorial feature, CBIR, Euler number
1	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	VCEGAR: Verilog CounterExample Guided Abstraction Refinement.	TACAS	2007	DBLP DOI BibTeX RDF
1	Kanupriya Gulati, M. Lovell, Sunil P. Khatri	Efficient don't care computation for hierarchical designs.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain	On partitioning and symbolic model checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna	Efficient Strongly Relational Polyhedral Analysis.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Arijit Bishnu, Bhargab B. Bhattacharya, Malay Kumar Kundu, C. A. Murthy, Tinku Acharya	Euler vector for search and retrieval of gray-tone images.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2005	DBLP DOI BibTeX RDF
1	Ranjit Jhala, Kenneth L. McMillan	Interpolant-Based Transition Relation Approximation.	CAV	2005	DBLP DOI BibTeX RDF
1	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Andy Jinqing Yu	Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.	CHARME	2005	DBLP DOI BibTeX RDF
1	Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster	Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation.	CHARME	2005	DBLP DOI BibTeX RDF
1	Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain	On Partitioning and Symbolic Model Checking.	FM	2005	DBLP DOI BibTeX RDF	state partitioning, BDD, Symbolic Model Checking, CTL
1	Alain Finkel, Jérôme Leroux	Polynomial Time Image Computation with Interval-Definable Counters Systems.	SPIN	2004	DBLP DOI BibTeX RDF
1	Alain Finkel, Jérôme Leroux	Image Computation in Infinite State Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
1	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	Efficient reachability checking using sequential SAT.	ASP-DAC	2004	DBLP DOI BibTeX RDF
1	Lun Li, Mitchell A. Thornton, Stephen A. Szygenda	A Genetic Approach for Conjunction Scheduling in Symbolic Equivalence Checking.	ISVLSI	2004	DBLP DOI BibTeX RDF
1	Pascal Haigron, Marc-Emmanuel Bellemare, Oscar Acosta, Cemil Göksu, Carine Kulik, K. Rioual, Antoine Lucas	Depth-map-based scene analysis for active navigation in virtual angioscopy.	IEEE Trans. Med. Imaging	2004	DBLP DOI BibTeX RDF
1	Orna Grumberg, Assaf Schuster, Avi Yadgar	Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Vito Pascazio, Giancarlo Ferraiuolo	Statistical regularization in linearized microwave imaging through MRF-based MAP estimation: hyperparameter estimation and image computation.	IEEE Transactions on Image Processing	2003	DBLP DOI BibTeX RDF
1	Kirsten Cater, Alan Chalmers, Colin Dalton	Varying rendering fidelity by exploiting human change blindness.	GRAPHITE	2003	DBLP DOI BibTeX RDF	interactive rendering of dynamic scenes and image quality, task related realistic rendering, human visual perception, change blindness
1	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement in Model Checking.	CADE	2003	DBLP DOI BibTeX RDF
1	Christoph Meinel, Christian Stangier	Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation.	IWLS	2002	DBLP BibTeX RDF
1	Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang	Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.	FMCAD	2002	DBLP DOI BibTeX RDF
1	In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley	Simplifying Circuits for Formal Verification Using Parametric Representation.	FMCAD	2002	DBLP DOI BibTeX RDF
1	HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi	Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.	TACAS	2002	DBLP DOI BibTeX RDF
1	Christoph Meinel, Christian Stangier	Modular Partitioning for Improvement of Image Computation	Universität Trier, Mathematik/Informatik, Forschungsbericht	2001	RDF
1	Bruce A. Draper, J. Ross Beveridge	Teaching Image Computation: From Computer Graphics to Computer Vision.	IJPRAI	2001	DBLP BibTeX RDF
1	Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar	Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.	DAC	2001	DBLP DOI BibTeX RDF
1	Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang	Non-linear Quantification Scheduling in Image Computation.	ICCAD	2001	DBLP BibTeX RDF
1	Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik	Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.	ICCAD	2001	DBLP BibTeX RDF
1	Christoph Meinel, Christian Stangier	Hierarchical Image Computation with Dynamic Conjunction Scheduling.	ICCD	2001	DBLP BibTeX RDF
1	S. Reda, Ayman M. Wahba, Ashraf M. Salem, Dominique Borrione, M. Ghonaimy	On the use of don't cares during symbolic reachability analysis.	ISCAS	2001	DBLP DOI BibTeX RDF
1	Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang	Using Combinatorial Optimization Methods for Quantification Scheduling.	CHARME	2001	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Stefano Quer, Fabio Somenzi	Optimizing sequential verification by retiming transformations.	DAC	2000	DBLP DOI BibTeX RDF
1	Jin Yang, Andreas Tiemeyer	Lazy symbolic model checking.	DAC	2000	DBLP DOI BibTeX RDF
1	Hiroyuki Higuchi, Fabio Somenzi	Lazy group sifting for efficient symbolic state traversal of FSMs.	ICCAD	1999	DBLP BibTeX RDF
1	Sani R. Nassif, Tuyen V. Nguyen	SOI technology and tools (abstract).	ICCAD	1999	DBLP BibTeX RDF
1	Karsten Strehl, Lothar Thiele	Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.	DATE	1999	DBLP DOI BibTeX RDF
1	Sudeep Sarkar, Dmitry B. Goldgof	Integrating Image Computation in Undergraduate Level Data-Structure Education.	IJPRAI	1998	DBLP BibTeX RDF
1	Robin R. Murphy	Teaching Image Computation in an Upper Level Elective on Robotics.	IJPRAI	1998	DBLP BibTeX RDF
1	Felice Balarin	Verifying invariants by approximate image computation.	Electr. Notes Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer	Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits.	DAC	1997	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Paolo Camurati	Symbolic FSM traversals based on the transition relation.	IEEE Trans. on CAD of Integrated Circuits and Systems	1997	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Improved reachability analysis of large finite state machines.	ICCAD	1996	DBLP DOI BibTeX RDF	Sequential Logic Synthesis and Verification
1	Michael A. Shantzis	A model for efficient and flexible image computing.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	compositing, filtering, resampling, special effects, image computing
1	Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel	Exact calculation of synchronizing sequences based on binary decision diagrams.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
1	Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang	Higher-Level Specification and Verification with BDDs.	CAV	1992	DBLP DOI BibTeX RDF
1	Allan L. Fisher	Scan Line Array Processors for Image Computation.	ISCA	1986	DBLP DOI BibTeX RDF