|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7668 occurrences of 3581 keywords
|
|
|
Results
Found 16617 publication records. Showing 16617 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Serge Abiteboul, Eric Simon, Victor Vianu |
Non-Deterministic Languages to Express Deterministic Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 218-229, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Lennart Lindh, Johan Stärner, John Furunäs |
From single to multiprocessor real-time kernels in hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 42-43, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiprocessor real-time kernels, single processor real-time kernels, improved performance, improved determinism, integrated deterministic CPU, deterministic multitasking real time kernel, high performance multitasking real time kernel, high performance standalone multitasking real time kernel, deterministic standalone multitasking real time kernel, heterogeneous multiprocessor real-time systems, homogeneous multiprocessor real-time systems, scheduling, performance evaluation, real-time systems, multiprocessing systems, hardware, reconfigurable architectures, processor scheduling, multiprogramming, operating system kernels, firmware |
41 | Sriram C. Krishnan, Anuj Puri, Robert K. Brayton |
Deterministic w Automata vis-a-vis Deterministic Buchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings, pp. 378-386, 1994, Springer, 3-540-58325-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
41 | Miguel Areias 0001, Ricardo Rocha 0001 |
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, pp. 113-125, 2009, Springer, 978-3-642-04685-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Deterministic Calls and Answers, Implementation, Tabling |
41 | Leszek Gasieniec, Aris Pagourtzis, Igor Potapov, Tomasz Radzik |
Deterministic Communication in Radio Networks with Large Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 47(1), pp. 97-117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Anne Brüggemann-Klein, Derick Wood |
Deterministic Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 173-184, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Classification Automata and formal languages, esp. formal models in document processing |
38 | Josyula R. Rao |
Eventual determinism: using probabilistic means to achieve deterministic ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 29-38, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
38 | Shridhar K. Mukund, Edward J. McCluskey, T. R. N. Rao |
An apparatus for pseudo-deterministic testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 125-131, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
pseudo-deterministic testing, deterministic patterns, at-speed BIST, arbitrary length shift register, care bits, tap configurations, test segments, don't care bits, random pattern resistant faults, interconnected logic blocks, logic testing, built-in self test, integrated circuit testing, LFSR, shift registers, computational efficiency, test vector, pseudo-random sequences |
37 | Yunji Chen, Weiwu Hu, Tianshi Chen 0002, Ruiyang Wu |
LReplay: a pending period based deterministic replay scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France, pp. 187-197, 2010, ACM, 978-1-4503-0053-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
global clock, pending period, physical time order, multi-core processor, deterministic replay, dfd |
37 | Marek Olszewski, Jason Ansel, Saman P. Amarasinghe |
Kendo: efficient deterministic multithreading in software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 97-108, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deterministic multithreading, parallel programming, debugging, multicore, determinism |
37 | Bogdan S. Chlebus, Leszek Gasieniec, Anna Östlin, John Michael Robson |
Deterministic Radio Broadcasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 717-728, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Broadcasting, Distributed, Radio network, Deterministic |
37 | Ronald de Wolf |
Characterization of Non-Deterministic Quantum Query and Quantum Communication Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 15th Annual IEEE Conference on Computational Complexity, Florence, Italy, July 4-7, 2000, pp. 271-278, 2000, IEEE Computer Society, 0-7695-0674-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
non-deterministic computation, Quantum computing, communication complexity, query complexity |
36 | Ken McKinnon, Yu Yu |
Solving Stochastic Ship Fleet Routing Problems with Inventory Management Using Branch and Price. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 141-165, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Yaroslav D. Sergeyev, Dmitri E. Kvasov, Marat S. Mukhametzhanov |
On the Least-Squares Fitting of Data by Sinusoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 209-226, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Algirdas Lancinskas, Pascual Fernández, Blas Pelegrín, Julius Zilinskas |
Estimating the Pareto Front of a Hard Bi-criterion Competitive Facility Location Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 255-272, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Michael Emmerich, Kaifeng Yang, André H. Deutz, Hao Wang 0025, Carlos M. Fonseca |
A Multicriteria Generalization of Bayesian Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 229-242, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Eric S. Fraga, Oluwamayowa O. Amusat |
Understanding the Impact of Constraints: A Rank Based Fitness Function for Evolutionary Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 243-254, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Jolita Bernataviciene, Gintautas Dzemyda, Olga Kurasova, Virginijus Marcinkevicius, Viktor Medvedev, Povilas Treigys |
Cloud Computing Approach for Intelligent Visualization of Multidimensional Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 73-85, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Jonas Mockus, Lina Pupeikiene |
Investigation of Data Regularization and Optimization of Timetables by Lithuanian High Schools Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 167-180, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Vladik Kreinovich, Andrzej Pownuk, Olga Kosheleva |
Combining Interval and Probabilistic Uncertainty: What Is Computable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 13-32, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Ingrida Steponavice, Mojdeh Shirazi-Manesh, Rob J. Hyndman, Kate Smith-Miles, Laura Villanova |
On Sampling Methods for Costly Multi-Objective Black-Box Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 273-296, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Audrone Jakaitiene, Mara Sangiovanni, Mario R. Guarracino, Panos M. Pardalos |
Multidimensional Scaling for Genomic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 129-139, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Carlos Pérez-Galván, Ian David Lockhart Bogle |
Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 181-207, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | James M. Calvin |
On the Asymptotic Tractability of Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 3-12, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Ider Tseveendorj, Dominique Fortin |
Survey of Piecewise Convex Maximization and PCMP over Spherical Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 33-52, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Simon Wessing, Günter Rudolph, Mike Preuss |
Assessing Basin Identification Methods for Locating Multiple Optima. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 53-70, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Gareth Davies 0004, Jonathan Gillard 0002, Anatoly Zhigljavsky |
Comparative Study of Different Penalty Functions and Algorithms in Survey Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Stochastic and Deterministic Global Optimization ![In: Advances in Stochastic and Deterministic Global Optimization., pp. 87-127, 2016, Springer, 978-3-319-29973-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Joab R. Winkler, Mahesan Niranjan, Neil D. Lawrence (eds.) |
Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![Springer, 3-540-29073-7 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Bram Vanschoenwinkel, Bernard Manderick |
Appropriate Kernel Functions for Support Vector Machine Learning with Sequences of Symbolic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 256-280, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Joab R. Winkler |
A Comparison of Condition Numbers for the Full Rank Least Squares Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 296-318, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Neil D. Lawrence, John C. Platt, Michael I. Jordan |
Extensions of the Informative Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 56-87, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Jonathan Goldstein, John C. Platt, Christopher J. C. Burges |
Redundant Bit Vectors for Quickly Searching High-Dimensional Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 137-158, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Stephen J. Roberts, Rizwan Choudrey |
Bayesian Independent Component Analysis with Prior Constraints: An Application in Biosignal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 159-179, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
biosignal analysis, prior constraints, Independent component analysis, variational Bayes |
36 | Petra Kudová, Roman Neruda |
Kernel Based Learning Methods: Regularization Networks and RBF Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 124-136, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Tom Shorrock, David J. C. MacKay, Chris Ball |
Efficient Communication by Breathing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 88-97, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Christopher M. Bishop, Ilkay Ulusoy |
Object Recognition via Local Patch Labelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 1-21, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Gavin C. Cawley, Nicola L. C. Talbot, Gareth J. Janacek, Michael W. Peck |
Bayesian Kernel Learning Methods for Parametric Accelerated Life Survival Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 37-55, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Peter Sollich |
Can Gaussian Process Regression Be Made Robust Against Model Mismatch? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 199-210, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Roderick Murray-Smith, Barak A. Pearlmutter |
Transformations of Gaussian Process Priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 110-123, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Dharmesh M. Maniyar, Ian T. Nabney |
Guiding Local Regression Using Visualisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 98-109, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Hongying Meng, John Shawe-Taylor, Sándor Szedmák, Jason D. R. Farquhar |
Support Vector Machine to Synthesise Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 242-255, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Samy Bengio, Hervé Bourlard |
Multi Channel Sequence Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 22-36, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Jeremy Rogers, Steve R. Gunn |
Ensemble Algorithms for Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 180-198, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Yi Sun 0001, Mark Robinson, Rod Adams, Paul Kaye, Alistair G. Rust, Neil Davey |
Integrating Binding Site Predictions Using Non-linear Classification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 229-241, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Peter Sollich, Christopher K. I. Williams |
Understanding Gaussian Process Regression Using the Equivalent Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 211-228, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Yaoyong Li, Kalina Bontcheva, Hamish Cunningham |
SVM Based Learning System for Information Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 319-339, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Bo Wang 0002, D. M. Titterington |
Variational Bayes Estimation of Mixing Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deterministic and Statistical Methods in Machine Learning ![In: Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures, pp. 281-295, 2004, Springer, 3-540-29073-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Pascal Koiran |
Randomized and Deterministic Algorithms for the Dimension of Algebraic Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 36-45, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Arthur-Merlin class, Generalized Riemann Hypothesis, complexity, NP-complete, randomized algorithms, deterministic algorithms, deterministic algorithms, algebraic varieties |
34 | Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda |
Cellular automata for deterministic sequential test pattern generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 60-67, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
deterministic sequential test pattern generation, cellular automaton identification, hardware structure, area occupation, ASIC testing, evolutionary algorithm, cellular automata, BIST, fault coverage, stuck-at faults, FSM, deterministic automata |
34 | Udo Mahlstedt, Jürgen Alt, Ingo Hollenbeck |
Deterministic test generation for non-classical faults on the gate level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 244-251, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
deterministic test pattern generator, gate level fault models, function conversions, nonclassical faults, fault list generator, library-based fault modeling strategy, ISCAS benchmark circuits, scan-based circuits, CMOS cell library, algorithm, fault diagnosis, logic testing, design for testability, ATPG, combinational circuits, combinational circuits, fault simulator, logic CAD, stuck-at faults, CMOS logic circuits, bridging faults, deterministic algorithms, logic simulation, transition faults, automatic test software, test efficiency, CONTEST |
34 | Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian |
A type and effect system for deterministic parallel Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 97-116, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deterministic parallelism, determinism, effects, commutativity, effect systems |
34 | Pascal Bercher, Robert Mattmüller |
Solving Non-deterministic Planning Problems with Pattern Database Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 57-64, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
non-deterministic planning, PDB heuristics, Heuristic search |
34 | Prakash P. Shenoy, James C. West 0001 |
Inference in Hybrid Bayesian Networks with Deterministic Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 46-58, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hybrid Bayesian networks, deterministic variables, Dirac delta functions, Shenoy-Shafer architecture |
34 | Zamira Daw, Marcus Vetter |
Deterministic UML Models for Interconnected Activities and State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 556-570, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deterministic behavior, state machine, Activity |
34 | Filip Murlak |
On Deciding Topological Classes of Deterministic Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 428-441, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
deterministic tree automata, index hierarchy, Borel hierarchy |
34 | Jens-Matthias Bohli, Rainer Steinwandt |
On Subliminal Channels in Deterministic Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2004, 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers, pp. 182-194, 2004, Springer, 3-540-26226-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
deterministic signature schemes, subliminal channels |
34 | G. M. Germano, Stefano Mazzanti |
Non-Deterministic Closure Theory and Universal Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(4), pp. 339-364, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands |
34 | Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi |
Deterministic Replay of Distributed Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 219-228, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java tools, network, debugging, distributed, threads, deterministic replay |
33 | Leszek Gasieniec, Aris Pagourtzis, Igor Potapov |
Deterministic Communication in Radio Networks with Large Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 512-524, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Rune Møller Jensen, Manuela M. Veloso |
OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence Today ![In: Artificial Intelligence Today: Recent Trends and Developments, pp. 213-248, 1999, Springer, 3-540-66428-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Michael A. Harrison, Ivan M. Havel |
On the Parsing of Deterministic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 21(4), pp. 525-548, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
33 | Matthew M. Geller, Michael A. Harrison |
Strict Deterministic Versus LR(0) Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973, pp. 22-32, 1973, ACM Press. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
30 | Friedhelm Meyer auf der Heide, Christian Scheideler |
Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 370-379, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
online protocols, deterministic protocol, arbitrary permutations, r-replicated s-ary Multibutterflies, multiprocessor interconnection networks, deterministic routing, arbitrary networks, bounded buffers |
30 | Sam M. Kim, Robert McNaughton, Robert McCloskey |
A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(10), pp. 1087-1093, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
local testability, locally testable language, nonnegative integer, prefix, suffix, computational complexity, polynomial time algorithm, formal languages, finite automata, word, deterministic finite automata, deterministic automata, substrings |
30 | B. John Oommen, Daniel C. Y. Ma |
Deterministic Learning Automata Solutions to the Equipartitioning Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(1), pp. 2-13, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
epsilon -optimal solutions, equipartitioning problem, deterministic learning automata solutions, set theory, learning systems, convergence rate, deterministic automata |
30 | Robert M. Hierons, Florentin Ipate |
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(6), pp. 597-617, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Testing, Controllability, Non-determinism, Stream X-machine |
30 | Wilfried Brauer, Klaus-Jörn Lange |
Non-Deterministic Two-Tape Automata are More Powerful Then Deterministic Ones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings, pp. 71-79, 1985, Springer, 3-540-13912-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Yang Cui 0001, Kirill Morozov, Kazukuni Kobara, Hideki Imai |
Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 18th International Symposium, AAECC-18 2009, Tarragona, Catalonia, Spain, June 8-12, 2009. Proceedings, pp. 159-168, 2009, Springer, 978-3-642-02180-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Deterministic encryption, code-based encryption, database security, hybrid encryption, searchable encryption |
30 | Michinori Nakata, Hiroshi Sakai |
Rough Sets under Non-deterministic Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 76-85, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Imprecise values, Possible equivalence classes, Rough sets, Incomplete information, Non-deterministic information |
30 | Milan Ruzic |
Uniform deterministic dictionaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 4(1), pp. 1:1-1:23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Deterministic algorithms, perfect hashing |
30 | A. Malekpour, T. C. Ling, W. C. Lim |
Location Determination Using Radio Frequency RSSI and Deterministic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: Sixth Annual Conference on Communication Networks and Services Research (CNSR 2008), 5-8 May 2008, Halifax, Nova Scotia, Canada, pp. 488-495, 2008, IEEE Computer Society, 978-0-7695-3135-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wireless LAN, Estimation, Mobile communication, Deterministic algorithms, Antialiasing |
30 | Hiroshi Sakai, Ryuji Ishibashi, Michinori Nakata |
Lower and Upper Approximations of Rules in Non-deterministic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 299-309, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Rough sets, Incomplete information, Rule generation, Apriori algorithm, Lower and upper approximations, Non-deterministic information |
30 | Jan Rosell, Máximo A. Roa, Alexander Pérez, Fernando García 0003 |
A General Deterministic Sequence for Sampling d -Dimensional Configuration Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 50(4), pp. 361-373, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Sampling-based methods, Path planning, Deterministic sampling |
30 | Dariusz R. Kowalski, Andrzej Pelc |
Optimal Deterministic Broadcasting in Known Topology Radio Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 19(3), pp. 185-195, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Broadcast, Graph, Deterministic algorithm, Radio network |
30 | Hiroshi Sakai, Michinori Nakata |
On Possible Rules and Apriori Algorithm in Non-deterministic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings, pp. 264-273, 2006, Springer, 3-540-47693-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Possible rules, Min-Max strategy, Max-Max strategy, Rough sets, Apriori algorithm, Non-deterministic information |
30 | Hiroshi Sakai, Michinori Nakata |
Discernibility Functions and Minimal Rules in Non-deterministic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 254-264, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Minimal rules, Tool for rule generation, Rough sets, Non-deterministic information, Discernibility functions |
30 | Samia Loucif, Mohamed Ould-Khaoua |
Modeling Latency in Deterministic Wormhole-Routed Hypercubes under Hot-Spot Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 27(3), pp. 265-278, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
interconnection networks, performance modeling, multicomputers, hot-spot, deterministic routing, message latency |
30 | Mike C. Bartholomew-Biggs, Steven C. Parkhurst, Simon P. Wilson 0002 |
Global Optimization - Stochastic or Deterministic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGA ![In: Stochastic Algorithms: Foundations and Applications, Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings, pp. 125-137, 2003, Springer, 3-540-20103-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
direct search techniques, deterministic and random search methods, aircraft routing, Global optimization |
30 | Sebastian Maneth |
The Complexity of Compositions of Deterministic Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 265-276, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Deterministic Macro Tree Transducers, Complexity |
30 | Henk Neefs, Hans Vandierendonck, Koenraad De Bosschere |
A Technique for High Bandwidth and Deterministic Low Latency Load/Store Accesses to Multiple Cache Banks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Sixth International Symposium on High-Performance Computer Architecture, Toulouse, France, January 8-12, 2000, pp. 313-324, 2000, IEEE Computer Society, 0-7695-0550-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
bank prediction, deterministic latency, cache banks |
30 | Dianne Miller, Walid A. Najjar |
Empirical Evaluation of Deterministic and Adaptive Routing with Constant-Area Routers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 64-, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
constant-area routers, router complexity, saturation points, performance, hypercube networks, hypercube networks, adaptive routing, deterministic routing, virtual cut-through switching, k-ary n-cube networks |
30 | Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid |
Debugging Concurrent Ada Programs by Deterministic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(1), pp. 45-63, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
synchronisation sequences, concurrent Ada programs, deterministic execution debugging, Ada language constructs, SYN-sequences, sufficient information, previous executions, parallel programming, Ada, tools, transformation, program debugging, program execution |
30 | Ibraheem Al-Furaih, Srinivas Aluru, Sanjay Goil, Sanjay Ranka |
Practical Algorithms for Selection on Coarse-Grained Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 309-313, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
coarse-grained parallel computers, randomized algorithms, distributed memory systems, deterministic algorithms, deterministic algorithms, randomised algorithms, distributed memory parallel computers, CM-5 |
30 | Behrouz Khoshnevis, Babak Hossein Khalaj |
Optimum Power Selection Algorithms in Aloha Networks: Random and Deterministic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(8), pp. 3124-3136, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Hartmut Messerschmidt, Friedrich Otto |
Strictly Deterministic CD-Systems of Restarting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings, pp. 424-434, 2007, Springer, 978-3-540-74239-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Julien Cristau, Christof Löding, Wolfgang Thomas |
Deterministic Automata on Unranked Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings, pp. 68-79, 2005, Springer, 3-540-28193-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Rajeev Alur, Salvatore La Torre |
Deterministic generators and games for Ltl fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(1), pp. 1-25, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Games, Temporal Logic, Automata |
30 | Friedhelm Meyer auf der Heide, Christian Scheideler |
Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 21(1), pp. 95-138, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 68W10, 68W20, 68W15 |
30 | Dora Giammarresi, Rosa Montalbano, Derick Wood |
Block-Deterministic Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings, pp. 184-196, 2001, Springer, 3-540-42672-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Wael M. Elseaidy |
Static and dynamic analysis of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992, pp. 368-376, 1992, ACM, 0-89791-506-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SUP-INF procedure, Spec U/L bounds, deterministic timing tools, negative cycle, positive cycle, program U/L bounds, Real-time, theorem proving, real-time logic |
29 | Roussanka Loukanova |
Linear Context Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 351-365, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Leah Epstein, Asaf Levin |
On the Max Coloring Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAOA ![In: Approximation and Online Algorithms, 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers, pp. 142-155, 2007, Springer, 978-3-540-77917-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Ahmad A. Al-Yamani, Subhasish Mitra, Edward J. McCluskey |
Optimized reseeding by seed ordering and encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(2), pp. 264-270, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Bernard Lang |
Deterministic Techniques for Efficient Non-Deterministic Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings, pp. 255-269, 1974, Springer, 3-540-06841-4. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
26 | Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros |
Local Identification of Piecewise Deterministic Models of Genetic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 105-119, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Piecewise deterministic systems, state-space identification, sampled systems, Markov processes, convex optimization |
26 | Pablo Montesinos, Matthew Hicks, Samuel T. King, Josep Torrellas |
Capo: a software-hardware interface for practical deterministic multiprocessor replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 73-84, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
capo, capoone, replay sphere, deterministic replay |
26 | Hiroshi Sakai, Ryuji Ishibashi, Kazuhiro Koba, Michinori Nakata |
Rules and Apriori Algorithm in Non-deterministic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets IX, pp. 328-350, 2008, Springer, 978-3-540-89875-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Rough sets, Incomplete information, Rule generation, Apriori algorithm, Lower and upper approximations, Non-deterministic information |
26 | Pawel Delimata, Mikhail Ju. Moshkov, Andrzej Skowron, Zbigniew Suraj |
Comparison of Lazy Classification Algorithms Based on Deterministic and Inhibitory Decision Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 55-62, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Deterministic decision rules, Inhibitory decision rules, Rough sets, Decision tables |
26 | Muhammad Farooq, Fabrice Muller, Michel Auguin |
Contentions-conscious dynamic but deterministic scheduling of computational and communication tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1487-1492, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
deterministic scheduling, architecture, multiprocessor, SoC, RTOS |
26 | Mette Berger, Esben Rune Hansen, Rasmus Pagh, Mihai Patrascu, Milan Ruzic, Peter Tiedemann |
Deterministic load balancing and dictionaries in the parallel disk model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 299-307, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
parallel disk model, hashing, dictionary, expander graph, deterministic |
Displaying result #1 - #100 of 16617 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|