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 |
|