Search results for "determinacy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Jun Ma 0002, Da Ruan 0001, Yang Xu 0001, Guangquan Zhang 0001	Erratum to "A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making" [Int. J. Approx. Reasoning 44 (2007) 165-181].	Int. J. Approx. Reason.	2007	DBLP DOI BibTeX RDF
20	Jun Ma 0002, Da Ruan 0001, Yang Xu 0001, Guangquan Zhang 0001	A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making.	Int. J. Approx. Reason.	2007	DBLP DOI BibTeX RDF
20	Roberto M. Amadio, Mehdi Dogguy	Determinacy in a synchronous pi-calculus	CoRR	2007	DBLP BibTeX RDF
20	Ishanu Chattopadhyay, Asok Ray	Generalized Projections in Finite State Automata & Decidability of State Determinacy.	ACC	2007	DBLP DOI BibTeX RDF
20	Charles T. Carlstrom, Timothy S. Fuerst, Fabio Ghironi	Does it matter (for equilibrium determinacy) what price index the central bank targets?	J. Econ. Theory	2006	DBLP DOI BibTeX RDF
20	Itay Neeman	Determinacy for games ending at the first admissible relative to the play.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
20	Benedikt Löwe	A parametrised choice principle and Martin's conjecture on Blackwell determinacy.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
20	Thomas Colcombet, Damian Niwinski	On the positional determinacy of edge-labeled games.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
20	Erich Grädel, Igor Walukiewicz	Positional Determinacy of Games with Infinitely Many Priorities	CoRR	2006	DBLP BibTeX RDF
20		Postinal Determinacy of Games with Infinitely Many Priorities	CoRR	2006	DBLP BibTeX RDF
20	Erich Grädel, Igor Walukiewicz	Positional Determinacy of Games with Infinitely Many Priorities.	Log. Methods Comput. Sci.	2006	DBLP DOI BibTeX RDF
20	Alessandro Andretta	More on Wadge determinacy.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
20	Denis Caromel, Ludovic Henrio	Asynchonous Distributed Components: Concurrency and Determinacy.	IFIP TCS	2006	DBLP DOI BibTeX RDF
20	Zhiping Chen	Existence, uniqueness, and Determinacy of a Nonnegative equilibrium Price Vector in Asset Markets with General Utility Functions and an elliptical Distribution.	Asia Pac. J. Oper. Res.	2004	DBLP DOI BibTeX RDF
20	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
20	Jiangtao Xi, Zheng Lin 0009, Zongkai Yang, Joe F. Chicharo	Noise reduction for chaotic signals based on new approach of measuring the signal determinacy.	EUSIPCO	2004	DBLP BibTeX RDF
20	Donald A. Martin, Itay Neeman, Marco Vervoort	The strength of Blackwell determinacy.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
20	Alessandro Andretta	Equivalence between Wadge and Lipschitz determinacy.	Ann. Pure Appl. Log.	2003	DBLP DOI BibTeX RDF
20	Ludovic Henrio	Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy).		2003	RDF
20	Stéphane Gauthier	Determinacy and Stability under Learning of Rational Expectations Equilibria.	J. Econ. Theory	2002	DBLP DOI BibTeX RDF
20	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. Manag.	2002	DBLP DOI BibTeX RDF
20	Itay Neeman	Optimal Proofs of Determinacy II.	J. Math. Log.	2002	DBLP DOI BibTeX RDF
20	Mohammed Ahmed El-Affendi	An LVQ connectionist solution to the non-determinacy problem in Arabic morphological analysis: a learning hybrid algorithm.	Nat. Lang. Eng.	2002	DBLP DOI BibTeX RDF
20	Carine Nourry, Alain Venditti	Determinacy of Equilibrium in an Overlapping Generations Model with Heterogeneous Agents.	J. Econ. Theory	2001	DBLP DOI BibTeX RDF
20	Jules Desharnais, Bernhard Möller	Characterizing determinacy in Kleene algebras.	Inf. Sci.	2001	DBLP DOI BibTeX RDF
20	Ralf Küsters	Memoryless Determinacy of Parity Games.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
20	Donald A. Martin	The Determinacy of Blackwell Games.	J. Symb. Log.	1998	DBLP DOI BibTeX RDF
20	Stephen F. Mills, Murat M. Tanik	Determinacy and Concurrency Issues in Process Engineering.	J. Syst. Integr.	1998	DBLP DOI BibTeX RDF
20	Mingdong Feng, Charles E. Leiserson	Efficient Detection of Determinacy Races in Cilk Programs.	SPAA	1997	DBLP DOI BibTeX RDF	Concurrent C
20	Tomoyuki Yamakami	Polynomial Games and Determinacy.	Ann. Pure Appl. Log.	1996	DBLP DOI BibTeX RDF
20	Philip D. Welch	Determinacy in the Difference Hierarchy of Co-Analytic Sets.	Ann. Pure Appl. Log.	1996	DBLP DOI BibTeX RDF
20	Uwe Nestmann	On determinacy and nondeterminacy in concurrent programming.		1996	RDF
20	Derrick Albert DuBose	Determinacy and the Sharp Function on Objects of Type k.	J. Symb. Log.	1995	DBLP DOI BibTeX RDF
20	Itay Neeman	Optimal proofs of determinacy.	Bull. Symb. Log.	1995	DBLP DOI BibTeX RDF
20	Enrico Pontelli, Gopal Gupta 0001, Dongxing Tang	Determinacy Driven Optimizations of And-Parallel Prolog Implementations.	ICLP	1995	DBLP BibTeX RDF
20	Holger Petersen 0001	On the Determinacy Problem for Two-Way Pushdown Automata.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
20	Nils Klarlund	Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata.	Ann. Pure Appl. Log.	1994	DBLP DOI BibTeX RDF
20	R. Suzanne Zeitman	Unforgettable Forgetful Determinacy.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
20	Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. C. Sekar 0001	Extracting Determinacy in Logic Programs.	ICLP	1993	DBLP BibTeX RDF
20	Richard S. Stevens, David J. Kaplan	Determinacy of Generalized Schema.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF
20	Derrick Albert DuBose	Determinacy and the Sharp Functions on the Reals (Corrected Version).	Ann. Pure Appl. Log.	1992	DBLP DOI BibTeX RDF
20	Nils Klarlund	Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata	LICS	1992	DBLP DOI BibTeX RDF
20	Derrick Albert DuBose	Determinacy and the Sharp Functions on the Reals.	Ann. Pure Appl. Log.	1991	DBLP DOI BibTeX RDF
20	Kazuyuki Tanaka	Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games).	Ann. Pure Appl. Log.	1991	DBLP DOI BibTeX RDF
20	F. Warren Burton	Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics.	J. Funct. Program.	1991	DBLP DOI BibTeX RDF
20	Dan Sahlin	Determinacy Analysis for Full Prolog.	PEPM	1991	DBLP DOI BibTeX RDF	Prolog
20	Derrick Albert DuBose	The Equivalence of Determinacy and Iterated Sharps.	J. Symb. Log.	1990	DBLP DOI BibTeX RDF
20	Kazuyuki Tanaka	Weak axioms of determinacy and subsystems of analysis I: δ.	Math. Log. Q.	1990	DBLP DOI BibTeX RDF
20	Feng Yang, Ding-Zhu Du	The complexity of determinacy problem on group testing.	Discret. Appl. Math.	1990	DBLP DOI BibTeX RDF
20	Donald A. Martin	An Extension of Borel Determinacy.	Ann. Pure Appl. Log.	1990	DBLP DOI BibTeX RDF
20	Alexander Yakhnis, Vladimir Yakhnis	Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem: A Criterion for the Winning Player and an Explicit Class of Winning Strategies.	Ann. Pure Appl. Log.	1990	DBLP DOI BibTeX RDF
20	Ramez L. Sami	Turing determinacy and the continuum hypothesis.	Arch. Math. Log.	1989	DBLP DOI BibTeX RDF
20	Elisabeth Bouscaren, Ehud Hrushovski	Classification Theory, n-Tuples of Models and Finite Determinacy.	Easter Conference on Model Theory	1989	DBLP BibTeX RDF
20	Dianne P. O'Leary, G. W. Stewart	From Determinacy to Systaltic Arrays.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF
20	Toshikazu Kato, Kouji Wakimoto, Kosaku Inagaki, Toshiyuki Sakai	Determinacy problem in relaxation method-analysis of asynchronous parallel processing.	Syst. Comput. Jpn.	1986	DBLP DOI BibTeX RDF
20	Howard Becker	Determinacy of Banach Games.	J. Symb. Log.	1985	DBLP DOI BibTeX RDF
20	Joost Engelfriet	Determinacy - (Observation Equivalence = Trace Equivalence).	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
20	Hajime Sawamura, Taku Takeshima	Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization.	SLP	1985	DBLP BibTeX RDF
20	Nam Sung Woo, Carl H. Smith, Ashok K. Agrawala	A Proof of the Determinacy Property of the Data Flow Schema.	Inf. Process. Lett.	1984	DBLP DOI BibTeX RDF
20	David E. Muller, Paul E. Schupp	Alternating automata on infinite objects, determinacy and Rabin's theorem.	Automata on Infinite Words	1984	DBLP DOI BibTeX RDF
20	John R. Steel	Determinacy in the Mitchell models.	Ann. Math. Log.	1982	DBLP DOI BibTeX RDF
20	Leo Harrington	Analytic Determinacy and 0 #.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
20	Taro Ura	Local Determinacy of Abstract Local Dynamical Systems.	Math. Syst. Theory	1975	DBLP DOI BibTeX RDF
20	Edsger W. Dijkstra	Guarded commands, non-determinacy and a calculus for the derivation of programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
20	Peter J. Denning	On the determinacy of schemata.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
15	Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq	A Dynamic Algorithm for Reachability Games Played on Trees.	MFCS	2009	DBLP DOI BibTeX RDF
15	Paul Hänsch, Michaela Slaats, Wolfgang Thomas	Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies.	FCT	2009	DBLP DOI BibTeX RDF
15	Wolfram Kahl	Determinisation of Relational Substitutions in Ordered Categories with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
15	Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis	Recursive Stochastic Games with Positive Rewards.	ICALP (1)	2008	DBLP DOI BibTeX RDF
15	Ivo Düntsch, Günther Gediga	Probabilistic Granule Analysis.	RSCTC	2008	DBLP DOI BibTeX RDF
15	Julien Cristau, Florian Horn 0001	On Reachability Games of Ordinal Length.	SOFSEM	2008	DBLP DOI BibTeX RDF
15	Rafael Wisniewski, Martin Raussen	Geometric analysis of nondeterminacy in dynamical systems.	Acta Informatica	2007	DBLP DOI BibTeX RDF
15	Chongbing Liu, Enrico Pontelli	Inductive Logic Programming by Instance Patterns.	PADL	2007	DBLP DOI BibTeX RDF	Concept Instance, Patterns, Inductive Logic Programming
15	Javier Montero, Daniel Gómez 0001, Humberto Bustince Sola	Atanassov's Intuitionistic Fuzzy Sets as a Classification Model.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Atanassov’s Intuitionistic Fuzzy Sets, L-Fuzzy sets, Type-2 Fuzzy Sets, Interval Valued Fuzzy Sets
15	Foto N. Afrati	Rewriting Conjunctive Queries Determined by Views.	MFCS	2007	DBLP DOI BibTeX RDF
15	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
15	Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker	Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.	FSEN	2007	DBLP DOI BibTeX RDF
15	Yang Zhao, Jie Liu 0001, 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
15	Kousha Etessami, Mihalis Yannakakis	Recursive Concurrent Stochastic Games.	ICALP (2)	2006	DBLP DOI BibTeX RDF
15	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
15	Krishnendu Chatterjee, Thomas A. Henzinger	Finitary Winning in omega-Regular Games.	TACAS	2006	DBLP DOI BibTeX RDF
15	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
15	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
15	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
15	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
15	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
15	Valentin Goranko	The Basic Algebra of Game Equivalences.	Stud Logica	2003	DBLP DOI BibTeX RDF	game operations, game algebra, game identities, completeness, modal logic, axiomatization
15	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
15	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
15	Thomas M. Parks, David Roberts	Distributed Process Networks in Java.	IPDPS	2003	DBLP DOI BibTeX RDF
15	Kevin Hammond, Greg Michaelson	Hume: A Domain-Specific Language for Real-Time Embedded Systems.	GPCE	2003	DBLP DOI BibTeX RDF
15	Raymond McDowell, Dale Miller 0001	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
15	Kevin Hammond, Greg Michaelson	Predictable Space Behaviour in FSM-Hume.	IFL	2002	DBLP DOI BibTeX RDF
15	Frederick V. Ramsey, James J. Alpigini	Rough Sets, Guarded Command Language, and Decision Rules.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
15	Benedikt Löwe	Turing cones and set theory of the reals.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000):03D28, 03E60, 03D65, 03E50, 03E15
15	René Mazala	Infinite Games.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
15	Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan	Synthesizing Distributed Transition Systems from Global Specification.	FSTTCS	1999	DBLP DOI BibTeX RDF
15	Edward A. Lee, Alberto L. Sangiovanni-Vincentelli	A framework for comparing models of computation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
15	María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal	Specialization of Lazy Functional Logic Programs.	PEPM	1997	DBLP DOI BibTeX RDF	integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
15	Raymond McDowell, Dale Miller 0001	A Logic for Reasoning with Higher-Order Abstract Syntax.	LICS	1997	DBLP DOI BibTeX RDF