Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Chartchai Meesookho, Urbashi Mitra, Shrikanth S. Narayanan	On Energy-Based Acoustic Source Localization for Sensor Networks.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
11	Maciej Niedzwiecki	Statistically Efficient Smoothing Algorithm for Time-Varying Frequency Estimation.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
11	Nysret Musliu	An Iterative Heuristic Algorithm for Tree Decomposition.	Recent Advances in Evolutionary Computation for Combinatorial Optimization	2008	DBLP DOI BibTeX RDF	Heuristics, Constraint Satisfaction Problem, Tree Decomposition, Graph Decomposition, Iterated Local Search
11	Gregor Wagner, Andreas Gal, Michael Franz	Slim VM: optimistic partial program loading for connected embedded Java virtual machines.	PPPJ	2008	DBLP DOI BibTeX RDF	cold code removal, embedded connected devices, Java virtual machine, just-in-time compilation
11	Anna Zaks, Amir Pnueli	Program analysis for compiler validation.	PASTE	2008	DBLP DOI BibTeX RDF
11	Emanuele Danovaro, Andrea Janes, Giancarlo Succi	Jidoka in software development.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	Jidoka, quality assurance
11	Piyushkumar A. Mundra, Jagath C. Rajapakse	Support Vector Based T-Score for Gene Ranking.	PRIB	2008	DBLP DOI BibTeX RDF
11	Konstantine Arkoudas, Olin Shivers	Trusted Theorem Proving: A Case Study in SLD-Resolution.	ISoLA	2008	DBLP DOI BibTeX RDF
11	Anna Zaks, Amir Pnueli	CoVaC: Compiler Validation by Program Analysis of the Cross-Product.	FM	2008	DBLP DOI BibTeX RDF
11	Valerio Senni, Alberto Pettorossi, Maurizio Proietti	A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.	ICLP	2008	DBLP DOI BibTeX RDF
11	Konstantin Korovin	iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
11	I-Hong Hou, Yu-En Tsai, Tarek F. Abdelzaher, Indranil Gupta	AdapCode: Adaptive Network Coding for Code Updates in Wireless Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
11	Kamil Wnuk, Stefano Soatto	Filtering Internet image search results towards keyword based category recognition.	CVPR	2008	DBLP DOI BibTeX RDF
11	Christoph Wernhard	Literal Projection for First-Order Logic.	JELIA	2008	DBLP DOI BibTeX RDF
11	Jason Baumgartner, Hari Mony, Adnan Aziz	Optimal Constraint-Preserving Netlist Simplification.	FMCAD	2008	DBLP DOI BibTeX RDF
11	Yunong Zhang, Chenfu Yi, Weimu Ma	Comparison on Gradient-Based Neural Dynamics and Zhang Neural Dynamics for Online Solution of Nonlinear Equations.	ISICA	2008	DBLP DOI BibTeX RDF	neural dynamics, Recurrent neural networks, nonlinear equations, activation functions, exponential convergence
11	Ruzica Piskac, Viktor Kuncak	Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.	CSL	2008	DBLP DOI BibTeX RDF	verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets
11	Pablo M. Granitto, Franco Biasioli, Cesare Furlanello, Flavia Gasperi	Efficient Feature Selection for PTR-MS Fingerprinting of Agroindustrial Products.	ICANN (2)	2008	DBLP DOI BibTeX RDF
11	Simeon A. Bamford, Alan F. Murray, David J. Willshaw	Synaptic Rewiring for Topographic Map Formation.	ICANN (2)	2008	DBLP DOI BibTeX RDF
11	Yuanlin Lu, Vishwani D. Agrawal	Total Power Minimization in Glitch-Free CMOS Circuits Considering Process Variation.	VLSI Design	2008	DBLP DOI BibTeX RDF
11	Junji Kitamichi, Koji Ueda, Kenichi Kuroda	A Modeling of a Dynamically Reconfigurable Processor Using SystemC.	VLSI Design	2008	DBLP DOI BibTeX RDF
11	Xiaochun Yu, R. D. (Shawn) Blanton	Multiple defect diagnosis using no assumptions on failing pattern characteristics.	DAC	2008	DBLP DOI BibTeX RDF	defect diagnosis, fault isolation, IC testing
11	André Rigland Brodtkorb	The Graphics Processor as a Mathematical Coprocessor in MATLAB.	CISIS	2008	DBLP DOI BibTeX RDF
11	Oliver Kopp, Rania Khalaf, Frank Leymann	Deriving Explicit Data Links in WS-BPEL Processes.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	DPE, BPEL, data-flow analysis, data links
11	Meng Zhou 0001, Franz Winkler 0001	On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 16-04
11	Atsushi Ohori	A proof theory for machine code.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Curry-Howard isomorphism
11	Yan Zhang, Xindong Wu 0001	Noise Modeling with Associative Corruption Rules.	ICDM	2007	DBLP DOI BibTeX RDF
11	Lei Huang 0006, Girija Sethuraman, Barbara M. Chapman	Parallel Data Flow Analysis for OpenMP Programs.	IWOMP	2007	DBLP DOI BibTeX RDF
11	Thomas Noll 0001, Stefan Rieger	Composing Transformations to Optimize Linear Code.	ICTAC	2007	DBLP DOI BibTeX RDF
11	Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown	BddCut: Towards Scalable Symbolic Cut Enumeration.	ASP-DAC	2007	DBLP DOI BibTeX RDF
11	Hidenori Kurokawa	Hypersequent Calculus for Intuitionistic Logic with Classical Atoms.	LFCS	2007	DBLP DOI BibTeX RDF
11	José Espírito Santo	Delayed Substitutions.	RTA	2007	DBLP DOI BibTeX RDF
11	Hugh Anderson, Siau-Cheng Khoo, Yijie Liu	A Tool for Calculating Exponential Run-Time Properties.	SYNASC	2007	DBLP DOI BibTeX RDF
11	Cláudio M. S. Medeiros, Guilherme De A. Barreto	An Efficient Method for Pruning the Multilayer Perceptron Based on the Correlation of Errors.	ICANN (1)	2007	DBLP DOI BibTeX RDF
11	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	EDO: Exception-directed optimization in java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Feedback-directed dynamic optimization, exception handling, dynamic compilers, inlining
11	Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Termination: From Kruskal to Computability.	LPAR	2006	DBLP DOI BibTeX RDF
11	José E. Gallardo, Carlos Cotta, Antonio J. Fernández 0001	A Multi-level Memetic/Exact Hybrid Algorithm for the Still Life Problem.	PPSN	2006	DBLP DOI BibTeX RDF
11	Gabriel Dimitriu, Felicia Ionescu	Solving System of Linear Equations in a Network of Workstations.	ISPDC	2006	DBLP DOI BibTeX RDF
11	Rezaul Alam Chowdhury, Vijaya Ramachandran	Cache-oblivious dynamic programming.	SODA	2006	DBLP DOI BibTeX RDF
11	Hao Wang 0008, Kui Yu, Xindong Wu 0001, Hongliang Yao	Triangulation of Bayesian Networks Using an Adaptive Genetic Algorithm.	ISMIS	2006	DBLP DOI BibTeX RDF
11	Jasen Markovski, Nikola Trcka	Lumping Markov Chains with Silent Steps.	QEST	2006	DBLP DOI BibTeX RDF
11	Colin N. Jones, Jan M. Maciejowski	Primal-Dual Enumeration for Multiparametric Linear Programming.	ICMS	2006	DBLP DOI BibTeX RDF
11	Kobbi Nissim, Enav Weinreb	Communication Efficient Secure Linear Algebra.	TCC	2006	DBLP DOI BibTeX RDF
11	Stefan Hetzl, Alexander Leitsch	Proof Transformations and Structural Invariance.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
11	Herman Geuvers, Iris Loeb	From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.	MFCS	2006	DBLP DOI BibTeX RDF
11	Richard Bonichon, Olivier Hermant	On Constructive Cut Admissibility in Deduction Modulo.	TYPES	2006	DBLP DOI BibTeX RDF
11	Anna Zamansky, Arnon Avron	Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.	IJCAR	2006	DBLP DOI BibTeX RDF
11	Vania Bogorny, Sandro da Silva Camargo, Paulo Martins Engel, Luis Otávio Alvares	Mining frequent geographic patterns with knowledge constraints.	GIS	2006	DBLP DOI BibTeX RDF	semantic knowledge constraints, frequent pattern mining, geographic databases, spatial association rules
11	Toni Jussila, Carsten Sinz, Armin Biere	Extended Resolution Proofs for Symbolic SAT Solving with Quantification.	SAT	2006	DBLP DOI BibTeX RDF
11	Devang Jariwala, John Lillis	Trunk decomposition based global routing optimization.	ICCAD	2006	DBLP DOI BibTeX RDF
11	Md. Seddiqui Hanif, Yohei Seki, Masaki Aono	Automatic Alignment of Ontology Eliminating the Probable Misalignments.	ASWC	2006	DBLP DOI BibTeX RDF	Semantic Integration and Interoperability, Ontologies, Ontology alignment
11	Cédric Pralet, Thomas Schiex, Gérard Verfaillie	Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.	CP	2006	DBLP DOI BibTeX RDF
11	José Espírito Santo, Maria João Frade, Luís Pinto 0001	Structural Proof Theory as Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
11	Aditya Kanade, Amitabha Sanyal, Uday P. Khedker	A PVS Based Framework for Validating Compiler Optimizations.	SEFM	2006	DBLP DOI BibTeX RDF
11	Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó	Approximate radical of ideals with clusters of roots.	ISSAC	2006	DBLP DOI BibTeX RDF
11	Uwe Egly, Reinhard Pichler, Stefan Woltran	On deciding subsumption problems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	equational problems, satisfiability, subsumption, QBFs
11	Philipp Gerhardy, Ulrich Kohlenbach	Extracting Herbrand disjunctions by functional interpretation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Herbrand’s theorem, functional interpretation
11	Xiaoru Dai, Antonia Zhai, Wei-Chung Hsu, Pen-Chung Yew	A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion.	CGO	2005	DBLP DOI BibTeX RDF
11	François Lamarche, Lutz Straßburger	Naming Proofs in Classical Propositional Logic.	TLCA	2005	DBLP DOI BibTeX RDF
11	Yunqing Xia, Wei Liu 0034, Louise Guthrie	Email Categorization with Tournament Methods.	NLDB	2005	DBLP DOI BibTeX RDF
11	Krzysztof R. Apt	Order independence and rationalizability.	TARK	2005	DBLP BibTeX RDF
11	Sumit Ganguly, Minos N. Garofalakis, Amit Kumar 0001, Rajeev Rastogi	Join-distinct aggregate estimation over update streams.	PODS	2005	DBLP DOI BibTeX RDF
11	Anne Berry, Richard Krueger, Geneviève Simonet	Ultimate Generalizations of LexBFS and LEX M.	WG	2005	DBLP DOI BibTeX RDF
11	Matthias Stickel, Kai Furmans	An Optimal Control Policy for Crossdocking Terminals.	OR	2005	DBLP DOI BibTeX RDF
11	Bakhadyr Khoussainov, Sasha Rubin	Decidability of Term Algebras Extending Partial Algebras.	CSL	2005	DBLP DOI BibTeX RDF
11	Esfandiar Haghverdi, Philip J. Scott	Towards a Typed Geometry of Interaction.	CSL	2005	DBLP DOI BibTeX RDF
11	Louise Guthrie, Wei Liu 0034, Yunqing Xia	Text Classification with Tournament Methods.	TSD	2005	DBLP DOI BibTeX RDF
11	Te Ming Huang, Vojislav Kecman	Gene Extraction for Cancer Diagnosis by Support Vector Machines.	ICANN (1)	2005	DBLP DOI BibTeX RDF
11	Nelmarie Louw, Sarel Steel	Input Variable Selection in Kernel Fisher Discriminant Analysis.	GfKl	2005	DBLP DOI BibTeX RDF
11	Tang-Kai Yin	A characteristic-point-based fuzzy inference system aimed to minimize the number of fuzzy rules.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
11	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Term Algebras with Length Function and Bounded Quantifier Alternation.	TPHOLs	2004	DBLP DOI BibTeX RDF
11	Joos Heintz, Bart Kuijpers	Constraint Databases, Data Structures and Efficient Query Evaluation.	CDB	2004	DBLP DOI BibTeX RDF
11	Manel Fernández, Roger Espasa	Link-Time Optimization Techniques for Eliminating Conditional Branch Redundancies.	Interaction between Compilers and Computer Architectures	2004	DBLP DOI BibTeX RDF
11	Nick Benton	Simple relational correctness proofs for static analyses and program transformations.	POPL	2004	DBLP DOI BibTeX RDF	partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic
11	Jeong Jun Lee, Seung-In Noh, Kang Ryoung Park, Jaihie Kim	Iris Recognition in Wearable Computer.	ICBA	2004	DBLP DOI BibTeX RDF
11	Masaki Hashizume, Daisuke Yoneda, Hiroyuki Yotsuyanagi, Tetsuo Tada, Takeshi Koyama, Ikuro Morita, Takeomi Tamesada	I_DDQ Test Method Based on Wavelet Transformation for Noisy Current Measurement Environment.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
11	Donghoon Han, Abhijit Chatterjee	Device Resizing Based Optimization of Analog Circuits for Reduced Test Cost: Cost Metric and Case Study.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
11	Michel Parigot	On Constructive Existence.	TYPES	2004	DBLP DOI BibTeX RDF
11	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Factoring and eliminating common subexpressions in polynomial expressions.	ICCAD	2004	DBLP DOI BibTeX RDF
11	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Efficient SAT-based unbounded symbolic model checking using circuit cofactoring.	ICCAD	2004	DBLP DOI BibTeX RDF
11	Juan Félix San-Juan, Sergio Serrano, Alberto Abad	Analytical Theory of Motion of a Mars Orbiter.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
11	Miroslav N. Velev	Comparative Study of Strategies for Formal Verification of High-Level Processors.	ICCD	2004	DBLP DOI BibTeX RDF
11	Shingo Iida, Kiyotake Kuwayama, Masayoshi Kanoh, Shohei Kato, Hidenori Itoh	A Dynamic Allocation Method of Basis Functions in Reinforcement Learning.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
11	Leonid Libkin	Variable independence for first-order definable constraints.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	definable sets, polynomial constraints, variable independence, First-order logic, spatio-temporal databases, linear constraints
11	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea	Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).	CAV	2003	DBLP DOI BibTeX RDF
11	Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Effectiveness of cross-platform optimizations for a java just-in-time compiler.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, just-in-time compiler
11	Mihai Budiu, Seth Copen Goldstein	Optimizing Memory Accesses For Spatial Computation.	CGO	2003	DBLP DOI BibTeX RDF
11	Viktor Kuncak, Martin C. Rinard	Structural Subtyping of Non-Recursive Types is Decidable.	LICS	2003	DBLP DOI BibTeX RDF
11	Francisco Curbera, Rania Khalaf, Frank Leymann, Sanjiva Weerawarana	Exception Handling in the BPEL4WS Language.	Business Process Management	2003	DBLP DOI BibTeX RDF
11	Sorin Lerner, Todd D. Millstein, Craig Chambers	Automatically proving the correctness of compiler optimizations.	PLDI	2003	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
11	Sung Joon Ahn, Ira Effenberger, Sabine Roth-Koch, Engelbert Westkämper	Geometric Segmentation and Object Recognition in Unordered and Incomplete Point Cloud.	DAGM-Symposium	2003	DBLP DOI BibTeX RDF
11	Henrique Andrade, Suresh Aryangat, Tahsin M. Kurç, Joel H. Saltz, Alan Sussman	Efficient Execution of Multi-query Data Analysis Batches Using Compiler Optimization Strategies.	LCPC	2003	DBLP DOI BibTeX RDF
11	Sonny Tham, John Morris	Cilk vs MPI: Comparing two very different parallel programming styles.	ICPP	2003	DBLP DOI BibTeX RDF	MPI, networks of workstations, Cilk
11	Stanislav V. Klimenko, Igor N. Nikitin, Lialia Nikitina	Reducing Optical Crosstalk in Affordable Systems of Virtual Environment.	CW	2003	DBLP DOI BibTeX RDF
11	Sara Negri	A normalizing system of natural deduction for intuitionistic linear logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
11	Alessio Guglielmi, Lutz Straßburger	A Non-commutative Extension of MELL.	LPAR	2002	DBLP DOI BibTeX RDF
11	Jingren Zhou, Kenneth A. Ross	Implementing database operations using SIMD instructions.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
11	George V. Lashkia	A Noise Filtering Method for Inductive Concept Learning.	AI	2002	DBLP DOI BibTeX RDF
11	Wei-Ngan Chin, Zhenjiang Hu	Towards a Modular Program Derivation via Fusion and Tupling.	GPCE	2002	DBLP DOI BibTeX RDF
11	B. Prabhu, K. Srinathan, C. Pandu Rangan	Trading Players for Efficiency in Unconditional Multiparty Computation.	SCN	2002	DBLP DOI BibTeX RDF	generalized adversaries, secure multiparty computation