|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 646 occurrences of 515 keywords
|
|
|
Results
Found 1452 publication records. Showing 1452 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | Elizabeth Radetic, Martin Pelikan |
Spurious dependencies and EDA scalability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 303-310, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 132-140, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 169-180, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 78-92, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
58 | Mong-Li Lee, Wynne Hsu, Vijay Kothari |
Cleaning the Spurious Links in Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 19(2), pp. 28-33, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
data quality problems, data cleaning, context information |
47 | Nigel J. Duffy, Arun K. Jagota |
Connectionist Password Quality Tester. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(4), pp. 920-922, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 22nd International Conference on Advanced Information Networking and Applications, AINA 2008, GinoWan, Okinawa, Japan, March 25-28, 2008, pp. 1070-1077, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Spurious, TCP, Resource, 802.11e |
41 | Hakjoo Oh |
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 14-29, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Gang Wang, Dewen Hu |
The Existence of Spurious Equilibrium in FastICA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2004, International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I, pp. 708-713, 2004, Springer, 3-540-22841-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Consolee Mbarushimana, Alireza Shahrabi |
A TCP Enhancement for QoS-Aware Mobile Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: Network-Based Information Systems, 2nd International Conference, NBiS 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 101-110, 2008, Springer, 978-3-540-85692-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Spurious, QoS, MANET, TCP, Variant |
39 | A. C. Cem Say |
L'Hôpital's Filter for QSIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(1), pp. 1-8, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 252-262, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(9), pp. 967-971, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(11), pp. 1154-1171, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 113-145, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(11), pp. 5382-5394, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Abstraction Refinement for Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 87-101, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2004, Boston, MA, USA, October 7-13, 2004, pp. 85-96, 2004, ACM, 1-58113-804-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 33(2), pp. 51-63, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics, 4th IAPR International Conference, PRIB 2009, Sheffield, UK, September 7-9, 2009. Proceedings, pp. 113-124, 2009, Springer, 978-3-642-04030-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 78(1), pp. 29-45, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 381-392, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Brandon Rohrer, Neville Hogan |
Avoiding Spurious Submovement Decompositions II: A Scattershot Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 94(5), pp. 409-414, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Kwen-Siong Chong, Bah-Hwee Gwee, Joseph Sylvester Chang |
A micropower low-voltage multiplier with reduced spurious switching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 13(2), pp. 255-265, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Maciej Borkowski, Juha Kostamovaara |
Spurious tone free digital delta-sigma modulator design for DC inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (6) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 5601-5604, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Sourabh Ladha, Stephan Baucke, Reiner Ludwig, Paul D. Amer |
On making SCTP robust to spurious retransmissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 34(2), pp. 123-135, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Sio Weng Ting, Kam-Weng Tam, Rui Paulo Martins |
Novel interdigital microstrip bandpass filter with improved spurious response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 984-987, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Brandon Rohrer, Neville Hogan |
Avoiding spurious submovement decompositions: a globally optimal algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 89(3), pp. 190-199, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | David J. Jeffrey, Albert D. Rich |
The evaluation of trigonometric integrals avoiding spurious discontinuities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 20(1), pp. 124-135, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 20178-20189, 2023, IEEE, 979-8-3503-0718-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.02070, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.04871, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022, 2022, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.00386, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Ikuo Awai |
Wide Band Spurious Suppression of Multi-Strip Resonator BPF - Comprehensive Way to Suppress Spurious Responses in BPFs -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Electron. ![In: IEICE Trans. Electron. 93-C(7), pp. 942-948, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Etienne Ahusborde |
Legendre spectral methods for the -grad (div) operator with free boundary conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 52(2), pp. 151-171, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 579-588, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 15(1-4), pp. 25-59, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 889-892, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 314-317, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 816-821, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1157-1160, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 902-905, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(3), pp. 337-345, 1992. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(4), pp. 412-429, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 193-204, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 17(2), pp. 385-396, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(8), pp. 1175-1183, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Rebecca Schulman, Erik Winfree |
Programmable Control of Nucleation for Algorithmic Self-assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004, Revised Selected Papers, pp. 319-328, 2004, Springer, 3-540-26174-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Badre Izouggaghen, Abdelhakim Khouas, Yvon Savaria |
Spurs modeling in direct digital period synthesizers related to phase accumulator truncation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 389-392, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Harvey D. Thornburg, Randal J. Leistikow |
A New Probabilistic Spectral Pitch Estimator: Exact and MCMC-approximate Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval: Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers, pp. 41-60, 2004, Springer, 3-540-24458-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Helen M. Meng, Carmen Wai, Roberto Pieraccini |
The use of belief networks for mixed-initiative dialog modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 11(6), pp. 757-773, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Jianping Pan 0001, Jon W. Mark, Sherman X. Shen |
TCP Performance and Behaviors with Local Retransmissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 23(3), pp. 225-244, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(6), pp. 721-734, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 10(5), pp. 279-292, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Hüseyin Tek, Benjamin B. Kimia |
Perceptual Organization via the Symmetry Map and Symmetry Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1999 Conference on Computer Vision and Pattern Recognition (CVPR '99), 23-25 June 1999, Ft. Collins, CO, USA, pp. 2471-2477, 1999, IEEE Computer Society, 0-7695-0149-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Spurious Disambiguation Errors and How to Get Rid of Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(2), pp. 355-378, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 960-971, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Kuan-Hung Chen, Yuan-Sun Chu |
A Low-Power Multiplier With the Spurious Power Suppression Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(7), pp. 846-850, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 3518-3521, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 3139-3142, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. ![In: IEEE Netw. 20(6), pp. 24-31, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Colin Molter, Utku Salihoglu, Hugues Bersini |
How to prevent spurious data in a chaotic brain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 638-644, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2005 International Symposium on Low Power Electronics and Design, 2005, San Diego, California, USA, August 8-10, 2005, pp. 155-160, 2005, ACM, 1-59593-137-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 4078-4081, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 626-629, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Luis Freire, Jean-François Mangin |
Motion Correction Algorithms of the Brain Mapping Community Create Spurious Functional Activations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001, Proceedings, pp. 246-258, 2001, Springer, 3-540-42245-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Farhad Babak, Parviz Keshavarzi |
A Novel DDFS Based on Trigonometric Approximation with a Scaling Block. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 102-106, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 663-669, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedings, pp. 544-553, 2009, Springer, 978-3-642-01792-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 927-932, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICoB ![In: Bioinformatics and Computational Biology, First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings, pp. 151-163, 2009, Springer, 978-3-642-00726-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Stan Kelly-Bootle |
All Things Being Equal? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 6(1), pp. 56-, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hirokazu Naoe, Michelle Wetterwald, Christian Bonnet |
Adaptive Packet Combining for IPv6 soft handover applied to Network Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2008, 15-18 September 2008, Cannes, French Riviera, France, pp. 1-5, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Subhajit Roy 0001, Y. N. Srikant |
Improving flow-insensitive solutions for non-separable dataflow problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 211-216, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 428-442, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 3, pp. 122-126, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (2) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops, pp. 121-126, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sundeepkumar Agarwal, Pavankumar V. K., Yokesh R. |
Energy-Efficient, High Performance Circuits for Arithmetic Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India, pp. 371-376, 2008, IEEE Computer Society, 0-7695-3083-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(1), pp. 80-89, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 4(2), pp. 233-250, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(1), pp. 29-42, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 96(1), pp. 1-8, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Bio-inspired Modeling of Cognitive Tasks, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I, pp. 292-302, 2007, Springer, 978-3-540-73052-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 433-448, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 287-300, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 553-563, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Bauer 0001, Tobe Toben, Bernd Westphal |
Mind the Shapes: Abstraction Refinement Via Topology Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 35-50, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Jose, California, USA, August 12-15, 2007, pp. 540-549, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II, pp. 1032-1041, 2007, Springer, 978-3-540-72392-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Cyrille Artho, Christian Sommer 0001, Shinichi Honiden |
Model Checking Networked Programs in the Presence of Transmission Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 219-228, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hui Xiong 0001, Pang-Ning Tan, Vipin Kumar 0001 |
Hyperclique pattern discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 13(2), pp. 219-242, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 137-151, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Barbara König 0001, Vitali Kozioura |
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 197-211, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Weilei Zhang, Barbara G. Ryder |
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA, pp. 63-74, 2006, IEEE Computer Society, 0-7695-2353-6. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 13(9), pp. 1096-1098, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Yongning Tang, Ehab S. Al-Shaer, Raouf Boutaba |
Active integrated fault localization in communication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrated Network Management ![In: Integrated Network Management, IM 2005. 9th IFIP/IEEE International Symposium on Integrated Network Management, 15-19 May 2005, Nice, France, pp. 543-556, 2005, IEEE. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Fernando Godínez, Dieter Hutter, Raúl Monroy |
Audit File Reduction Using N-Gram Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography and Data Security, 9th International Conference, FC 2005, Roseau, The Commonwealth of Dominica, February 28 - March 3, 2005, Revised Papers, pp. 336-340, 2005, Springer, 3-540-26656-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 809-814, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Amir Pnueli |
Ranking Abstraction as a Companion to Predicate Abstraction, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 1, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1452 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|