|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10967 occurrences of 4537 keywords
|
|
|
Results
Found 38884 publication records. Showing 38884 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Emad Saad |
Probabilistic Reasoning by SAT Solvers. ![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. 663-675, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo |
Probabilistic logic under coherence: complexity and algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 45(1-2), pp. 35-81, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
conditional probability assessment, logical constraint, conditional constraint, probabilistic logic under coherence, model-theoretic probabilistic logic, g-coherence, g-coherent entailment, algorithms, computational complexity |
59 | Thomas Lukasiewicz |
Probabilistic logic programming with conditional constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(3), pp. 289-339, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
conditional constraint, quantitative deduction, computational complexity, logic programming, probability, uncertainty, many-valued logic, probabilistic reasoning, probabilistic logic, probabilistic logic programming |
51 | Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis |
Probabilistic data exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 76-88, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
probabilistic schema mapping, probabilistic solution, universal probabilistic solution, computational complexity, data integration, data exchange, probabilistic database, conjunctive query, certain answer |
51 | Jason George, Bo Marr, Bilge Saglam Akgul, Krishna V. Palem |
Probabilistic arithmetic and energy efficient embedded signal processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 158-168, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PCMOS, probabilistic arithmetic, low power, DSP, probabilistic computing |
49 | Emad Saad |
Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings, pp. 206-222, 2009, Springer, 978-3-642-04387-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Mark A. Girolami, Alexei Vinokourov, Ata Kabán |
The Organization and Visualization of Document Corpora: A Probabilistic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 558-564, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
document corpora visualisation, generic probabilistic framework, unsupervised organisation, probabilistic hierarchical clustering, high-dimensional data collections, expectation maximisation algorithm, hierarchical probabilistic mixture methodology, asymmetric models, symmetric models, topographic relations, similar documents, latent trait model, vector space document representations, 2D grid, document handling, probabilistic approach, latent class models, text data, multinomial distribution, binomial distributions, document collections |
48 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Probabilistic Invariants for Probabilistic Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 240-259, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions |
48 | Ana Sokolova, Erik P. de Vink |
Probabilistic Automata: System Types, Parallel Composition and Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Stochastic Systems ![In: Validation of Stochastic Systems - A Guide to Current Research, pp. 1-43, 2004, Springer, 3-540-22265-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition |
47 | Amol Deshpande |
Increasing representational power and scaling reasoning in probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 1, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
47 | Léa Meyer |
Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 306-320, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
47 | Jianzhong Chen, Stephen H. Muggleton, José Carlos Almeida Santos |
Learning probabilistic logic models from probabilistic examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 73(1), pp. 55-85, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Probabilistic inductive logic programming, Stochastic logic programs, Probabilistic examples, Abduction |
46 | Harald Nusser |
A Generalization of Probabilistic Uniform Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(1), pp. 81-98, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
probabilistic semiuniform convergence spaces, (probabilistic) convergence spaces, (probabilistic) uniform spaces, topological universes, cartesian closedness, bireflective and bicoreflective subcategories, t-norms |
46 | T. S. Jayram, Andrew McGregor 0001, S. Muthukrishnan 0001, Erik Vee |
Estimating statistical aggregates on probabilistic data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 243-252, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
frequency moments, probabilistic streams, OLAP, mean, median |
44 | João Carlos Gluz, Rosa Maria Viccari, Cecilia Dias Flores, Louise J. Seixas |
Formal Analysis of a Probabilistic Knowledge Communication Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence - IBERAMIA-SBIA 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006, Proceedings, pp. 138-148, 2006, Springer, 3-540-45462-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic Knowledge Communication, Artificial Intelligence, Multiagent Systems, Agent Communication Languages, Probabilistic Logic |
43 | Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv |
Incorporating constraints in probabilistic XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 34(3), pp. 18:1-18:45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
probabilistic XML, sampling probabilistic data, constraints, Probabilistic databases |
43 | Andrea Calì, Thomas Lukasiewicz |
An Approach to Probabilistic Data Integration for the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW (LNCS Vol.) ![In: Uncertainty Reasoning for the Semantic Web I, ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers, pp. 52-65, 2008, Springer, 978-3-540-89764-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Probabilistic data integration, probabilistic description logic programs, normal programs, probabilistic uncertainty, Semantic Web, description logics, well-founded semantics, answer set semantics |
43 | Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv |
Incorporating constraints in probabilistic XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 109-118, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
probabilistic xml, sampling probabilistic data, constraints, probabilistic databases |
43 | Andrei Sabelfeld, David Sands 0001 |
Probabilistic Noninterference for Multi-Threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000, pp. 200-214, 2000, IEEE Computer Society, 0-7695-0671-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference |
43 | Emad Saad |
Probabilistic Planning in Hybrid Probabilistic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings, pp. 1-15, 2007, Springer, 978-3-540-75407-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Lakshmi N. Chakrapani, Pinar Korkmaz, Bilge Saglam Akgul, Krishna V. Palem |
Probabilistic system-on-a-chip architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 29:1-29:28, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Embedded systems, probabilistic computing |
41 | Dacheng Tao, Jimeng Sun 0001, Xindong Wu 0001, Xuelong Li 0001, Jialie Shen 0001, Stephen J. Maybank, Christos Faloutsos |
Probabilistic Tensor Analysis with Akaike and Bayesian Information Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 791-801, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Akaike Information Criterion, Tensor, Probabilistic Inference, Probabilistic Principal Component Analysis, Bayesian Information Criterion |
40 | Krishna V. Palem, Lakshmi N. Chakrapani, Zvi M. Kedem, Lingamneni Avinash, Kirthi Krishna Muntimadugu |
Sustaining moore's law in embedded computing through probabilistic and approximate design: retrospects and prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2009, Grenoble, France, October 11-16, 2009, pp. 1-10, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
approximate arithmetic, approximate design, probabilistic CMOS, probabilistic arithmetic, probabilistic design, digital signal processing |
39 | T. S. Jayram, Andrew McGregor 0001, S. Muthukrishnan 0001, Erik Vee |
Estimating statistical aggregates on probabilistic data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 33(4), pp. 26:1-26:30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Probabilistic streams, frequency moments, OLAP, mean, median |
39 | Héctor Corrada Bravo, Raghu Ramakrishnan 0001 |
Optimizing mpf queries: decision support and probabilistic inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 701-712, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aggregate queries, probabilistic inference |
39 | Luc De Raedt |
Statistical Relational Learning: An Inductive Logic Programming Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2005, 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings, pp. 3-5, 2005, Springer, 3-540-29244-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Thomas Bernecker, Hans-Peter Kriegel, Matthias Renz, Florian Verhein, Andreas Züfle |
Probabilistic frequent itemset mining in uncertain databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 119-128, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
probabilistic frequent itemsets, uncertain databases, frequent itemset mining, probabilistic data |
38 | Thomas Rölleke, Hengzhi Wu, Jun Wang 0032, Hany Azzam |
Modelling retrieval models in a probabilistic relational algebra with a new operator: the relational Bayes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(1), pp. 5-37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DB + IR integration, Probabilistic databases, Retrieval models, Probabilistic relational modelling |
38 | Wojciech Ziarko |
Partition Dependencies in Hierarchies of Probabilistic Decision Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 42-49, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic rough sets, decision table hierarchies, probabilistic dependencies |
38 | S. K. Michael Wong, Cory J. Butz |
Constructing the Dependency Structure of a Multiagent Probabilistic Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(3), pp. 395-415, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
dependency structure, multiagent systems, data dependencies, probabilistic reasoning, conditional independence, Probabilistic networks |
37 | Anna Pogosyants, Roberto Segala, Nancy A. Lynch |
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(3), pp. 155-186, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Randomized consensus, Verification, Performance analysis, Probabilistic automata |
37 | Norbert Fuhr, Ulrich Pfeifer |
Probabilistic Information Retrieval as a Combination of Abstraction, Inductive Learning, and Probabilistic Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 12(1), pp. 92-115, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
probabilistic indexing, logistic regression, controlled vocabulary, probabilistic retrieval |
37 | Tru H. Cao, Hoa Nguyen, Ma Nam |
Modelling and Computing with Imprecise and Uncertain Properties in Object Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 141-159, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Mingsheng Ying |
Reasoning about probabilistic sequential programs in a probabilistic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(5), pp. 315-389, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Min Feng 0001, Rajiv Gupta 0001 |
Learning universal probabilistic models for fault localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 81-88, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bayesian network, fault localization, probabilistic inference, dynamic dependence graph |
36 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001 |
Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 5:1-5:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
qualitative and probabilistic uncertainty, description logics, sensing, Reasoning about actions, imprecise probabilities, action languages |
36 | Usa Sammapun, Insup Lee 0001, Oleg Sokolsky, John Regehr |
Statistical Runtime Checking of Probabilistic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 164-175, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
statistical monitoring, Runtime verification, probabilistic properties |
36 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston |
Performance analysis of probabilistic timed automata using digital clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 29(1), pp. 33-78, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Timed automata, Probabilistic model checking, Digital clocks |
36 | Krishna V. Palem |
Energy Aware Computing through Probabilistic Switching: A Study of Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(9), pp. 1123-1137, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
low-power design, Energy-aware systems, probabilistic computation |
36 | Sissades Tongsima, Edwin Hsing-Mean Sha, Chantana Chantrapornchai, David R. Surma, Nelson L. Passos |
Probabilistic Loop Scheduling for Applications with Uncertain Execution Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(1), pp. 65-80, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
rotation scheduling, Scheduling, retiming, probabilistic approach, loop pipelining |
36 | Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank monitoring: a pAMN case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(3), pp. 308-328, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement |
36 | Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona |
Probabilistic Constraints for Inverse Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 115-128, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Rolf Haenni, Jan-Willem Romeijn, Gregory R. Wheeler, Jon Williamson |
Possible Semantics for a Common Framework of Probabilistic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 268-279, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Stephen H. Muggleton, Jianzhong Chen |
A Behavioral Comparison of Some Probabilistic Logic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 305-324, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Luc De Raedt, Kristian Kersting |
Probabilistic Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 1-27, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Martin Pelikan |
Probabilistic model-building genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, Companion Material, pp. 2303-2330, 2010, ACM, 978-1-4503-0073-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
genetic algorithm, optimization, learning, evolutionary computation, bayesian network, probabilistic model, estimation of distribution algorithm, eda, probabilistic model-building genetic algorithm |
35 | Benny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv |
Query evaluation over probabilistic XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(5), pp. 1117-1140, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic XML, Approximate query evaluation, Query processing, Query optimization, Probabilistic databases |
35 | Jian Li 0015, Amol Deshpande |
Consensus answers for queries over probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 259-268, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
consensus answers, probabilistic and/xor tree, query processing, probabilistic databases, rank aggregation |
35 | Martin Pelikan |
Probabilistic model-building genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2879-2906, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithm, optimization, learning, evolutionary computation, bayesian network, probabilistic model, estimation of distribution algorithm, EDA, probabilistic model-building genetic algorithm |
35 | Martin Pelikan |
Probabilistic model-building genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, Companion Material, pp. 2389-2416, 2008, ACM, 978-1-60558-131-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pmbga, genetic algorithm, optimization, machine learning, evolutionary computation, probabilistic model, estimation of distribution algorithm, eda, probabilistic model-building genetic algorithm |
35 | Lars Grunske |
Specification patterns for probabilistic quality properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 31-40, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
csl, pctl, pctl*, probabilistic quality, probabilistic quality patterns, security, performance, reliability, safety, specification patterns |
35 | Frank Ciesinski, Marcus Größer |
On Probabilistic Computation Tree Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Stochastic Systems ![In: Validation of Stochastic Systems - A Guide to Current Research, pp. 147-188, 2004, Springer, 3-540-22265-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
PCTL, PCTL*, probabilistic deterministic systems, probabilistic nondeterministic systems, quantitative model checking, scheduler, fairness, Markov decision processes, discrete time Markov chains |
35 | Fábio Gagliardi Cozman, Denis Deratani Mauá |
Probabilistic Graphical Models Specified by Probabilistic Logic Programs: Semantics and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Graphical Models ![In: Probabilistic Graphical Models - Eighth International Conference, PGM 2016, Lugano, Switzerland, September 6-9, 2016. Proceedings, pp. 110-122, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
35 | Manfred Jaeger |
Probabilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Graphical Models ![In: First European Workshop on Probabilistic Graphical Models, 6-8 November - 2002 - Cuenca (Spain), Electronic Proceedings, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
34 | Michael P. Wellman, Max Henrion |
Explaining 'Explaining Away'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 287-292, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
causal explanation, general qualitative probabilistic analysis, intercausal reasoning, product synergy, qualitative probabilistic network, probabilistic belief, Occam's razor, probability, inference, inference mechanisms, explanation, uncertainty handling, belief maintenance |
34 | Kenneth W. Fertig, John S. Breese |
Probability Intervals Over Influence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 280-286, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Bayesian conditioning, point-valued probabilistic inference mechanisms, computational complexity, lower bounds, probability, sensitivity analysis, sensitivity analysis, inference mechanisms, Bayes methods, probability distributions, probabilistic reasoning, uncertainty handling, influence diagrams, probabilistic queries, conditional expectation |
34 | Prithviraj Sen, Amol Deshpande |
Representing and Querying Correlated Tuples in Probabilistic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 596-605, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Thomas Lukasiewicz |
Tractable Probabilistic Description Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings, pp. 143-156, 2007, Springer, 978-3-540-75407-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Emad Saad, Enrico Pontelli |
Hybrid Probabilistic Logic Programs with Non-monotonic Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 204-220, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Daniele Varacca, Hagen Völzer, Glynn Winskel |
Probabilistic Event Structures and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 481-496, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Fabio Crestani, Mounia Lalmas, C. J. van Rijsbergen, Iain Campbell |
"Is This Document Relevant? ... Probably": A Survey of Probabilistic Models in Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 30(4), pp. 528-552, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
probabilistic indexing, uncertain inference modeling, information retrieval, probabilistic modeling, probabilistic retrieval |
33 | Bengt Jonsson 0001, Wang Yi 0001 |
Fully Abstract Characterization of Probabilistic May Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 1-18, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | András Prékopa |
Static Stochastic Programming Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3708-3710, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic programming problem, Underlying deterministic problem, Probabilistic constraint, Individual probabilistic constraints, Joint probabilistic constraint, Programming under probabilistic constraint, Recourse model, Hybrid model |
33 | Evgeny Kharlamov, Werner Nutt, Pierre Senellart |
Updating probabilistic XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010, ACM, 978-1-60558-990-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
XML, complexity, updates, probabilistic databases |
33 | Prithviraj Sen, Amol Deshpande, Lise Getoor |
PrDB: managing and exploiting rich correlations in probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(5), pp. 1065-1090, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Lifted inference, Query processing, Graphical models, Bisimulation, Probabilistic databases, Uncertain databases |
33 | Luc De Raedt |
Probabilistic Logic Learning - A Tutorial Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 39, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning |
33 | Yixiang Chen, Hengyang Wu |
Semantics of sub-probabilistic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(1), pp. 29-38, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sub-probabilistic programs, wp-calculus, total correctness |
33 | Zuobing Xu, Ram Akella |
A new probabilistic retrieval model based on the dirichlet compound multinomial distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 427-434, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
probabilistic retrieval model, language model, dirichlet distribution, multinomial distribution |
33 | Ning Lü, Xiong Wang |
A Probabilistic SDG Approach to Fault Diagnosis of Industrial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 517-527, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic SDG, Qualitative SDG, Synthetic ammonia, Fault diagnosis, Bayesian network |
33 | Christel Baier, Marta Z. Kwiatkowska |
Model Checking for a Probabilistic Branching Time Logic with Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(3), pp. 125-155, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Probabilistic processes, Verification, Temporal logic, Fairness |
33 | Norbert Fuhr, Thomas Rölleke |
A Probabilistic Relational Algebra for the Integration of Information Retrieval and Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 15(1), pp. 32-66, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hypertext retrieval, logical retrieval model, uncortain data, vague predicates, relational data model, probabilistic retrieval, imprecise data |
33 | Niels Landwehr, Taneli Mielikäinen |
Probabilistic Logic Learning from Haplotype Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 263-286, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Taisuke Sato, Yoshitaka Kameya |
New Advances in Logic-Based Probabilistic Modeling by PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 118-155, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart |
On the expressiveness of probabilistic XML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(5), pp. 1041-1064, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic XML, XML, Updates, Expressiveness, Probabilistic databases |
32 | Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt |
Rule-Based Approaches for Representing Probabilistic Ontology Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW (LNCS Vol.) ![In: Uncertainty Reasoning for the Semantic Web I, ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers, pp. 66-87, 2008, Springer, 978-3-540-89764-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics |
32 | Laurence Anthony F. Park, Kotagiri Ramamohanarao |
The Effect of Weighted Term Frequencies on Probabilistic Latent Semantic Term Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: String Processing and Information Retrieval, 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings, pp. 63-74, 2008, Springer, 978-3-540-89096-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
information retrieval, probabilistic model, probabilistic latent semantic analysis |
32 | Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian |
Probabilistic object bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 26(3), pp. 264-312, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
probabilistic object algebra, probabilistic object base, probability, Consistency, query optimization, query language, object-oriented database |
32 | Jorge S. Marques, Arnaldo J. Abrantes |
A class of probabilistic shape models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 1054-1059, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
probabilistic shape models, data representation methods, fuzzy energy function, c-means map, probabilistic extension, Gibbs-Boltzman distributions, log partition function, analytic expressions, data structures, deformable models, snakes, Bayesian framework, Kohonen maps, fuzzy maps, elastic nets |
32 | Too-Seng Tia, Zhong Deng, Mallikarjun Shankar, Matthew F. Storch, Jun Sun 0002, L.-C. Wu, Jane W.-S. Liu |
Probabilistic performance guarantee for real-time tasks with varying computation times. ![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. 164-173, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
probabilistic performance guarantee, varying computation times, schedulability analysis methods, semi-periodic tasks, regularly released requests, total maximum task utilization, probabilistic time-demand analysis, transform-task method, scheduling, real-time systems, computational complexity, probability, scheduling algorithms, software performance evaluation, programming theory, sporadic task, real-time tasks |
32 | Raj Bhatnagar, Laveen N. Kanal |
Structural and Probabilistic Knowledge for Abductive Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 233-245, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
structural knowledge, qualitative relationships learning, probabilistic knowledge, learning (artificial intelligence), knowledge engineering, inference mechanisms, explanation, probabilistic logic, abductive reasoning, conditional entropy |
31 | Jeremy Sproston |
Strict Divergence for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 620-636, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Larissa Meinicke, Ian J. Hayes |
Probabilistic Choice in Refinement Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 243-267, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Graham Cormode, Minos N. Garofalakis |
Sketching probabilistic data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 281-292, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data streams, uncertain data |
31 | Emad Saad |
Towards the Computation of Stable Probabilistic Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings, pp. 143-158, 2006, Springer, 978-3-540-69911-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Satoshi Yamane, Takashi Kanatani |
Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing, International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings, pp. 183-195, 2004, Springer, 3-540-22906-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Satoshi Yamane |
Deductive Verification of Probabilistic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan, pp. 622-627, 2004, IEEE Computer Society, 0-7695-2087-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Symbolic Computation of Maximal Probabilistic Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 169-183, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Carroll Morgan, Annabelle McIver, Karen Seidel 0002 |
Probabilistic Predicate Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(3), pp. 325-353, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation |
31 | Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka |
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 497-512, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Kristian Kersting, Luc De Raedt |
Basic Principles of Learning Bayesian Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 189-221, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Manfred Jaeger |
Model-Theoretic Expressivity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 325-339, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Samy Abbes, Albert Benveniste |
Concurrency, sigma-Algebras, and Probabilistic Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 380-394, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency |
30 | Michael Pittarelli |
An Algebra for Probabilistic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(2), pp. 293-303, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
probabilistic data model, probabilistic algebra, /spl alpha/-acyclic database schemes, homomorphic image, statistical smoothing procedure, Bayes networks, data structures, probability, decision support systems, database management systems, Markov processes, decision support, database theory, relational algebra, relational algebra, algebra, Bayes methods, probabilistic databases, uncertainty handling, Markov networks, uncertain information |
30 | Geoffrey Smith 0001 |
Probabilistic Noninterference through Weak Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA, pp. 3-13, 2003, IEEE Computer Society, 0-7695-1927-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, pp. 169-187, 2002, Springer, 3-540-43913-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo |
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 290-302, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Jeffrey Jestes, Feifei Li 0001, Zhepeng Yan, Ke Yi 0001 |
Probabilistic string similarity joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 327-338, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
approximate string queries, probabilistic strings, string joins |
30 | Bhargav Kanagal, Amol Deshpande |
Lineage processing over correlated probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 675-686, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
indexing, probabilistic databases, conjunctive queries, lineage, junction trees |
30 | Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart |
Aggregate queries for discrete and continuous probabilistic XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 50-61, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
XML, algorithms, complexity, aggregation, probabilistic databases |
30 | Xi Zhang, Jan Chomicki |
Semantics and evaluation of top-k queries in probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 26(1), pp. 67-126, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Query processing, Probabilistic database, Top-k query, Ranking query |
Displaying result #1 - #100 of 38884 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|