Search results for "Spurious"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Elizabeth Radetic, Martin Pelikan	Spurious dependencies and EDA scalability.	GECCO	2010	DBLP DOI BibTeX RDF	gambler's ruin model, initial supply, spurious dependencies, scalability, decision making, estimation of distribution algorithms, population sizing, model accuracy
64	Barbara J. Czerny, Mats Per Erik Heimdahl	Identifying Domain Axioms Using Binary Decision Diagrams.	HASE	1999	DBLP DOI BibTeX RDF	Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
60	Josué Kuri, Gonzalo Navarro 0001	Fast Multipattern Search Algorithms for Intrusion Detection.	SPIRE	2000	DBLP DOI BibTeX RDF	fast multi-pattern search algorithms, pattern occurrence detection, spurious text characters, search state representation, machine word, search state updating, spurious characters, intrusion detection, search problems
59	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang	SAT Based Predicate Abstraction for Hardware Verification.	SAT	2003	DBLP DOI BibTeX RDF
58	Mong-Li Lee, Wynne Hsu, Vijay Kothari	Cleaning the Spurious Links in Data.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF	data quality problems, data cleaning, context information
47	Nigel J. Duffy, Arun K. Jagota	Connectionist Password Quality Tester.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	spurious memories, edit distance, Hopfield networks, string searching
46	Consolee Mbarushimana, Alireza Shahrabi	Resource Efficient TCP: Reducing Contention-Induced Spurious Timeouts in QoS -Aware MANETs.	AINA	2008	DBLP DOI BibTeX RDF	Spurious, TCP, Resource, 802.11e
41	Hakjoo Oh	Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation.	APLAS	2009	DBLP DOI BibTeX RDF
41	Gang Wang, Dewen Hu	The Existence of Spurious Equilibrium in FastICA.	ISNN (1)	2004	DBLP DOI BibTeX RDF
39	Consolee Mbarushimana, Alireza Shahrabi	A TCP Enhancement for QoS-Aware Mobile Ad-Hoc Networks.	NBiS	2008	DBLP DOI BibTeX RDF	Spurious, QoS, MANET, TCP, Variant
39	A. C. Cem Say	L'Hôpital's Filter for QSIM.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	spurious behaviors, state filtering, Qualitative reasoning, qualitative simulation, QSIM
39	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency.	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
39	A. C. Cem Say, Selahattin Kuru	Improved Filtering for the QSIM Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	spurious predictions, qualitative simulation algorithm, interval corresponding values, inconsistent states, simulation, filtering, time complexities, inference mechanisms, filtering and prediction theory, space complexities, QSIM
39	Sudeep Sarkar, Kim L. Boyer	On Optimal Infinite Impulse Response Edge Detection Filters.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	filter width, optimal infinite impulse response edge detection filters, Canny's high signal to noise ratio, localization criteria, spurious response, nonlinear constrained optimization, approximating recursive digital filtering, optimisation, computerised pattern recognition, variational method, digital filters, linear filters, variational techniques
39	José Manuel Colom, Manuel Silva Suárez	Improving the linearly based characterization of P/T nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear descriptions of P/T nets, Structural analysis of P/T nets, Linear state equation, Spurious solutions, Implicit place, Structurally implicit place, Cutting implicit place, Deadlocks and Traps, Linear Programming
34	Ashok Swaminathan, Andrea Panigada, Elias Masry, Ian Galton	A Digital Requantizer With Shaped Requantization Noise That Remains Well Behaved After Nonlinear Distortion.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
34	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Abstraction Refinement for Termination.	SAS	2005	DBLP DOI BibTeX RDF
34	G. Edward Suh, Jae W. Lee, David Zhang 0001, Srinivas Devadas	Secure program execution via dynamic information flow tracking.	ASPLOS	2004	DBLP DOI BibTeX RDF	format string, hardware tagging, buffer overflow
34	Pasi Sarolahti, Markku Kojo, Kimmo E. E. Raatikainen	F-RTO: an enhanced recovery algorithm for TCP retransmission timeouts.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
32	Marco Grzegorczyk, Dirk Husmeier	Avoiding Spurious Feedback Loops in the Reconstruction of Gene Regulatory Networks with Dynamic Bayesian Networks.	PRIB	2009	DBLP DOI BibTeX RDF
32	Michael A. Greminger, Bradley J. Nelson	A Deformable Object Tracking Algorithm Based on the Boundary Element Method that is Robust to Occlusions and Spurious Edges.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Deformable object tracking, Artificial neural networks, Edge detection, Robust statistics, Boundary element method, Robust tracking
32	Claudio Sacerdoti Coen, Stefano Zacchiroli	Spurious Disambiguation Error Detection.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
32	Brandon Rohrer, Neville Hogan	Avoiding Spurious Submovement Decompositions II: A Scattershot Algorithm.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
32	Kwen-Siong Chong, Bah-Hwee Gwee, Joseph Sylvester Chang	A micropower low-voltage multiplier with reduced spurious switching.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
32	Maciej Borkowski, Juha Kostamovaara	Spurious tone free digital delta-sigma modulator design for DC inputs.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
32	Sourabh Ladha, Stephan Baucke, Reiner Ludwig, Paul D. Amer	On making SCTP robust to spurious retransmissions.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
32	Sio Weng Ting, Kam-Weng Tam, Rui Paulo Martins	Novel interdigital microstrip bandpass filter with improved spurious response.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
32	Brandon Rohrer, Neville Hogan	Avoiding spurious submovement decompositions: a globally optimal algorithm.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
32	David J. Jeffrey, Albert D. Rich	The evaluation of trigonometric integrals avoiding spurious discontinuities.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	trigonometric substitution, continuity, computer algebra, symbolic integration
31	Yannic Neuhaus, Maximilian Augustin, Valentyn Boreiko, Matthias Hein 0001	Spurious Features Everywhere - Large-Scale Detection of Harmful Spurious Features in ImageNet.	ICCV	2023	DBLP DOI BibTeX RDF
31	Jun Hyun Nam, Jaehyung Kim, Jaeho Lee 0001, Jinwoo Shin	Spread Spurious Attribute: Improving Worst-group Accuracy with Spurious Attribute Estimation.	CoRR	2022	DBLP DOI BibTeX RDF
31	Yannic Neuhaus, Maximilian Augustin, Valentyn Boreiko, Matthias Hein 0001	Spurious Features Everywhere - Large-Scale Detection of Harmful Spurious Features in ImageNet.	CoRR	2022	DBLP DOI BibTeX RDF
31	Jun Hyun Nam, Jaehyung Kim, Jaeho Lee 0001, Jinwoo Shin	Spread Spurious Attribute: Improving Worst-group Accuracy with Spurious Attribute Estimation.	ICLR	2022	DBLP BibTeX RDF
31	Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval	Spurious Valleys, Spurious Minima and NP-hardness of Sparse Matrix Factorization With Fixed Support.	CoRR	2021	DBLP BibTeX RDF
31	Ikuo Awai	Wide Band Spurious Suppression of Multi-Strip Resonator BPF - Comprehensive Way to Suppress Spurious Responses in BPFs -.	IEICE Trans. Electron.	2010	DBLP DOI BibTeX RDF
30	Etienne Ahusborde	Legendre spectral methods for the -grad (div) operator with free boundary conditions.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	grad (div) operator, Spurious eigenvalues, Stable element, Staggered grids, Spectral methods
30	Fei Ge, Jinwen Ma	Analysis of the Kurtosis-Sum Objective Function for ICA.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Spurious solution, Switching algorithm, Independent component analysis, Kurtosis, Blind signal separation
30	Ana E. Alonso, Anahí Dello Russo, Claudio Padra, Rodolfo Rodríguez	A Posteriori Error Estimates and a Local Refinement Strategy for a Finite Element Method to Solve Structural-Acoustic Vibration Problems.	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF	displacement formulation, spurious-modes free FEM, adaptive mesh refinement, fluid-structure interaction
30	Steve Procter, John Illingworth	ForeSight: Fast Object Recognition Using Geometric Hashing with Edge-Triple Features.	ICIP (1)	1997	DBLP DOI BibTeX RDF	edge-triple features, polyhedral object recognition, fast object recognition, spurious data, connected edges, higher level feature groupings, ForeSight method, point-based geometric hashing, database, object recognition, memory, real images, recognition rate, 2D images, image noise
30	Vicent Caselles, Jose Luis Lisani, Jean-Michel Morel, Guillermo Sapiro	Shape Preserving Local Contrast Enhancement.	ICIP (1)	1997	DBLP DOI BibTeX RDF	shape preserving local contrast enhancement, local histogram equalization algorithm, image level-sets, spurious objects, image connected components, grey-valued images, mathematical morphology, image enhancement, color images, spatial relations, pixels, image information
30	Petia Radeva, Joan Serrat 0002, Enric Martí	A Snake for Model-Based Segmentation.	ICCV	1995	DBLP DOI BibTeX RDF	snake techniques, spurious edge points, snake degeneration, deformation process, snake initialization, local determination, edge orientation, image segmentation, stability, convergence, elasticity, model-based segmentation
30	I. S. I. Abuhaiba, S. Datta, Murray J. J. Holt	Processing of text documents: straight line approximation and lost loop recovery.	ICDAR	1995	DBLP DOI BibTeX RDF	straight line approximation, lost loop recovery, thinned binary images, spurious bifurcation, pattern recognition, document image processing, distance transform, text documents, thinning algorithms
30	Shinji Tsuruoka, Nobuyuki Watanabe, N. Minamide, Fumitaka Kimura, Yasuji Miyake, Malayappan Shridhar	Base line correction for handwritten word recognition.	ICDAR	1995	DBLP DOI BibTeX RDF	base line correction, two-letter state name recognition, full state name recognition, word image normalization, underline removal, spurious blob removal, off-line handwritten words, cursive words, hand-printed words, background region analysis, lower convex hull, merged convex hull, USPS mail address database, image recognition, smoothing, character segmentation, handwritten word recognition, word recognition, slant correction
30	Margaret M. Fleck	Some Defects in Finite-Difference Edge Finders.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	region shape deformation, boundary gaps, finite-difference edge finders, spurious boundaries, pattern recognition, pattern recognition, interference suppression, noise suppression
30	Margaret M. Fleck	Multiple Widths Yield Reliable Finite Differences (Computer Vision).	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	faint images, finite difference edge finder, low-amplitude responses, spurious responses, ideal straight step edge, Gaussian smoothing, blurred features, computer vision, computer vision, noise, noise, integral equations, integral equations, spatial structure
25	Joseph A. Tucek, Weiwei Xiong, Yuanyuan Zhou 0001	Efficient online validation with delta execution.	ASPLOS	2009	DBLP DOI BibTeX RDF	delta execution, patch validation, testing
25	Sylvain Chartier, Mounir Boukadoum	A bidirectional heteroassociative memory for binary and grey-level patterns.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
25	Jiong Luo, Lin Zhong 0001, Yunsi Fei, Niraj K. Jha	Register binding-based RTL power management for control-flow intensive designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
25	Rebecca Schulman, Erik Winfree	Programmable Control of Nucleation for Algorithmic Self-assembly.	DNA	2004	DBLP DOI BibTeX RDF
25	Badre Izouggaghen, Abdelhakim Khouas, Yvon Savaria	Spurs modeling in direct digital period synthesizers related to phase accumulator truncation.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
25	Harvey D. Thornburg, Randal J. Leistikow	A New Probabilistic Spectral Pitch Estimator: Exact and MCMC-approximate Strategies.	CMMR	2004	DBLP DOI BibTeX RDF
25	Helen M. Meng, Carmen Wai, Roberto Pieraccini	The use of belief networks for mixed-initiative dialog modeling.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
25	Jianping Pan 0001, Jon W. Mark, Sherman X. Shen	TCP Performance and Behaviors with Local Retransmissions.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	local retransmission, TCP performance and behavior, simulation, Internet, cellular systems
25	Nicola Nicolici, Bashir M. Al-Hashimi	Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Digital systems testing, design for test, low power circuits
25	Ahmed M. Abdelatty Ali, Jan Van der Spiegel, Paul Mueller	Robust auditory-based speech processing using the average localized synchrony detection.	IEEE Trans. Speech Audio Process.	2002	DBLP DOI BibTeX RDF
25	Hüseyin Tek, Benjamin B. Kimia	Perceptual Organization via the Symmetry Map and Symmetry Transforms.	CVPR	1999	DBLP DOI BibTeX RDF
24	Claudio Sacerdoti Coen, Stefano Zacchiroli	Spurious Disambiguation Errors and How to Get Rid of Them.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	metavariables, user interaction, Ambiguity, semantic analysis
24	Jaehyung Lee 0003, Soobeen Ahn, Hyunseung Choo	BCR: Balanced Congestion Control after Spurious RTO.	ICCSA (1)	2008	DBLP DOI BibTeX RDF
24	Kuan-Hung Chen, Yuan-Sun Chu	A Low-Power Multiplier With the Spurious Power Suppression Technique.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
24	Christian Wicpalek, Thomas Mayer 0003, Linus Maurer, U. Vollenbruch, Tindaro Pittorino, Andreas Springer	Analysis of Spurious Emission and In-Band Phase Noise of an All Digital Phase Locked Loop for RF Synthesis using a Frequency Discriminator.	ISCAS	2007	DBLP DOI BibTeX RDF
24	Kuan-Hung Chen, Yuan-Sun Chu, Yu-Min Chen, Jiun-In Guo	A High-Speed/Low-Power Multiplier Using an Advanced Spurious Power Suppression Technique.	ISCAS	2007	DBLP DOI BibTeX RDF
24	Haijie Huang, Jianfei Cai 0001	Adding network-layer intelligence to mobile receivers for solving spurious TCP timeout during vertical handoff.	IEEE Netw.	2006	DBLP DOI BibTeX RDF
24	Colin Molter, Utku Salihoglu, Hugues Bersini	How to prevent spurious data in a chaotic brain.	IJCNN	2006	DBLP DOI BibTeX RDF
24	Kuan-Hung Chen, Kuo-Chuan Chao, Jinn-Shyan Wang, Yuan-Sun Chu, Jiun-In Guo	An efficient spurious power suppression technique (SPST) and its applications on MPEG-4 AVC/H.264 transform coding design.	ISLPED	2005	DBLP DOI BibTeX RDF	MPEG-4/AVC, direct 2-D integer transform, low-power design, H.264, HDTV, digital cinema
24	Kwen-Siong Chong, Bah-Hwee Gwee, Joseph Sylvester Chang	Low-voltage micropower multipliers with reduced spurious switching.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
24	Antti Heiskanen, Antti Mäntyniemi, Timo Rahkonen	A 30 MHz DDS clock generator with sub-ns time domain interpolator and -50 dBc spurious level.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
24	Luis Freire, Jean-François Mangin	Motion Correction Algorithms of the Brain Mapping Community Create Spurious Functional Activations.	IPMI	2001	DBLP DOI BibTeX RDF
22	Farhad Babak, Parviz Keshavarzi	A Novel DDFS Based on Trigonometric Approximation with a Scaling Block.	ITNG	2009	DBLP DOI BibTeX RDF	phase to sine-amplitude conversion, quadrant phase, quarter symmetry, spurious free dynamic range (SFDR), compression ratio
17	Pascal Anelli, Emmanuel Lochin, Fanilo Harivelo, Dino Martin López-Pacheco	Transport congestion events detection (TCED): towards decorrelating congestion detection from TCP.	SAC	2010	DBLP DOI BibTeX RDF	congestion event, measurements, TCP, transport protocol
17	Jianjiang Feng, Anil K. Jain 0001	FM Model Based Fingerprint Reconstruction from Minutiae Template.	ICB	2009	DBLP DOI BibTeX RDF	Fingerprint synthesis, fingerprint reconstruction, AM-FM, minutiae, orientation field
17	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Automatic Construction of Complete Abstraction by Abstract Interpretation.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
17	Doruk Bozdag, Jeffrey D. Parvin, Ümit V. Çatalyürek	A Biclustering Method to Discover Co-regulated Genes Using Diverse Gene Expression Datasets.	BICoB	2009	DBLP DOI BibTeX RDF
17	Stan Kelly-Bootle	All Things Being Equal?	ACM Queue	2008	DBLP DOI BibTeX RDF
17	Hirokazu Naoe, Michelle Wetterwald, Christian Bonnet	Adaptive Packet Combining for IPv6 soft handover applied to Network Mobility.	PIMRC	2008	DBLP DOI BibTeX RDF
17	Subhajit Roy 0001, Y. N. Srikant	Improving flow-insensitive solutions for non-separable dataflow problems.	SAC	2008	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis
17	Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun	Accelerating Interpolation-Based Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
17	Qiuhua Zheng, Weihua Hu, Yuntao Qian, Min Yao, Xianglin Wang, Jing Chen	A Novel Approach for Network Event Correlation Based on Set Covering.	FSKD (3)	2008	DBLP DOI BibTeX RDF
17	Chien-Pen Chuang, Tin-Ying Huang, Li-Chi Yeh	Encryption and Decryption with Space Transformation for Bi-directional Association.	EUC (2)	2008	DBLP DOI BibTeX RDF
17	Sundeepkumar Agarwal, Pavankumar V. K., Yokesh R.	Energy-Efficient, High Performance Circuits for Arithmetic Units.	VLSI Design	2008	DBLP DOI BibTeX RDF
17	Afshin Abdollahi, Farzan Fallah, Massoud Pedram	A Robust Power Gating Structure and Power Mode Transition Strategy for MTCMOS Design.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
17	Wenyuan Li 0005, Ying Liu 0007, Hung-Chung Huang, Yanxiong Peng, Yongjing Lin, Wee Keong Ng, Kok-Leong Ong	Dynamical Systems for Discovering Protein Complexes and Functional Modules from Biological Networks.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	bioinformatics databases, evolutionary computing, Graph algorithms, neural nets
17	Yi-Hung Wu, Chia-Ming Chiang, Arbee L. P. Chen	Hiding Sensitive Association Rules with Limited Side Effects.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	rule hiding, data mining, Association rules, mining methods and algorithms
17	Peter U. Tse, P.-J. Hsieh	Component and intrinsic motion integrate in 'dancing bar' illusion.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
17	Enrique Mérida Casermeiro, Domingo López-Rodríguez, Gloria Galán Marín, Juan Miguel Ortiz-de-Lazcano-Lobato	Theoretical Study on the Capacity of Associative Memory with Multiple Reference Points.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
17	Marc Segelken	Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models.	CAV	2007	DBLP DOI BibTeX RDF	automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking
17	Sumit Kumar Jha 0001, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.	HSCC	2007	DBLP DOI BibTeX RDF
17	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.	ATVA	2007	DBLP DOI BibTeX RDF
17	Jörg Bauer 0001, Tobe Toben, Bernd Westphal	Mind the Shapes: Abstraction Refinement Via Topology Invariants.	ATVA	2007	DBLP DOI BibTeX RDF
17	Gaurav Pandey 0002, Michael S. Steinbach, Rohit Gupta 0003, Tushar Garg, Vipin Kumar 0001	Association analysis-based transformations for protein interaction networks: a function prediction case study.	KDD	2007	DBLP DOI BibTeX RDF	h-confidence, noise reduction, protein interaction networks, association analysis, protein function prediction
17	Zhaoshui He, Andrzej Cichocki	An Efficient K -Hyperplane Clustering Algorithm and Its Application to Sparse Component Analysis.	ISNN (2)	2007	DBLP DOI BibTeX RDF
17	Cyrille Artho, Christian Sommer 0001, Shinichi Honiden	Model Checking Networked Programs in the Presence of Transmission Failures.	TASE	2007	DBLP DOI BibTeX RDF
17	Hui Xiong 0001, Pang-Ning Tan, Vipin Kumar 0001	Hyperclique pattern discovery.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	Pattern Mining, Association analysis, Hyperclique patterns
17	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
17	Barbara König 0001, Vitali Kozioura	Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.	TACAS	2006	DBLP DOI BibTeX RDF
17	Weilei Zhang, Barbara G. Ryder	Constructing Accurate Application Call Graphs For Java To Model Library Callbacks.	SCAM	2006	DBLP DOI BibTeX RDF
17	Ashkan Ashrafi, Reza R. Adhami	Comments on "A 13-bit resolution ROM-less direct digital frequency synthesizer based on a trigonometric quadruple angle formula".	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
17	Yongning Tang, Ehab S. Al-Shaer, Raouf Boutaba	Active integrated fault localization in communication networks.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
17	Fernando Godínez, Dieter Hutter, Raúl Monroy	Audit File Reduction Using N-Gram Models.	Financial Cryptography	2005	DBLP DOI BibTeX RDF
17	Osamu Matsumoto, Hisashi Harada, Yasuo Morimoto, Toshio Kumamoto, Takahiro Miki, Masao Hotta	An 11-bit 160-MS/s 1.35-V 10-mW D/A converter using automated device sizing system.	ASP-DAC	2005	DBLP DOI BibTeX RDF
17	Amir Pnueli	Ranking Abstraction as a Companion to Predicate Abstraction, .	ATVA	2005	DBLP DOI BibTeX RDF