Search results for "redundancies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Jingwen Jin, Klara Nahrstedt	On Exploring Performance Optimizations in Web Service Composition.	Middleware	2004	DBLP DOI BibTeX RDF	application-level routing, QoS, multicast, service composition, overlay networks
10	Fabrizio Ferrandi, Franco Fummi, Graziano Pravadelli, Donatella Sciuto	Identification of design errors through functional testing.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
10	Chih-Tsun Huang, Chi-Feng Wu, Jin-Fu Li 0001, Cheng-Wen Wu	Built-in redundancy analysis for memory yield improvement.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
10	Yihong Gong, Xin Liu 0046	Video summarization and retrieval using singular value decomposition.	Multim. Syst.	2003	DBLP DOI BibTeX RDF	Singular value decomposition, Video retrieval, Video summarization, Color histograms
10	Adam Pease, John Li	Agent-Mediated Knowledge Engineering Collaboration.	AMKM	2003	DBLP DOI BibTeX RDF
10	Qiong Cai, Jingling Xue	Optimal and Efficient Speculation-Based Partial Redundancy Elimination.	CGO	2003	DBLP DOI BibTeX RDF
10	Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi	A New Inlining Algorithm for Mapping XML DTDs to Relational Schemas.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
10	Emmanuel Adam, René Mandiau	Bringing Multi-agent Systems into Human Organizations: Application to a Multi-agent Information System.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
10	Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool	Partial Redundancy Elimination with Predication Techniques.	Euro-Par	2003	DBLP DOI BibTeX RDF
10	Ajay Pandey, Nader Kameli, Abraham Eapen, Corey Miklos, Francoise Boudigou, Imelda Sutedjo, Manoj Paul, Vivek Vijay, Wesley Mcdermott	Application of Tightly Coupled Engineering Team for Development of Test Automation Software - A Real World Experience.	COMPSAC	2003	DBLP DOI BibTeX RDF
10	Gersende Georg, Brigitte Séroussi, Jacques Bouaud	Managing Theoretical Single-Disease Guideline Recommendations for Actual Multiple-Disease Patients.	AIME	2003	DBLP DOI BibTeX RDF
10	Sylvie Guillaume	Ordinal Association Rules towards Association Rules.	DaWaK	2003	DBLP DOI BibTeX RDF	implicative analysis and numeric attributes, Association rules, interestingness measures
10	Li-Chang Liu, Jong-Chih Chien, Henry Y. H. Chuang, Ching-Chung Li	A Frame-Level FSBM Motion Estimation Architecture with Large Search Range.	AVSS	2003	DBLP DOI BibTeX RDF
10	Frédéric Muller	A New Attack against Khazad.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
10	Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno	Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony.	SAINT	2003	DBLP DOI BibTeX RDF
10	G. Sampath	A Block Coding Method that Leads to Significantly Lower Entropy Values for the Proteins and Coding Sections of Haemophilus influenzae.	CSB	2003	DBLP DOI BibTeX RDF
10	Manuela Pereira, Annabelle Gouze, Marc Antonini, Michel Barlaud	Multiple Description Coding for Quincunx Images. Application to Satellite Transmission.	HSNMC	2003	DBLP DOI BibTeX RDF
10	Alin Deutsch, Val Tannen	Reformulation of XML Queries and Constraints.	ICDT	2003	DBLP DOI BibTeX RDF
10	Paolo Busetta, Mattia Merzi, Silvia Rossi 0002, François Legras	Intra-role Coordination Using Group Communication: A Preliminary Report.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
10	Hai Zhuge, Yunchuan Sun, Weiyu Guo	Theory and Algorithm for Rule Base Refinement.	IEA/AIE	2003	DBLP DOI BibTeX RDF
10	Dmitry Furman, Moshe Porat	On Content-Based Very Low Bitrate Video Coding.	VLBV	2003	DBLP DOI BibTeX RDF
10	Steven Noel, Sushil Jajodia, Brian O'Berry, Michael Jacobs 0001	Efficient Minimum-Cost Network Hardening Via Exploit Dependency Graphs.	ACSAC	2003	DBLP DOI BibTeX RDF
10	Jason Teo, Hussein A. Abbass	Software Verification of Redundancy in Neuro-Evolutionary Robotics.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
10	P. Corradini, C. Cacciari	The Effect of Workload and Workshift on Air Traffic Control: A Taxonomy of Communicative Problems.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Air traffic control (ATC), Aviation psychology, Workshift, Communication, Human factors, Workload
10	Giansalvatore Mecca, Alberto O. Mendelzon, Paolo Merialdo	Efficient Queries over Web Views.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Web, query optimization, query languages, view maintenance
10	Gerry Melnikov, Aggelos K. Katsaggelos	A jointly optimal fractal/DCT compression scheme.	IEEE Trans. Multim.	2002	DBLP DOI BibTeX RDF
10	Aditya Vailaya, HongJiang Zhang, Changjiang Yang, Feng-I Liu, Anil K. Jain 0001	Automatic image orientation detection.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
10	Krishna Ratakonda, Narendra Ahuja	Lossless image compression with multiscale segmentation.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
10	Sihem Amer-Yahia, SungRan Cho, Laks V. S. Lakshmanan, Divesh Srivastava	Tree pattern query minimization.	VLDB J.	2002	DBLP DOI BibTeX RDF	Query minimization, XML, Tree patterns
10	Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	A Formal Framework for Reasoning on UML Class Diagrams.	ISMIS	2002	DBLP DOI BibTeX RDF
10	Abdelwahab Hamou-Lhadj, Timothy Lethbridge	Compression Techniques to Simplify the Analysis of Large Execution Traces.	IWPC	2002	DBLP DOI BibTeX RDF
10	Kathleen Cummings	Reinventing support services: transcending the centralized-decentralized support model debate.	SIGUCCS	2002	DBLP DOI BibTeX RDF	help desk software, support politics, training and documentation, desktop support
10	Marcelo Arenas, Leonid Libkin	A Normal Form for XML Documents. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
10	Bernd O. Christiansen, Klaus E. Schauser	Fast Motion Detection for Thin Client Compression.	DCC	2002	DBLP DOI BibTeX RDF	lossless synthetic image compression, image sequence coding, block motion detection, thin client computing
10	Ashish Jagmohan, Krishna Ratakonda	Multiple Description Coding of Predictively Encoded Sequences.	DCC	2002	DBLP DOI BibTeX RDF	Predictive Encoding, Multiple Description Coding
10	José Alexandre Nalon, João Baptista T. Yabu-uti	Compression of Quincunx Subbands.	SIBGRAPI	2002	DBLP DOI BibTeX RDF
10	Jack Y. B. Lee, Raymond W. T. Leung	Design and Analysis of a Fault-Tolerant Mechanism for a Server-Less Video-On-Demand System.	ICPADS	2002	DBLP DOI BibTeX RDF
10	Luc Jaulin	Consistency Techniques for the Localization of a Satellite.	COCOS	2002	DBLP DOI BibTeX RDF
10	Dale Scott Caffall, James Bret Michael	A New Paradigm for Requirements Specification and Analysis of System-of-Systems.	RISSEF	2002	DBLP DOI BibTeX RDF
10	Jae-Won Suh, Yo-Sung Ho	Motion Vector Recovery for Error Concealment Based on Macroblock Distortion Modeling.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
10	Sylvie Guillaume	Discovery of Ordinal Association Rules.	PAKDD	2002	DBLP DOI BibTeX RDF	implicative analysis, association rules, interestingness measures, numeric attributes
10	Marta Wilczkowiak, Edmond Boyer, Peter F. Sturm	3D Modelling Using Geometric Constraints: A Parallelepiped Based Approach.	ECCV (4)	2002	DBLP DOI BibTeX RDF
10	Shree K. Nayar, Srinivasa G. Narasimhan	Assorted Pixels: Multi-sampled Imaging with Structural Models.	ECCV (4)	2002	DBLP DOI BibTeX RDF
10	Frank C. Langbein, A. David Marshall, Ralph R. Martin	Numerical Methods for Beautification of Reverse Engineered Geometric Models.	GMP	2002	DBLP DOI BibTeX RDF	Numerical Constraint Solver, Reverse Engineering, Geometric Constraints, Beautification
10	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Gustavo Alonso	Non-Intrusive, Parallel Recovery of Replicated Data.	SRDS	2002	DBLP DOI BibTeX RDF
10	Charles D. Creusere	Compression of digital elevation maps using nonlinear wavelets.	ICIP (3)	2001	DBLP DOI BibTeX RDF
10	Franz Baader, Ralf Küsters	Unification in a Description Logic with Transitive Closure of Roles.	LPAR	2001	DBLP DOI BibTeX RDF
10	Mong-Li Lee, Sin Yeung Lee, Tok Wang Ling, Gillian Dobbie, Leonid A. Kalinichenko	Designing Semistructured Databases: A Conceptual Approach.	DEXA	2001	DBLP DOI BibTeX RDF
10	Alfred V. Gomes, Abhijit Chatterjee	Distance Constrained Dimensionality Reduction for Parametric Fault Test Generator.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
10	Manel Fernández, Roger Espasa, Saumya K. Debray	Load Redundancy Elimination on Executable Code.	Euro-Par	2001	DBLP DOI BibTeX RDF
10	Sihem Amer-Yahia, SungRan Cho, Laks V. S. Lakshmanan, Divesh Srivastava	Minimization of Tree Pattern Queries.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
10	Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau	Low-Cost Flexible Software Fault Tolerance for Distributed Computing.	ISSRE	2001	DBLP DOI BibTeX RDF
10	Kenneth L. Ehresman, Joey L. Frantzen	Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck.	SIGAda	2001	DBLP DOI BibTeX RDF	Contact Avoidance, GtkAda, Maneuvering Board, Officer of the Deck Aid, U.S. Navy, UML, Ada, Navigation, Model-View-Controller, GNAT
10	Guna Seetharaman, Samia Bouchafa, Bertrand Y. Zavidovique	Concurrent Edge/Region Detection from a Peano Scan.	ICIAP	2001	DBLP DOI BibTeX RDF
10	Jens Happe	The MODPROF Theorem Prover.	IJCAR	2001	DBLP DOI BibTeX RDF
10	Robert J. Full	Using Biological Inspiration to Build Artificial Life That Locomotes.	EvoRobots	2001	DBLP DOI BibTeX RDF
10	Giang T. Nguyen 0001, Ladislav Hluchý, Viet D. Tran, Margaréta Kotocová	DDG Task Recovery for Cluster Computing.	PPAM	2001	DBLP DOI BibTeX RDF
10	Shyue-Kung Lu, Chih-Hsien Hsu	Built-In self-repair for divided word line memory.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
10	Farhad Daneshgar	A Methodology for Redesigning the Collaborative Processes with Undesirable Multi-way Task Dependency.	ICOIN	2001	DBLP DOI BibTeX RDF
10	Hyun Mun Kim, Tinku Acharya	CAS: Context Adaptive Search for Motion Estimation.	ITCC	2001	DBLP DOI BibTeX RDF
10	Chih-Hsien Hsu, Shyue-Kung Lu, Sy-Yen Kuo	Novel Fault-Tolerant Techniques for High Capacity RAMs.	PRDC	2001	DBLP DOI BibTeX RDF	divided bit-line, divided word-line, fault tolerance and redundancy, built-in self-repair
10	Jian-Kun Zhao, Jeffrey A. Newquist, Janak H. Patel	A Graph Traversal Based Framework For Sequential Logic Implication With An Application To C-Cycle Redundancy Identification.	VLSI Design	2001	DBLP DOI BibTeX RDF
10	Jérôme Mbainaibeye, Noureddine Ellouze	Embedded Zerotree Wavelet Coding of Image Sequence.	WAA	2001	DBLP DOI BibTeX RDF
10	Harvey P. Siy, Lawrence G. Votta	Does the Modern Code Inspection Have Value?	ICSM	2001	DBLP DOI BibTeX RDF
10	Xiaolin Wu 0001, Nasir D. Memon	Context-based lossless interband compression-extending CALIC.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
10	Hsuan T. Chang, Chung J. Kuo	Iteration-free fractal image coding based on efficient domain pool design.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
10	Kabir Gulrajani, Michael S. Hsiao	Multi-Node Static Logic Implications for Redundancy Identification.	DATE	2000	DBLP DOI BibTeX RDF
10	Yves Bastide, Nicolas Pasquier, Rafik Taouil, Gerd Stumme, Lotfi Lakhal	Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets.	Computational Logic	2000	DBLP DOI BibTeX RDF
10	Anatoli Degtyarev, Andrei Voronkov	Stratified Resolution.	CADE	2000	DBLP DOI BibTeX RDF
10	Angel Domingo Sappa, Luiz M. Garcia	Towards Real-Time Image Segmentation using Polynomial Functions.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	real-time image segmentation, fast scan line procedure, 2D segmentation problem, 1D segmentation problem, 1D boundaries, image columns, image rows, false boundary removal, multi-resolution approach, image segmentation, regions of interest, redundancy removal, robotics applications, polynomial functions, fusion method
10	Pere Marès Martí, Antonio B. Martínez Velasco	Memory Architecture for Parallel Line Drawing Based on Non Incremental Algorithm.	EUROMICRO	2000	DBLP DOI BibTeX RDF
10	Per Lindgren, Rolf Drechsler, Bernd Becker 0001	Minimization of Ordered Pseudo Kronecker Decision Diagrams.	ICCD	2000	DBLP DOI BibTeX RDF
10	Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger	Formal verification of iterative algorithms in microprocessors.	DAC	2000	DBLP DOI BibTeX RDF
10	Ugo Montanari, Francesca Rossi 0001	Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	double categories, distributed systems, constraints, coordination, graph rewriting
10	Laurence Goodby, Alex Orailoglu	Redundancy and testability in digital filter datapaths.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
10	Harry Hengster, Bernd Becker 0001	Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability.	FTCS	1999	DBLP DOI BibTeX RDF	EXOR-based Synthesis, Decision Diagrams, Synthesis for Testability, High Speed Circuits
10	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara	Decomposing Non-redundant Sharing by Complementation.	SAS	1999	DBLP DOI BibTeX RDF	Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis
10	Kwang-Jin Choi, Hyeong-Seok Ko	On-line Motion Retargetting.	PG	1999	DBLP DOI BibTeX RDF
10	Lorenzo Favalli, Alessandro Mecocci	Improving rate and quality in MPEG 2 sequences using global motion information.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
10	Gagan Agrawal	Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Distributed memory compilation, communication optimizations, interprocedural analysis, Partial Redundancy Elimination, irregular applications
10	Qi Wang, Sarma B. K. Vrudhula	Data Driven Power Optimization of Sequential Circuits.	DATE	1998	DBLP DOI BibTeX RDF	logic synthesis low power design sequential circuits digital circuit testing verification
10	Wolfram Wöß	Rule-Based Management of Routing Plans in CIM Systems.	DEXA	1998	DBLP DOI BibTeX RDF
10	Jörn Eisenbiegler	Optimization of SIMD Programs with Redundant Computations.	Euro-Par	1998	DBLP DOI BibTeX RDF
10	Yanhong A. Liu, Scott D. Stoller	Loop Optimization for Aggregate Array Computations.	ICCL	1998	DBLP DOI BibTeX RDF	asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation
10	Philippe Robert, Damien Minaud	Integration of Multiple Range Maps through Consistency Processing.	SMILE	1998	DBLP DOI BibTeX RDF
10	Giansalvatore Mecca, Alberto O. Mendelzon, Paolo Merialdo	Efficient Queries over Web Views.	EDBT	1998	DBLP DOI BibTeX RDF
10	Srimat T. Chakradhar, Steven G. Rothweiler, Vishwani D. Agrawal	Redundancy removal and test generation for circuits with non-Boolean primitives.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
10	Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky 0001, Sushil Jajodia	Logical Design for Temporal Databases with Multiple Granularities.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Boyce-Codd normal form, graularity, temporal modules, temporal databases, normalization, temporal relations, third normal form
10	Hideyuki Ichihara, Kozo Kinoshita	On Acceleration of Logic Circuits Optimization Using Implication Relations.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	logic synthesis, implication, logic optimization, recursive learning
10	John K. Slaney	Minlog: A Minimal Logic Theorem Prover.	CADE	1997	DBLP DOI BibTeX RDF
10	Anne P. Massey, Mitzi M. Montoya-Weiss	A Knowledge Exchange Perspective of Technology Transfer.	HICSS (3)	1997	DBLP DOI BibTeX RDF
10	Franco Fummi, Mariagiovanna Sami, F. Tartarini	Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF
10	Jean-François Misarsky	A Multiplicative Attack Using LLL Algorithm on RSA Signatures with Redundancy.	CRYPTO	1997	DBLP DOI BibTeX RDF	Multiplicative attack, redundancy, RSA, LLL algorithm
10	Manish Gupta 0002, Edith Schonberg, Harini Srinivasan	A Unified Framework for Optimizing Communication in Data-Parallel Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Array section descriptors, data-flow analysis, data-parallelism, High Performance Fortran, communication optimizations, partial redundancy elimination, data availability
10	Chunduri Rama Mohan, Partha Pratim Chakrabarti	EARTH: combined state assignment of PLA-based FSM's targeting area and testability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
10	Rajashekar Kailar	Accountability in Electronic Commerce Protocols.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	electronic commerce, logic, cryptographic protocols, Accountability, formal analysis, protocol analysis
10	Xiaolin Wu 0001	YIQ vector quantization in a new color palette architecture.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
10	A. Yahia, Lotfi Lakhal, Rosine Cicchetti	Building Inheritance Graphs in Object Database Design.	DEXA	1996	DBLP DOI BibTeX RDF
10	Hui Shi	A Semantic Matching Algorithm: Analysis and Implementation.	MFCS	1996	DBLP DOI BibTeX RDF
10	Chien-Chung Tsai, Malgorzata Marek-Sadowska	Logic Synthesis for Testability.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF	Fixed-Polarity Reed-Muller Forms, Logic synthesis, Testability