Search results for "fix-point"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Yun Wang, Yanyong Guan, Hongkai Wang, Kaiquan Shi	An Improved Intermediate Value Theorem and Rough Fix-Point Theorem of Roughly Continuous Discrete Functions.	FSKD (5)	2008	DBLP DOI BibTeX RDF
30	Bernd Kasche, Dietmar Fey, T. Höhn, Werner Erhard	3D Optoelectronic Fix Point Unit and Its Advantages Processing 3D Data.	Euro-Par	1999	DBLP DOI BibTeX RDF
29	Alban Galland, Serge Abiteboul, Amélie Marian, Pierre Senellart	Corroborating information from disagreeing views.	WSDM	2010	DBLP DOI BibTeX RDF	corroboration, probabilistic model, view, fix-point, confidence, contradiction
29	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Extending sized type with collection analysis.	PEPM	2003	DBLP DOI BibTeX RDF	collection analysis, mixed constraints, sized type, polymorphism, fix-point
20	Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri	A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks.	ICLA	2019	DBLP DOI BibTeX RDF
20	Jasine Babu, K. Murali Krishnan 0001, Vineeth Paleri	A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks.	CoRR	2017	DBLP BibTeX RDF
20	Yu Wang 0021, Weishan Dong, Junchi Yan, Li Li 0022, Chunhua Tian, Chao Zhang 0010, Zhihu Wang, Chunyang Ma	Digital IIR Filter Design with Fix-Point Representation Using Effective Evolutionary Local Search Enhanced Differential Evolution.	Computational Intelligence in Digital and Network Designs and Applications	2015	DBLP DOI BibTeX RDF
20	Michael Petit 0002, Andreas Springer	Fix-Point Representation of a Properness-Based Algorithm for Blind I/Q Mismatch Compensation.	SiPS	2012	DBLP DOI BibTeX RDF
20	P. Mansouri, B. Asady, N. Gupta	The Combination of Bisection Method and Artificial Bee Colony Algorithm for Solving Hard Fix Point Problems.	SOCO	2012	DBLP DOI BibTeX RDF
20	Qiming Chen, Meichun Hsu, Bin Zhang 0004	The Fix-Point Method for Discrete Events Simulation Using SQL and UDF.	DEXA (2)	2011	DBLP DOI BibTeX RDF
20	Bruno Scherrer	Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view	CoRR	2010	DBLP BibTeX RDF
20	Bruno Scherrer	Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view.	ICML	2010	DBLP BibTeX RDF
20	Yohan Boichut, Pierre-Cyrille Héam	A theoretical limit for safety verification techniques with regular fix-point computations.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
20	Du Zhang	A Fix-Point Semantics for Rule-Base Anomalies.	Int. J. Cogn. Informatics Nat. Intell.	2007	DBLP DOI BibTeX RDF
20	Yves Bertot	Extending the Calculus of Constructions with Tarski's fix-point theorem	CoRR	2006	DBLP BibTeX RDF
20	Yanping Yang, Qinping Tan, Feng Liu, Jinshan Yu	Web Service Composition Algorithm Based on Fix-Point Theorem.	Industrial Applications of Semantic Web	2005	DBLP DOI BibTeX RDF
20	Antonia Balaa, Yves Bertot	Fix-Point Equations for Well-Founded Recursion in Type Theory.	TPHOLs	2000	DBLP DOI BibTeX RDF
20	Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters	Fix-point Semantics for Programs in Distributive Categories.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
20	G. Barbara Demo	Recursive Versus Iterative Schemes for Least Fix Point Computation in Logic Databases.	ICDE	1987	DBLP DOI BibTeX RDF
20	Zohar Manna, Jean Vuillemin	Fix Point Approach to the Theory of Computation.	Commun. ACM	1972	DBLP DOI BibTeX RDF
19	Gérard Basler, Daniel Kroening, Georg Weissenbacher	SAT-Based Summarization for Boolean Programs.	SPIN	2007	DBLP DOI BibTeX RDF
19	Nils Maltesson, David Naccache, Elena Trichina, Christophe Tymen	Applet Verification Strategiesfor RAM-Constrained Devices.	ICISC	2002	DBLP DOI BibTeX RDF
19	Jean-Marc Talbot	On the Alternation-Free Horn Mu-calculus.	LPAR	2000	DBLP DOI BibTeX RDF
19	Hong-Cheu Liu, Jeffrey Xu Yu	Safe Database Queries with External Functions.	IDEAS	1999	DBLP DOI BibTeX RDF	Allowed formulas, query languages, relational algebra, query translation, relational calculus, complex value, domain independence
17	Roman Gershman, Maya Koifman, Ofer Strichman	An approach for extracting a small unsatisfiable core.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Unsatisfiable core, SAT, Resolution
17	Julian C. Bradfield	The Modal mu-calculus Alternation Hierarchy is Strict.	CONCUR	1996	DBLP DOI BibTeX RDF	mu-calculi, temporal logic, hierarchies, alternation
13	Gang Hua 0001, Ying Wu 0001	Variational Maximum A Posteriori by Annealed Mean Field Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	Mean field variational analysis, graphical model, deterministic annealing, Markov network, maximum a posteriori estimation
11	Gianfranco Ciardo, Andy Jinqing Yu	Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.	CHARME	2005	DBLP DOI BibTeX RDF
11	Lech Polkowski, Maria Semeniuk-Polkowska	Sets of Communicating Sequential Processes. A Topological Rough Set Framework.	KES	2004	DBLP DOI BibTeX RDF	exact sets of processes, constructive and non–destructive mappings on exact sets of processes, rough set theory, communicating sequential processes
11	Alexander Schwarz, Bärbel Mertsching, M. Brucke, Wolfgang Nebel, Jürgen Tchorz, Birger Kollmeier	Implementing a Quantitative Model for the "Effective" Signal Processing in the Auditory System on a Dedicated Digital VLSI Hardware.	EUROMICRO	1999	DBLP DOI BibTeX RDF
9	Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Semantics
9	Pascual Julián, Ginés Moreno, Jaime Penabad	On the Declarative Semantics of Multi-Adjoint Logic Programs.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Herbrand Model, Fuzzy Logic Programming, Declarative Semantics
9	Nathalie Bertrand 0001, Blaise Genest, Hugo Gimbert	Qualitative Determinacy and Decidability of Stochastic Games with Signals.	LICS	2009	DBLP DOI BibTeX RDF
9	Olivier Bouissou, Matthieu Martel	A Hybrid Denotational Semantics for Hybrid Systems.	ESOP	2008	DBLP DOI BibTeX RDF
9	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Computing Stack Maps with Interfaces.	ECOOP	2008	DBLP DOI BibTeX RDF
9	Pietro Abate, Rajeev Goré, Florian Widmann	One-Pass Tableaux for Computation Tree Logic.	LPAR	2007	DBLP DOI BibTeX RDF
9	Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier	Robust Stabilizing Leader Election.	SSS	2007	DBLP DOI BibTeX RDF
9	El maati Chabbar, Mohamed Bouhdadi	On Verification of Communicating Finite State Machines Using Residual Languages.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
9	Jérôme Leroux, Grégoire Sutre	Accelerated Data-Flow Analysis.	SAS	2007	DBLP DOI BibTeX RDF
9	Jérôme Leroux, Grégoire Sutre	Acceleration in Convex Data-Flow Analysis.	FSTTCS	2007	DBLP DOI BibTeX RDF
9	Christophe Choisy	Dynamic Handwritten Keyword Spotting Based on the NSHP-HMM.	ICDAR	2007	DBLP DOI BibTeX RDF
9	Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre	Possibilistic uncertainty handling for answer set programming.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	PACS 68T30, 68N17, 68T27, 68T37
9	Roman Gershman, Maya Koifman, Ofer Strichman	Deriving Small Unsatisfiable Cores with Dominators.	CAV	2006	DBLP DOI BibTeX RDF
9	Farn Wang	REDLIB for the Formal Verification of Embedded Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
9	Jiaqing Qiao, Ping Fu, Shengwei Meng	A Combined Optimization Method of Finite Wordlength FIR Filters.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
9	Byron Cook, Daniel Kroening, Natasha Sharygina	Over-Approximating Boolean Programs with Unbounded Thread Creation.	FMCAD	2006	DBLP DOI BibTeX RDF
9	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
9	Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego	Interval-Valued Neural Multi-adjoint Logic Programs.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
9	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
9	Harald Heinecke	Automotive System Design - Challenges and Potential.	DATE	2005	DBLP DOI BibTeX RDF
9	René David, Karim Nour	Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
9	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	2005	DBLP DOI BibTeX RDF
9	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	PPDP	2005	DBLP DOI BibTeX RDF
9	Tom Schrijvers, David Scott Warren	Constraint Handling Rules and Tabled Execution.	ICLP	2004	DBLP DOI BibTeX RDF
9	Jukka Mäki-Turja, Mikael Nolin	Efficient Response-Time Analysis for Tasks with Offsets.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
9	Laszlo Hars	Long Modular Multiplication for Cryptographic Applications.	CHES	2004	DBLP DOI BibTeX RDF	Quisquater multiplication, multiply-accumulate architecture, optimization, cryptography, Computer arithmetic, Montgomery multiplication, reciprocal, modular multiplication, Modular reduction
9	Suman Roy 0001	Symbolic Verification of Infinite Systems using a Finite Union of DFAs.	SEFM	2004	DBLP DOI BibTeX RDF	Symbolic Verification, Accelerations, DFA, Infinite State Systems, FIFO queues
9	Vincent Danos, Josée Desharnais	Labelled Markov Processes: Stronger and Faster Approximations.	LICS	2003	DBLP DOI BibTeX RDF
9	Ettore Merlo, Giuliano Antoniol, Pierre-Luc Brunelle	Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels.	CSMR	2003	DBLP DOI BibTeX RDF
9	Francesca Arcelli Fontana	Likelog for flexible query answering.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Similarity, Deductive databases, Query answering, Fuzzy logic programming
9	Per Bjesse	Industrial Model Checking Based on Satisfiability Solvers.	SPIN	2002	DBLP DOI BibTeX RDF
9	Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero	An architecture-centric approach to the development of a distributed model-checker for timed automata.	ICSE	2002	DBLP DOI BibTeX RDF
9	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based contstraint logic programming: syntax and semantics.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	semantics, constraints, soft constraints
9	Ralph D. Jeffords, Constance L. Heitmeyer	An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.	RE	2001	DBLP DOI BibTeX RDF
9	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández	A Computational Model for Functional Logic Deductive Databases.	ICLP	2001	DBLP DOI BibTeX RDF
9	Jin Yang 0006, Andreas Tiemeyer	Lazy symbolic model checking.	DAC	2000	DBLP DOI BibTeX RDF
9	Michael Codish, Bart Demoen, Konstantinos Sagonas	Semantics-Based Program Analysis for Logic-Based Languages Using XSB.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Semantics-based program analysis, Logic programming language analysis, XSB
9	Mauricio Osorio 0001	Semantics of Partial-Order Programs.	JELIA	1998	DBLP DOI BibTeX RDF
9	Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria	The Fixpoint-Analysis Machine.	CONCUR	1995	DBLP DOI BibTeX RDF
9	Stacy E. Finkelstein, Peter J. Freyd, James Lipton	Logic Programming in Tau Categories.	CSL	1994	DBLP DOI BibTeX RDF
9	Paola Inverardi, Corrado Priami, Daniel Yankelevich	Extended Transition Systems for Parametric Bisimulation.	ICALP	1993	DBLP DOI BibTeX RDF
9	Surajit Chaudhuri	Finding Nonrecursive Envelopes for Datalog Predicates.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
9	Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi	Modeling Prolog Control.	POPL	1992	DBLP DOI BibTeX RDF	Prolog
9	Christos H. Papadimitriou, Mihalis Yannakakis	Tie-Breaking Semantics and Structural Totality.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
9	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
9	Vladimir B. Borshchev	Properties of Algorithmic Operators.	RCLP	1991	DBLP DOI BibTeX RDF
9	Paul Gastin	Infinite Traces.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
9	Craig Chambers, David M. Ungar	Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs.	PLDI	1990	DBLP DOI BibTeX RDF
9	Jacques Julliand, Guy-René Perrin	Asynchronous Functional Parallel Programs.	ICCI	1990	DBLP DOI BibTeX RDF	Parallelism, Asynchronous Communications, Functional Language, Equations, Natural Semantics
9	Bruno Courcelle, F. Lavandier	A Class of Program Schemes Based on Tree Rewriting Systems.	CAAP	1983	DBLP DOI BibTeX RDF