Search results for "determinacy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Takako Nemoto	Complete Determinacy and Subsystems of Second Order Arithmetic.	CiE	2008	DBLP DOI BibTeX RDF	complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy
3	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	ACSD	2007	DBLP DOI BibTeX RDF	output-determinacy, OR-causality, decomposition, asynchronous circuits, STG
3	Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo	Determinacy Analysis for Logic Programs Using Mode and Type Information.	LOPSTR	2004	DBLP DOI BibTeX RDF	Determinacy Inference, Program Analysis, Types, Modes
2	Bruno Marnette, Floris Geerts	Static analysis of schema-mappings ensuring oblivious termination.	ICDT	2010	DBLP DOI BibTeX RDF	relative completeness, data integration, data exchange, schema mapping, determinacy
2	Nathalie Bertrand, Blaise Genest, Hugo Gimbert	Qualitative Determinacy and Decidability of Stochastic Games with Signals.	LICS	2009	DBLP DOI BibTeX RDF
2	Yurii Khomskii	A General Setting for the Pointwise Investigation of Determinacy.	ICLA	2009	DBLP DOI BibTeX RDF
2	Alan Nash, Luc Segoufin, Victor Vianu	Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report.	ICDT	2007	DBLP DOI BibTeX RDF
2	Eryk Kopczynski	Half-Positional Determinacy of Infinite Games.	ICALP	2006	DBLP DOI BibTeX RDF
2	Andy King, Lunjin Lu, Samir Genaim	Detecting Determinacy in Prolog Programs.	ICLP	2006	DBLP DOI BibTeX RDF
2	Luc Segoufin, Victor Vianu	Views and queries: determinacy and rewriting.	PODS	2005	DBLP DOI BibTeX RDF
2	Lunjin Lu, Andy King	Determinacy Inference for Logic Programs.	ESOP	2005	DBLP DOI BibTeX RDF
2	Erich Grädel	Positional Determinacy of Infinite Games.	STACS	2004	DBLP DOI BibTeX RDF
2	Dietmar Berwanger, Erich Grädel, Stephan Kreutzer	Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games.	LPAR	2003	DBLP DOI BibTeX RDF
2	Mark B. Josephs	An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits.	ASYNC	2003	DBLP DOI BibTeX RDF
2	Mingdong Feng, Charles E. Leiserson	Efficient Detection of Determinacy Races in Cilk Programs.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
2	Torben Æ. Mogensen	A Semantics-Based Determinacy Analysis for Prolog with Cut.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
2	Anna Philippou, David Walker	On Sharing and Determinacy in Concurrent Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
2	Josyula R. Rao	Eventual determinism: using probabilistic means to achieve deterministic ends.	HICSS	1995	DBLP DOI BibTeX RDF	eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
2	Evan Tick, Mark Korsloot	Determinacy Testing for Nondeterminate Logic Programming Languages.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Andorra model, Pandora, decision graphs
2	E. Allen Emerson, Charanjit S. Jutla	Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	infinite trees, online algorithms, decidability, finite automata, equivalence, complementation, mu-calculus, infinite games, determinacy
2	Paul R. Kosinki	A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs.	POPL	1978	DBLP DOI BibTeX RDF	data flow programming, non-determinacy, denotational semantics
1	Jose A. Fernandez-Leon	Behavioral robustness: An emergent phenomenon by means of distributed mechanisms and neurodynamic determinacy.	Biosystems	2012	DBLP DOI BibTeX RDF
1	Stéphane Le Roux	From determinacy to Nash equilibrium	CoRR	2012	DBLP BibTeX RDF
1	Wenfei Fan, Floris Geerts, Lixiao Zheng	View determinacy for preserving selected information in data transformations.	Inf. Syst.	2012	DBLP DOI BibTeX RDF
1	Olivier Finkel	The Determinacy of Context-Free Games.	STACS	2012	DBLP DOI BibTeX RDF
1	Foto N. Afrati	Determinacy and query rewriting for conjunctive queries and views.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Philip D. Welch	Determinacy in strong cardinal models.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Philip D. Welch	Weak systems of determinacy and arithmetical quasi-inductive definitions.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Jael Kriener, Andy King	RedAlert: Determinacy Inference for Prolog	CoRR	2011	DBLP BibTeX RDF
1	Olivier Finkel	The Determinacy of Context-Free Games	CoRR	2011	DBLP BibTeX RDF
1	Jael Kriener, Andy King	RedAlert: Determinacy inference for Prolog.	TPLP	2011	DBLP DOI BibTeX RDF
1	Christoph von Praun	Determinacy.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1		Determinacy Race.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Lixiao Zheng, Haiming Chen	Determinacy and rewriting of conjunctive queries over unary database schemas.	SAC	2011	DBLP DOI BibTeX RDF
1	Daniel Pasaila	Conjunctive queries determinacy and rewriting.	ICDT	2011	DBLP DOI BibTeX RDF
1	Rein Kuusik, Grete Lind	New Developments of Determinacy Analysis.	ADMA	2011	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Daniele Gorla, Anna Labella	Tree-functors, determinacy and bisimulations.	Mathematical Structures in Computer Science	2010	DBLP DOI BibTeX RDF
1	Alan Nash, Luc Segoufin, Victor Vianu	Views and queries: Determinacy and rewriting.	ACM Trans. Database Syst.	2010	DBLP DOI BibTeX RDF
1	Christoph Heinatsch, Michael Möllerfeld	The determinacy strength of Pi12-comprehension.	Ann. Pure Appl. Logic	2010	DBLP DOI BibTeX RDF
1	Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.	New Generation Comput.	2010	DBLP DOI BibTeX RDF
1	Rein Kuusik, Grete Lind	Some Developments of Determinacy Analysis.	ADMA	2010	DBLP DOI BibTeX RDF
1	Takako Nemoto	Determinacy of Wadge classes and subsystems of second order arithmetic.	Math. Log. Q.	2009	DBLP DOI BibTeX RDF
1	Carlos Pimienta	Generic determinacy of Nash equilibrium in network-formation games.	Games and Economic Behavior	2009	DBLP DOI BibTeX RDF
1	Paul Hänsch, Michaela Slaats, Wolfgang Thomas	Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies.	FCT	2009	DBLP DOI BibTeX RDF
1	Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq	A Dynamic Algorithm for Reachability Games Played on Trees.	MFCS	2009	DBLP DOI BibTeX RDF
1	Elizabeth Barnes	Indeterminacy, identity and counterparts: Evans reconsidered.	Synthese	2009	DBLP DOI BibTeX RDF	Vague identity, Ontic vagueness, Counterpart theory, Indeterminacy
1	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Nathalie Bertrand, Blaise Genest, Hugo Gimbert	Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides	CoRR	2008	DBLP BibTeX RDF
1	Grete Lind, Rein Kuusik	Some Problems in Determinacy Analysis Approaches Development.	DMIN	2008	DBLP BibTeX RDF
1	Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis	Recursive Stochastic Games with Positive Rewards.	ICALP	2008	DBLP DOI BibTeX RDF
1	Wolfram Kahl	Determinisation of Relational Substitutions in Ordered Categories with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Ivo Düntsch, Günther Gediga	Probabilistic Granule Analysis.	RSCTC	2008	DBLP DOI BibTeX RDF
1	Julien Cristau, Florian Horn	On Reachability Games of Ordinal Length.	SOFSEM	2008	DBLP DOI BibTeX RDF
1	MedYahya Ould MedSalem, Kazuyuki Tanaka	Delta03-determinacy, comprehension and induction.	J. Symb. Log.	2007	DBLP BibTeX RDF
1	Roberto M. Amadio, Mehdi Dogguy	Determinacy in a synchronous pi-calculus	CoRR	2007	DBLP BibTeX RDF
1	Jun Ma, Da Ruan, Yang Xu, Guangquan Zhang	A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making.	Int. J. Approx. Reasoning	2007	DBLP DOI BibTeX RDF
1	Stephen Pollard	Mathematical determinacy and the transferability of aboutness.	Synthese	2007	DBLP DOI BibTeX RDF
1	John Strassner, Barry J. Menich, Walter Johnson	Providing Seamless Mobility in Wireless Networks Using Autonomic Mechanisms.	AIMS	2007	DBLP DOI BibTeX RDF	causal determinacy, key quality indicator, data model, autonomic computing, information model, seamless mobility, key performance indicator
1	Yang Zhao, Jie Liu, Edward A. Lee	A Programming Model for Time-Synchronized Distributed Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
1	Victor L. Selivanov	Fine Hierarchy of Regular Aperiodic omega -Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	acceptor, regular aperiodic ?-language, Wagner hierarchy, reducibility, Automaton, transducer
1	Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker	Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.	FSEN	2007	DBLP DOI BibTeX RDF
1	Javier Montero, Daniel Gómez, Humberto Bustince Sola	Atanassov's Intuitionistic Fuzzy Sets as a Classification Model.	IFSA	2007	DBLP DOI BibTeX RDF	Atanassov’s Intuitionistic Fuzzy Sets, L-Fuzzy sets, Type-2 Fuzzy Sets, Interval Valued Fuzzy Sets
1	Foto N. Afrati	Rewriting Conjunctive Queries Determined by Views.	MFCS	2007	DBLP DOI BibTeX RDF
1	Chongbing Liu, Enrico Pontelli	Inductive Logic Programming by Instance Patterns.	PADL	2007	DBLP DOI BibTeX RDF	Concept Instance, Patterns, Inductive Logic Programming
1	Rafael Wisniewski, Martin Raussen	Geometric analysis of nondeterminacy in dynamical systems.	Acta Inf.	2007	DBLP DOI BibTeX RDF
1	Benedikt Löwe	A parametrised choice principle and Martin's conjecture on Blackwell determinacy.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
1	Charles T. Carlstrom, Timothy S. Fuerst, Fabio Ghironi	Does it matter (for equilibrium determinacy) what price index the central bank targets?	J. Economic Theory	2006	DBLP DOI BibTeX RDF
1	Thomas Colcombet, Damian Niwinski	On the positional determinacy of edge-labeled games.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Itay Neeman	Determinacy for games ending at the first admissible relative to the play.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Erich Grädel, Igor Walukiewicz	Positional Determinacy of Games with Infinitely Many Priorities.	Logical Methods in Computer Science	2006	DBLP DOI BibTeX RDF
1	Alessandro Andretta	More on Wadge determinacy.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Erich Grädel, Igor Walukiewicz	Postinal Determinacy of Games with Infinitely Many Priorities	CoRR	2006	DBLP BibTeX RDF
1	Erich Grädel, Igor Walukiewicz	Positional Determinacy of Games with Infinitely Many Priorities	CoRR	2006	DBLP BibTeX RDF
1	Denis Caromel, Ludovic Henrio	Asynchonous Distributed Components: Concurrency and Determinacy.	IFIP TCS	2006	DBLP DOI BibTeX RDF
1	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Design with race-free hardware semantics.	DATE	2006	DBLP DOI BibTeX RDF
1	Pierre-Malo Deniélou, James J. Leifer	Abstraction preservation and subtyping in distributed languages.	ICFP	2006	DBLP DOI BibTeX RDF	serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems
1	Kousha Etessami, Mihalis Yannakakis	Recursive Concurrent Stochastic Games.	ICALP	2006	DBLP DOI BibTeX RDF
1	Celine Vens, Jan Ramon, Hendrik Blockeel	ReMauve: A Relational Model Tree Learner.	ILP	2006	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger	Finitary Winning in omega-Regular Games.	TACAS	2006	DBLP DOI BibTeX RDF
1	John Strassner, Barry J. Menich	Philosophy and Methodology for Knowledge Discovery in Autonomic Computing Systems.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Causal and Developmental Morphology, Causal Determinacy, Superficial Causality, Ontology, Machine Learning, Autonomic Computing, Information Model
1	Tim Poston, Ankur Dhanik, Etienne Burdet, Chee Leong Teo	Haptics of Buckling.	WHC	2005	DBLP DOI BibTeX RDF	buckling, catastrophe, Zeeman machine, haptic, bifurcation, determinacy
1	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Extended abstract: a race-free hardware modeling language.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Benedikt Löwe	A Global Wellordering of Norms Defined via Blackwell Games.	Order	2005	DBLP DOI BibTeX RDF	Martin’s conjecture on the equivalence of determinancy and Blackwell determinancy, prewellorderings, imperfect information games, First Periodicity Theorem
1	Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov	Memoryless determinacy of parity and mean payoff games: a simple proof.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Lourdes Peña Castillo, Stefan Wrobel	A comparative study on methods for reducing myopia of hill-climbing search in multirelational learning.	ICML	2004	DBLP DOI BibTeX RDF
1	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson	On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.	SPAA	2004	DBLP DOI BibTeX RDF	SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
1	Gengbin Zheng, Gunavardhan Kakulapati, Laxmikant V. Kalé	BigSim: A Parallel Simulator for Performance Prediction of Extremely Large Parallel Machines.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Philip D. Welch	On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Large cardinals, Inner models, Descriptive set theory, Constructibility
1	Donald A. Martin, Itay Neeman, Marco Vervoort	The strength of Blackwell determinacy.	J. Symb. Log.	2003	DBLP BibTeX RDF
1	Alessandro Andretta	Equivalence between Wadge and Lipschitz determinacy.	Ann. Pure Appl. Logic	2003	DBLP DOI BibTeX RDF
1	Alan Schmitt, Jean-Bernard Stefani	The m-calculus: a higher-order distributed process calculus.	POPL	2003	DBLP DOI BibTeX RDF	mobility, distribution, type systems, process calculi, higher order
1	Duminda Wijesekera, Sushil Jajodia	A propositional policy algebra for access control.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	policy algebra, Access control, security policy, policy composition
1	Thomas M. Parks, David Roberts	Distributed Process Networks in Java.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Kevin Hammond, Greg Michaelson	The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
1	Kevin Hammond, Greg Michaelson	Hume: A Domain-Specific Language for Real-Time Embedded Systems.	GPCE	2003	DBLP DOI BibTeX RDF
1	Valentin Goranko	The Basic Algebra of Game Equivalences.	Studia Logica	2003	DBLP DOI BibTeX RDF	game operations, game algebra, game identities, completeness, modal logic, axiomatization
1	Stéphane Gauthier	Determinacy and Stability under Learning of Rational Expectations Equilibria.	J. Economic Theory	2002	DBLP DOI BibTeX RDF
1	David C. Blair	The challenge of commercial document retrieval, Part I: Major issues, and a framework based on search exhaustivity, determinacy of representation and document collection size.	Inf. Process. Manage.	2002	DBLP DOI BibTeX RDF
1	M. A. El-Affendi	An LVQ connectionist solution to the non-determinacy problem in Arabic morphological analysis: a learning hybrid algorithm.	Natural Language Engineering	2002	DBLP DOI BibTeX RDF
1	Raymond McDowell, Dale Miller	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax