Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Janusz A. Brzozowski, Nicolae Santean	Determinism without Determinization.	DCFS	2008	DBLP BibTeX RDF
16	Jorge A. Pérez 0001, Camilo Rueda	Non-determinism and Probabilities in Timed Concurrent Constraint Programming.	ICLP	2008	DBLP DOI BibTeX RDF
16	Pietro Ferrara 0001	Static Analysis of the Determinism of Multithreaded Programs.	SEFM	2008	DBLP DOI BibTeX RDF
16	Ernie Manes	Taut Monads, Dynamic Logic and Determinism.	MFPS	2007	DBLP DOI BibTeX RDF
16	Ulrich Ultes-Nitsche	A power-set construction for reducing Büchi automata to non-determinism degree two.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
16	Francis Bailly, Giuseppe Longo	Randomness and determinism in the interplay between the continuum and the discrete.	Math. Struct. Comput. Sci.	2007	DBLP DOI BibTeX RDF
16	Alea M. Fairchild, Efuwa A. Quansah	Approaching the digital divide in Sub-Saharan Africa: technological determinism or social constructivism?	Int. J. Knowl. Learn.	2007	DBLP DOI BibTeX RDF
16	James C. Neidhoefer, Christopher Gibson, Maithilee Kunda, Eric N. Johnson	Determinism and Autonomy in the National Airspace System (NAS).	J. Aerosp. Comput. Inf. Commun.	2007	DBLP DOI BibTeX RDF
16	Michal Armoni, Judith Gal-Ezer	Non-determinism: An abstract concept in computer science studies.	Comput. Sci. Educ.	2007	DBLP DOI BibTeX RDF
16	Marius Kloetzer, Calin Belta	Managing non-determinism in symbolic robot motion planning and control.	ICRA	2007	DBLP DOI BibTeX RDF
16	Armando Bazzani, Bruno Giorgini, Sandro Rambaldi, Marco Brambilla, L. Cattelani	Walking between free will and determinism.	SCSC	2007	DBLP BibTeX RDF	cognitive behavior, pedestrian dynamics, vision mechanism
16	Vibhav Gogate	Approximate Inference in Probabilistic Graphical Models with Determinism.	AAAI	2007	DBLP BibTeX RDF
16	Alfredo Gabaldon	Resolving Non-Determinism in Programs for Complex Task Planning with Search Control.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
16	Spyros Voulgaris, Maarten van Steen	Hybrid Dissemination: Adding Determinism to Probabilistic Multicasting in Large-Scale P2P Systems.	Middleware	2007	DBLP DOI BibTeX RDF	Epidemic/Gossip protocols, Peer-to-Peer, Information Dissemination
16	Jesse Pool, Ian Sin Kwok Wong, David Lie	Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical.	HotOS	2007	DBLP BibTeX RDF
16	Eric Kow	Surface realisation: ambiguity and determinism. (Réalisation de surface : ambiguïté et déterminisme).		2007	RDF
16	Nikos Kofidis, Athanasios Margaris, Manos Roumeliotis, Miltiades Adamopoulos	Investigation of the determinism of complex dynamical systems using simple back propagation neural networks.	Int. J. Comput. Math.	2006	DBLP DOI BibTeX RDF
16	José Miguel Cleva, Francisco Javier López-Fraguas	Semantic Determinism and Functional Logic Program Properties.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
16	Daniele Varacca, Glynn Winskel	Distributing probability over non-determinism.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
16	Arnaud Carayol, Antoine Meyer	Context-Sensitive Languages, Rational Graphs and Determinism	CoRR	2006	DBLP BibTeX RDF
16	Clare Archer-Lean, Jo-Anne Clark, Donald Kerr	Evading Technological Determinism in ERP Implementation: towards a consultative social approach.	Australas. J. Inf. Syst.	2006	DBLP BibTeX RDF
16	Arnaud Carayol, Antoine Meyer	Context-Sensitive Languages, Rational Graphs and Determinism.	Log. Methods Comput. Sci.	2006	DBLP DOI BibTeX RDF
16	Michael D. Furman, Jennifer D. Simonotto, Thomas M. Beaver, Mark L. Spano, William L. Ditto	Using recurrence quantification analysis determinism for noise removal in cardiac optical mapping.	IEEE Trans. Biomed. Eng.	2006	DBLP DOI BibTeX RDF
16	Amir H. Meghdadi, Reza Fazel-Rezai, Yahya Aghakhani	Detecting Determinism in EEG Signals using Principal Component Analysis and Surrogate Data Testing.	EMBC	2006	DBLP DOI BibTeX RDF
16	Sheng Lu, Kihwan Ju, Jørgen K. Kanters, Ki H. Chon	A Computationally Simple and Robust Method to Detect Determinism in a Time Series.	EMBC	2006	DBLP DOI BibTeX RDF
16	Chitta Baral, Jicheng Zhao	Goal Specification, Non-Determinism and Quantifying over Policies.	AAAI	2006	DBLP BibTeX RDF
16	Tachio Terauchi, Alex Aiken	A Capability Calculus for Concurrency and Determinism.	CONCUR	2006	DBLP DOI BibTeX RDF
16		Semantic Domains for Combining Probability and Non-Determinism.		2005	RDF
16	A. W. Roscoe 0001	Confluence Thanks to Extensional Determinism.	APC 25	2005	DBLP DOI BibTeX RDF
16	Michael J. Wooldridge, Paul E. Dunne	The complexity of agent design problems: Determinism and history dependence.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	AMS subject classification 03D15 (complexity), 68T35 (artificial intelligence)
16	Oscar H. Ibarra	On determinism versus nondeterminism in P systems.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
16	Dariusz R. Kowalski, Andrzej Pelc	Time complexity of radio broadcasting: adaptiveness vs. obliviousness and randomization vs. determinism.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
16	Ricardo Peña-Marí, Clara Segura	Non-determinism analyses in a parallel-functional language.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
16	Arnon Avron, Beata Konikowska	Multi-valued Calculi for Logics Based on Non-determinism.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
16	Arnon Avron	Logical Non-determinism as a Tool for Logical Modularity: An Introduction.	We Will Show Them! (1)	2005	DBLP BibTeX RDF
16	Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman	Stochastic Transition Systems for Continuous State Spaces and Non-determinism.	FoSSaCS	2005	DBLP DOI BibTeX RDF
16	Viliam Geffert	(Non)determinism and the Size of One-Way Finite Automata.	DCFS	2005	DBLP BibTeX RDF
16	Emmanuel Conchon, Johan Garcia 0001	Increasing the determinism of network emulation to evaluate communication protocols.	CoNEXT	2005	DBLP DOI BibTeX RDF	performance evaluation, multicast, wireless, emulation
16	Richard G. Scottow, Klaus D. McDonald-Maier	Measuring Determinism in Real-Time Embedded Systems using Cached Processors.	ESA	2005	DBLP BibTeX RDF
16	Lawrence J. Mazlack	Imperfect commonsense granular determinism.	GrC	2005	DBLP DOI BibTeX RDF
16	Artiom Alhazov	On Determinism of Evolution-Communication P Systems.	J. Univers. Comput. Sci.	2004	DBLP DOI BibTeX RDF
16	Elizabeth Scott, Adrian Johnstone	Reducing non-determinism in right nulled GLR parsers.	Acta Informatica	2004	DBLP DOI BibTeX RDF
16	Bernd Braßel, Michael Hanus, Frank Huch	Encapsulating Non-Determinism in Functional Logic Computations.	J. Funct. Log. Program.	2004	DBLP BibTeX RDF
16	Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras	Co-determinism and unambiguity of automata accepting finite or infinite words.	Sci. Ann. Cuza Univ.	2004	DBLP BibTeX RDF
16	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Improved Compilation of Prolog to C Using Moded Types and Determinism Information.	PADL	2004	DBLP DOI BibTeX RDF	Prolog, C, optimizing compilation, global analysis
16	John Bradley 0001	Finding a Middle Ground between 'Determinism' and 'Aesthetic Indeterminacy': a Model for Text Analysis Tools.	Lit. Linguistic Comput.	2003	DBLP DOI BibTeX RDF
16	Jaeseung Jeong, Yongho Kwak, Kyoung J. Lee	Nonlinear determinism of spiking activity recorded from rat suprachiasmatic nucleus neurons in vitro.	Neurocomputing	2003	DBLP DOI BibTeX RDF
16	Ivan Stoyanov, Stoyan Bonev	Resolving non-determinism in NFA.	CompSysTech	2003	DBLP DOI BibTeX RDF
16	David Larkin 0001, Rina Dechter	Bayesian Inference in the Presence of Determinism.	AISTATS	2003	DBLP BibTeX RDF
16	David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin	Don't Care Non-determinism in Logic Program Refinement.	CATS	2002	DBLP DOI BibTeX RDF
16	Radim Belohlávek	Determinism and fuzzy automata.	Inf. Sci.	2002	DBLP DOI BibTeX RDF
16	Patrick Marcos-Nikolaus, J. M. Martin-González, Ricard V. Solé	Spatial Forecasting: Detecting Determinism from Single Snapshots.	Int. J. Bifurc. Chaos	2002	DBLP DOI BibTeX RDF
16	Paul Licker	A Gift from the Gods? Components of Information Technological Fatalism, Determinism in Several Cultures.	Electron. J. Inf. Syst. Dev. Ctries.	2002	DBLP DOI BibTeX RDF
16	Serge Grigorieff, Jean-Yves Marion	Kolmogorov complexity and non-determinism.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
16	Miklós Ajtai	Determinism versus Nondeterminism for Linear Time RAMs with Memory Restrictions.	J. Comput. Syst. Sci.	2002	DBLP DOI BibTeX RDF
16	Petr Savický	On determinism versus unambiquous nondeterminism for decision trees	Electron. Colloquium Comput. Complex.	2002	DBLP BibTeX RDF
16	Stuart Macdonald	The IT productivity paradox revisited: technological determinism masked by management method?	Int. J. Inf. Technol. Manag.	2002	DBLP DOI BibTeX RDF
16	Suzana Andova, Jos C. M. Baeten	Alternative composition does not imply non-determinism.	Bull. EATCS	2002	DBLP BibTeX RDF
16	Jaeseung Jeong, John C. Gore, Bradley S. Peterson	Detecting determinism in short time series, with an application to the analysis of a stationary EEG recording.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
16	Jaeseung Jeong, John C. Gore, Bradley S. Peterson	A method for determinism in short time series, and its application to stationary EEG.	IEEE Trans. Biomed. Eng.	2002	DBLP DOI BibTeX RDF
16	Fernando Fernández 0001, Daniel Borrajo	On Determinism Handling While Learning Reduced State Space Representations.	ECAI	2002	DBLP BibTeX RDF
16	Vladimir V. Stegailov	Determinism and Chaos in Decay of Metastable States.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
16	Robert M. Barned, Russell J. Richards	Uniform Driver Interface (UDI) Reference Implementation and Determinism.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF
16	Mario Bravetti, Alessandro Aldini	Non-determinism in Probabilistic Timed Systems with General Distributions.	MTCS	2001	DBLP DOI BibTeX RDF
16	Marc Voorhoeve, Sjouke Mauw	Impossible futures and determinism.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
16	James Fleck, John Howells	Technology, the Technology Complex and the Paradox of Technological Determinism.	Technol. Anal. Strateg. Manag.	2001	DBLP DOI BibTeX RDF
16	Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale	Software Architectures for Reducing Priority Inversion and Non-determinism in Real-time Object Request Brokers.	Real Time Syst.	2001	DBLP DOI BibTeX RDF
16	Sanjay Gupta	Determinism, Nondeterminism, Alternation, and Counting.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
16	Christine Hardy	Self-organization, self-reference and inter-influences in multilevel webs: beyond causality and determinism.	Cybern. Hum. Knowing	2001	DBLP BibTeX RDF
16	Natsuhiro Ichinose, Kazuyuki Aihara	Detection of mutual determinism between a pair of spike trains.	Biol. Cybern.	2001	DBLP DOI BibTeX RDF
16	Corin Pitcher	Functional programming and erratic non-determinism.		2001	RDF
16	Joseph S. Alper, Mark Bridger, John Earman, John D. Norton	What Is A Newtonian System? The Failure Of Energy Conservation And Determinism In Supertasks.	Synth.	2000	DBLP DOI BibTeX RDF
16	Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus	Non-Determinism and Uncertainty in the Situation Calculus.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2000	DBLP DOI BibTeX RDF
16	Takaya Miyano, Akira Nagami, Isao T. Tokuda, Kazuyuki Aihara	Detecting nonlinear Determinism in voiced Sounds of Japanese vowel /a/.	Int. J. Bifurc. Chaos	2000	DBLP DOI BibTeX RDF
16	Ki H. Chon, Kay-Pong Yip, B. M. Camino, D. J. Marsh, Niels-Henrik Holstein-Rathlou	Modeling nonlinear Determinism in Short Time Series from noise Driven discrete and continuous Systems.	Int. J. Bifurc. Chaos	2000	DBLP DOI BibTeX RDF
16	Pavol Duris, Juraj Hromkovic, Katsushi Inoue	A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition	Electron. Colloquium Comput. Complex.	2000	DBLP BibTeX RDF
16	Manfred Schmidt-Schauß, Michael Huber	A Lambda-Calculus with letrec, case, constructors and non-determinism	CoRR	2000	DBLP BibTeX RDF
16	Israel A. Wagner, Michael Lindenbaum, Alfred M. Bruckstein	MAC Versus PC: Determinism and Randomness as Complementary Approaches to Robotic Exploration of Continuous Unknown Domains.	Int. J. Robotics Res.	2000	DBLP DOI BibTeX RDF
16	Ricardo Pena, Clara Segura	Non-determinism Analysis in a Parallel-Functional Language.	IFL	2000	DBLP DOI BibTeX RDF
16	Laura Cimponeriu, Anastasios Bezerianos	Determinism and Nonlinearity of the Heart Rhythm.	ISMDA	2000	DBLP DOI BibTeX RDF
16	Alica Kelemenová	Determinism in Eco-Grammar Systems.	Grammars	1999	DBLP DOI BibTeX RDF
16	Joydeep Bhattacharya, Partha Pratim Kanjilal	Assessing determinism of photo-plethysmographic signal.	IEEE Trans. Syst. Man Cybern. Part A	1999	DBLP DOI BibTeX RDF
16	Yasunari Fujimoto, Tadashi Iokibe	Determinism Measurement in Time Series by Chaotic Approach and Its Applications.	J. Adv. Comput. Intell. Intell. Informatics	1999	DBLP DOI BibTeX RDF
16	Emmanuel Guere, Rachid Alami	A Possibilistic Planner that Deals with Non-Determinism and Contingency.	IJCAI	1999	DBLP BibTeX RDF
16	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith	Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications.	SRDS	1999	DBLP DOI BibTeX RDF
16	Sergio Greco	Non-Determinism and Weak Constraints in Datalog.	New Gener. Comput.	1998	DBLP DOI BibTeX RDF
16	Richard Marlon Stein	Does Determinism Dictate Dignity?	Computer	1998	DBLP DOI BibTeX RDF
16	Frank Neven	Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism.	FMLDO	1998	DBLP BibTeX RDF
16	Orna Kupferman, Moshe Y. Vardi	Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time.	LICS	1998	DBLP DOI BibTeX RDF
16	Jonathan Wareham, Peter Neergaard	Still guilty of technological determinism? Reengineering in the insurance sector.	ECIS	1998	DBLP BibTeX RDF
16	Alica Kelemenová, Radim Petr	On Determinism in Eco-Grammar Systems.	MFCS Workshop on Grammar Systems	1998	DBLP BibTeX RDF
16	Robert Ennals	Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.	ICFP	1998	DBLP DOI BibTeX RDF
16	Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani	Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability.	AAAI/IAAI	1998	DBLP BibTeX RDF
16	Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale	Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures.	IEEE Real Time Technology and Applications Symposium	1998	DBLP DOI BibTeX RDF
16	Jane E. Sinclair	Action systems, determinism and the development of secure systems.		1998	RDF
16	Søren B. Lassen, Corin Pitcher	Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.	HOOTS	1997	DBLP DOI BibTeX RDF
16	Stéphane Grumbach, Zoé Lacroix	On Non-Determinism in Machines and Languages.	Ann. Math. Artif. Intell.	1997	DBLP DOI BibTeX RDF
16	Dino Pedreschi, V. S. Subrahmanian	Non-determinism in Deductive Databases - Preface.	Ann. Math. Artif. Intell.	1997	DBLP BibTeX RDF
16	Fosca Giannotti, Sergio Greco, Domenico Saccà, Carlo Zaniolo	Programming with Non-Determinism in Deductive Databases.	Ann. Math. Artif. Intell.	1997	DBLP DOI BibTeX RDF
16	Murray Shanahan	Noise, Non-Determinism and Spatial Uncertainty.	AAAI/IAAI	1997	DBLP BibTeX RDF