Search results for "partial"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Mikhail Ju. Moshkov, Marcin Piliszczuk	On Partial Tests and Partial Reducts for Decision Tables.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	partial test, greedy algorithm, partial cover, partial reduct
50	Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko	Lower Bounds on Minimal Weight of Partial Reducts and Partial Decision Rules.	RSKT	2006	DBLP DOI BibTeX RDF	partial decision rules, greedy algorithms, weights, Partial reducts
48	Yu Du, Wayne Dai	Partial reluctance based circuit simulation is efficient and stable.	ASP-DAC	2005	DBLP DOI BibTeX RDF	magnetic field, partial reluctance, vector potential, inductance, extraction, shielding
44	Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001	Well-Founded and Partial Stable Semantics Logical Aspects.	CSR	2009	DBLP DOI BibTeX RDF	partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
42	Reihaneh Safavi-Naini, Huaxiong Wang	Secret sharing schemes with partial broadcast channels.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	94A17, 68P30, AMS classifications 94A62
42	Jian Pei, Haixun Wang, Jian Liu, Ke Wang 0001, Jianyong Wang 0001, Philip S. Yu	Discovering Frequent Closed Partial Orders from Strings.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	data mining, partial orders, Frequent patterns, strings, closed patterns
42	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
42	Kenichi Asai	Online partial evaluation for shift and reset.	PEPM	2002	DBLP DOI BibTeX RDF	CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
41	Xiangnan Zhou, Qingguo Li	Partial residuated structures and quantum structures.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra
41	Stephen-John Craig, Michael Leuschel	LIX: an Effective Self-applicable Partial Evaluator for Prolog.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
41	Boris A. Romov	Partial Hyperclones on a Finite Set.	ISMVL	2002	DBLP DOI BibTeX RDF	partial hyperoperation, partial hyperclone, restriction of hyperoperation, invariant relation
41	Anup Kumar Raghavan, Peter Sutton	JPG - A Partial Bitstream Generation Tool to Support Partial Reconfiguration in Virtex FPGAs.	IPDPS	2002	DBLP DOI BibTeX RDF	JBits, FPGA design flow, Partial Bitstream, Xilinx Virtex, Partial Reconfiguration
38	Nils Anders Danielsson, John Hughes 0001, Patrik Jansson, Jeremy Gibbons	Fast and loose reasoning is morally correct.	POPL	2006	DBLP DOI BibTeX RDF	inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning
38	Özgür Sümer	Partial covering of hypergraphs.	SODA	2005	DBLP BibTeX RDF	partial hypergraph cover, partial set cover, greedy algorithm
38	Sebastian Weik	Registration of 3-D Partial Surface Models using Luminance and Depth Information.	3DIM	1997	DBLP DOI BibTeX RDF	3D partial surface model registration, luminance information, textured surface models, overlapping partial models, camera-based depth information, 3D Euclidian distances, motion estimation, computer graphics, convergence, optical flow, image registration, merging, stereo image processing, quaternions, degrees of freedom, three-dimensional objects, depth information
38	Niels H. Christensen, Robert Glück	Offline partial evaluation can be as accurate as online partial evaluation.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis
38	Hans-Jürgen Hoehnke	Quasi-varieties: A special access.	Stud Logica	2004	DBLP DOI BibTeX RDF	Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones
38	Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko	On Partial Covers, Reducts and Decision Rules.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	partial decision rules, Rough sets, greedy algorithms, partial covers, partial reducts
38	Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko	On Partial Covers, Reducts and Decision Rules with Weights.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	partial decision rules, greedy algorithms, weights, partial covers, partial reducts
36	John B. Polhill	New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 05B10
36	Francine Blanchet-Sadri, N. C. Brownstein, Andy Kalcic, Justin Palumbo, Tracy Weyand	Unavoidable Sets of Partial Words.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Partial words, Unavoidable sets, Combinatorics on words
36	Lennart Augustsson	O, partial evaluator, where art thou?	PEPM	2010	DBLP DOI BibTeX RDF	applications, haskell, partial evaluator
36	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	PEPM	2003	DBLP DOI BibTeX RDF	partial evaluation, string matching, memoization
35	Neil D. Jones, Carsten K. Gomard, Peter Sestoft	Partial Evaluation for the Lambda Calculus.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	Satnam Singh, Nicholas McKay	Partial Evaluation of Hardware.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	John Hatcliff	An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	Olivier Danvy	Type-Directed Partial Evaluation.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	Torben Æ. Mogensen	Partial Evaluation: Concepts and Applications.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	Jesper Jørgensen	SIMILIX: A Self-Applicable Partial Evaluator for Scheme.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	Lennart Augustsson	Partial Evaluation in Aircraft Crew Planning.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	Jens Palsberg	Eta-Redexes in Partial Evaluation.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
35	Olivier Danvy	Pragmatics of Type-Directed Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
35	Michael Leuschel, Bern Martens	Global Control for Partial Deduction through Characteristic Atoms and Global Trees.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
35	Torben Æ. Mogensen	Evolution of Partial Evaluators: Removing Inherited Limits.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
35	Michael Sperber	Self-Applicable Online Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
35	John Hughes	Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
35	Peter Sestoft	MK Pattern Match Compilation and Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
35	Ugo Montanari, Marco Pistore	History dependent verification for partial order systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
35	Albert R. Meyer, Alexander Moshe Rabinovich	A solution of an interleaving decision problem by a partial order technique.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
35	Wolfgang Thomas	Elements of an automata theory over partial orders.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
35	Doron A. Peled	Partial order reduction: Linear and branching temporal logics and process algebras.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
35	Patrice Godefroid	On the costs and benefits of using partial-order methods for the verification of concurrent systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
35	David C. Luckham	Rapide: A language and toolset for simulation of distributed systems by partial orderings of events.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
35	Eike Best	Partial order verification with PEP.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
33	Jingsen Chen	Average Cost to Produce Partial Orders.	ISAAC	1994	DBLP DOI BibTeX RDF
33	Robin Bergenthum, Jörg Desel, Sebastian Mauser	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm
33	Damien Imbs, Michel Raynal	Help When Needed, But No More: Efficient Read/Write Partial Snapshot.	DISC	2009	DBLP DOI BibTeX RDF	LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system
33	Nam Nguyen 0001, Rich Caruana	Classification with partial labels.	KDD	2008	DBLP DOI BibTeX RDF	partial labels, support vectors
33	Jörg Eisfeld, Leo Storme, Péter Sziklai	On the Spectrum of the Sizes of Maximal Partial Line Spreads in PG(2n, q), n >= 3.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	maximal partial line spreads, projective spaces
33	Germán Vidal	Quasi-terminating logic programs for ensuring the termination of partial evaluation.	PEPM	2007	DBLP DOI BibTeX RDF	quasi-termination, partial deduction
33	Sarah Thompson, Alan Mycroft	Bit-level partial evaluation of synchronous circuits.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, loop unrolling, synchronous circuits
32	Bozena Staruch, Bogdan Staruch	First Order Theories for Partial Models.	Stud Logica	2005	DBLP DOI BibTeX RDF	partial model, possible sets of sentences, infallible sets of sentences, Scott’s domain, extension, standard models, default logic, partial algebra
32	Yi Tao 0001, William I. Grosky, Chunnian Liu	An Automatic Partial Deduction System for Constraint Logic Programs.	ICTAI	1997	DBLP DOI BibTeX RDF	partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming
32	Ajay Khoche, Erik Brunvand	Testing self-timed circuits using partial scan.	ASYNC	1995	DBLP DOI BibTeX RDF	sequential network, partial scan environment, logic testing, sequential circuits, asynchronous circuits, partial scan, data paths, self-timed circuits
32	Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine	The Ecce and Logen partial evaluators and their web interfaces.	PEPM	2006	DBLP DOI BibTeX RDF	logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
32	Hong Jiang, Kenneth C. Smith	PPMB: A Partial-Multiple-Bus Multiprocessor Architecture with Improved Cost-Effectiveness.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	PPMB, partial-multiple-bus multiprocessor architecture, processor-oriented partial-multiple-bus, memory-oriented partial-multiple-bus, system bandwidth, simulation, performance evaluation, design, performance analysis, interconnection networks, computer architecture, multiprocessor interconnection networks, cost-effectiveness, arbitration
30	Lucien Haddad, Dietlinde Lau	Characterization of Partial Sheffer Functions in 3-Valued Logic.	ISMVL	2007	DBLP DOI BibTeX RDF
30	Deepak Rajan, Philip S. Yu	Discovering Partial Orders in Binary Data.	ICDM	2006	DBLP DOI BibTeX RDF
30	Jovanka Pantovic, Gradimir Vojvodic	On the Partial Hyperclone Lattice.	ISMVL	2005	DBLP DOI BibTeX RDF
30	Boris A. Romov	Some Properties of Local Partial Clones on an Infinite Set.	ISMVL	2004	DBLP DOI BibTeX RDF
30	Sang-Hun Lee, Kunwoo Lee	Partial entity structure: a compact non-manifold boundary representation based on partial topological entities.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF	topological entity, data structure, geometric modeling, boundary representation, non-manifold
30	Qi Zhang 0001, Yue Zhang, Haomin Yu, Xuanjing Huang 0001	Efficient partial-duplicate detection based on sequence matching.	SIGIR	2010	DBLP DOI BibTeX RDF	partial-duplicate detection, MapReduce, sequence matching
30	Alan P. Reynolds, Beatriz de la Iglesia	A multi-objective GRASP for partial classification.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Partial classification, Data mining, Multi-objective optimization, GRASP, Rule induction
30	Jimei Yang, Shengcai Liao, Stan Z. Li	Automatic Partial Face Alignment in NIR Video Sequences.	ICB	2009	DBLP DOI BibTeX RDF	Partial Faces, MBGC, SIFT, Face Alignment
30	Kohtaro Tadaki	Partial Randomness and Dimension of Recursively Enumerable Reals.	MFCS	2009	DBLP DOI BibTeX RDF	recursively enumerable real, partial randomness, Chaitin ? number, program-size complexity, universal probability, dimension, algorithmic randomness
30	Jing Bai 0004, Shuming Gao, Weihua Tang, Yusheng Liu, Song Guo	Semantic-based partial retrieval of CAD models for design reuse.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	partial retrieval, reusable region, design reuse, CAD model
30	Zbigniew Kokosinski	On Parallel Generation of Partial Derangements, Derangements and Permutations.	PPAM	2007	DBLP DOI BibTeX RDF	derangement, partial derangement, derangement generation, permutation generation, permutation
30	Yi Liu, Hongbin Zha, Hong Qin 0001	Shape Topics: A Compact Representation and New Algorithms for 3D Partial Shape Retrieval.	CVPR (2)	2006	DBLP DOI BibTeX RDF	partial shape retrieval, a bag-of-words model, probabilistic text analysis, Shape representation
30	Germán Puebla, Claudio Ochoa	Poly-controlled partial evaluation.	PPDP	2006	DBLP DOI BibTeX RDF	control rules, optimization, partial evaluation
30	Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	Partial Order Reductions for Security Protocol Verification.	TACAS	2000	DBLP DOI BibTeX RDF	partial order reductions and security, Model checking
30	María Alpuente, Moreno Falaschi, Germán Vidal	Partial Evaluation of Functional Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
30	Maciej Koutny	Partial Order Semantics of Box Expressions.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics
30	Carsten K. Gomard	A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	partial evaluation, lambda calculus, compiler generation, self-application
30	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
30	Jacques Carette, Michael Kucera	Partial evaluation of Maple.	PEPM	2007	DBLP DOI BibTeX RDF	residual theorems, partial evaluation, Maple, symbolic computation
30	Lennart Augustsson	Partial Evaluation in Aircraft Crew Planning.	PEPM	1997	DBLP DOI BibTeX RDF	airline crew scheduling, generalized constant propagation, program transformation, partial evaluation
29	Markus Probst, Michael Lülfesmann, Mike Nicolai, H. Martin Bücker, Marek Behr, Christian H. Bischof	On the Influence of Constitutive Models on Shape Optimization for Artificial Blood Pumps.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Pradeep Atwal, Sergio Conti, Benedict Geihe, Martin Pach, Martin Rumpf, Rüdiger Schultz	On Shape Optimization with Stochastic Loadings.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Rolf Rannacher, Boris Vexler, Winnifried Wollner	A Posteriori Error Estimation in PDE-constrained Optimization with Pointwise Inequality Constraints.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Nicolas R. Gauger, Caslav Ilic, Stephan Schmidt 0003, Volker Schulz 0001	Non-parametric Aerodynamic Shape Optimization.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Karsten Eppler, Helmut Harbrecht	Shape Optimization for Free Boundary Problems - Analysis and Numerics.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Michael Hinze, Arnd Rösch	Discretization of Optimal Control Problems.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Denise Holfeld, Philipp Stumm, Andrea Walther	Structure Exploiting Adjoints for Finite Element Discretizations.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Thomas Apel, Dieter Sirch	A Priori Mesh Grading for Distributed Optimal Control Problems.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Ira Neitzel, Fredi Tröltzsch	Numerical Analysis of State-constrained Optimal Control Problems for PDEs.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Michael Gröschel, Günter Leugering, Wolfgang Peukert	Model Reduction, Structure-property Relations and Optimization Techniques for the Production of Nanoscale Particles.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Ekaterina A. Kostina, Olga I. Kostyukova	Computing Covariance Matrices for Constrained Nonlinear Large Scale Parameter Estimation Problems Using Krylov Subspace Methods.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	René Pinnau, Norbert Siedow	Optimization and Inverse Problems in Radiative Heat Transfer.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Andreas Günther, Michael Hinze, Moulay Hicham Tber	A Posteriori Error Representations for Elliptic Optimal Control Problems with Control and State Constraints.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Dominik Meidner, Boris Vexler	Adaptive Space-Time Finite Element Methods for Parabolic Optimization Problems.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Eberhard Bänsch, Peter Benner	Stabilization of Incompressible Flow Problems by Riccati-based Feedback.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Michael Hinze, Morten Vierling	A Globalized Semi-smooth Newton Method for Variational Discretization of Control Constrained Elliptic Optimal Control Problems.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Nicolas R. Gauger, Andreas Griewank, Adel Hamdi, Claudia Kratzenstein, Emre Özkaya, Thomas Slawig	Automated Extension of Fixed Point PDE Solvers for Optimal Design with Bounded Retardation.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Hans Georg Bock, Andreas Potschka, Sebastian Sager, Johannes P. Schlöder	On the Connection Between Forward and Optimization Problem in One-shot One-step Methods.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Luise Blank, Harald Garcke, Lavinia Sarbu, Tarin Srisupattarawanit, Vanessa Styles, Axel Voigt	Phase-field Approaches to Structural Topology Optimization.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Achim Küpper, Sebastian Engell	Optimization of Simulated Moving Bed Processes.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Eberhard Bänsch, Manfred Kaltenbacher, Günter Leugering, Fabian Schury, Fabian Wein	Optimization of Electro-mechanical Smart Structures.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Frank Haußer, Sandra Janssen, Axel Voigt	Control of Nanostructures through Electric Fields and Related Free Boundary Problems.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Debora Clever, Jens Lang 0001, Stefan Ulbrich, J. Carsten Ziems	Generalized Multilevel SQP-methods for PDAE-constrained Optimization Based on Space-Time Adaptive PDAE Solvers.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
29	Luise Blank, Martin Butz, Harald Garcke, Lavinia Sarbu, Vanessa Styles	Allen-Cahn and Cahn-Hilliard Variational Inequalities Solved with Optimization Techniques.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF