The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase probabilistic model (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1980 (15) 1981-1986 (17) 1987-1991 (19) 1992-1994 (25) 1995-1996 (15) 1997-1998 (32) 1999 (17) 2000 (29) 2001 (38) 2002 (54) 2003 (64) 2004 (111) 2005 (139) 2006 (153) 2007 (163) 2008 (174) 2009 (166) 2010 (68) 2011 (53) 2012 (53) 2013 (62) 2014 (71) 2015 (77) 2016 (78) 2017 (68) 2018 (71) 2019 (13)
Publication types (Num. hits)
article(508) book(2) incollection(20) inproceedings(1307) phdthesis(8)
Venues (Conferences, Journals, ...)
CoRR(67) GECCO(32) SIGIR(29) KDD(23) QEST(22) IEEE Trans. Pattern Anal. Mach...(21) RECOMB(19) GECCO (Companion)(13) CIKM(12) CVPR(12) IEEE Congress on Evolutionary ...(12) IROS(12) WWW(12) SIGMOD Conference(11) ICASSP(10) ICDM(10) More (+10 of total 900)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1247 occurrences of 802 keywords

Results
Found 1845 publication records. Showing 1845 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
49Martin Pelikan Probabilistic model-building genetic algorithms. Search on Bibsonomy GECCO (Companion) The full citation details ... 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
49Martin Pelikan Probabilistic model-building genetic algorithms. Search on Bibsonomy GECCO (Companion) The full citation details ... 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
49Martin Pelikan Probabilistic model-building genetic algorithms. Search on Bibsonomy GECCO (Companion) The full citation details ... 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
45Luc De Raedt Statistical Relational Learning: An Inductive Logic Programming Perspective. Search on Bibsonomy PKDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Emad Saad Towards the Computation of Stable Probabilistic Model Semantics. Search on Bibsonomy KI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Kyoung-Soo Han, Young-In Song, Hae-Chang Rim Probabilistic model for definitional question answering. Search on Bibsonomy SIGIR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF language model, probabilistic model, definitional question answering
35Emad Saad, Enrico Pontelli Hybrid Probabilistic Logic Programs with Non-monotonic Negation. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Asanobu Kitamoto, Mikio Takagi Image Classification Using Probabilistic Models that Reflect the Internal Structure of Mixels. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mixel, Mixture density estimation, Probabilistic model, Image classification, Satellite image, Beta distribution
31Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Marta Z. Kwiatkowska, Gethin Norman Verifying Randomized Byzantine Agreement. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms
30Marta Z. Kwiatkowska Model checking for probability and time: from theory to practice . Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Xiangrong Zhou, Teruhiko Kitagawa, Takeshi Hara, Hiroshi Fujita 0001, Xuejun Zhang, Ryujiro Yokoyama, Hiroshi Kondo, Masayuki Kanematsu, Hiroaki Hoshi Constructing a Probabilistic Model for Automated Liver Region Segmentation Using Non-contrast X-Ray Torso CT images. Search on Bibsonomy MICCAI (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Dmitry Pavlov, Heikki Mannila, Padhraic Smyth Beyond Independence: Probabilistic Models for Query Approximation on Binary Transaction Data. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Binary transaction data, query approximation, ADTree, probabilistic model, maximum entropy, itemsets
28Marcin Jurdzinski, François Laroussinie, Jeremy Sproston Model Checking Probabilistic Timed Automata with One or Two Clocks. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Cláudio F. Lima, Kumara Sastry, David E. Goldberg, Fernando G. Lobo Combining competent crossover and mutation operators: a probabilistic model building approach. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF BB-wise mutation, competent genetic algorithms, hybridization, probabilistic model building genetic algorithms
28Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, IEEE standard, FireWire
28Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Symmetry Reduction for Probabilistic Model Checking. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Min Feng 0001, Rajiv Gupta 0001 Learning universal probabilistic models for fault localization. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bayesian network, fault localization, probabilistic inference, dynamic dependence graph
28Matteo Casadei, Mirko Viroli Using probabilistic model checking and simulation for designing self-organizing systems. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF collective sort, self-organization, stochastic simulation, probabilistic model checking
28Lars Grunske, Robert Colvin, Kirsten Winter Probabilistic Model-Checking Support for FMEA. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety
28Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta 0001 Using probabilistic model checking for dynamic power management. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking
27Roberto Santana, Pedro Larrañaga, José Antonio Lozano Adaptive Estimation of Distribution Algorithms. Search on Bibsonomy Adaptive and Multilevel Metaheuristics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF adaptive probabilistic model, Estimation of distribution algorithm, SAT
27Emad Saad, Enrico Pontelli A new approach to hybrid probabilistic logic programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 68T37
27Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF uncertain kinetic rates, interval Markov chains, abstract interpretation, systems biology, probabilistic model checking
27Toshihiko Yanase, Yoshihiko Hasegawa, Hitoshi Iba Binary encoding for prototype tree of probabilistic model building GP. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF probabilistic model building genetic programming, probabilistic prototype tree, genetic programming
26Zuobing Xu, Ram Akella A new probabilistic retrieval model based on the dirichlet compound multinomial distribution. Search on Bibsonomy SIGIR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF probabilistic retrieval model, language model, dirichlet distribution, multinomial distribution
25Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic symbolic model checking with PRISM: a hybrid approach. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Binary decision diagrams, Symbolic model checking, Probabilistic model checking
25Shih-Hsin Chen, Pei-Chann Chang, Qingfu Zhang 0001 Self-Guided Genetic Algorithm. Search on Bibsonomy ICIC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Dacheng Tao, Jimeng Sun, Xindong Wu 0001, Xuelong Li, Jialie Shen, Stephen J. Maybank, Christos Faloutsos Probabilistic Tensor Analysis with Akaike and Bayesian Information Criteria. Search on Bibsonomy ICONIP (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Akaike Information Criterion, Tensor, Probabilistic Inference, Probabilistic Principal Component Analysis, Bayesian Information Criterion
25Martin Pelikan Probabilistic model-building genetic algorithms. Search on Bibsonomy GECCO (Companion) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF genetic algorithms, evolutionary computation, probabilistic models, estimation of distribution algorithms, graphical models, stochastic optimization
25Wenxing Peng, Taro Terao, Yoshihiro Masuda, Naofumi Yoshida, Jun Miyazaki Document History System and its Application to Abnormal Document Access Pattern Detection with a Probabilistic Model. Search on Bibsonomy AINA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Document History, MTMM, Probabilistic Model, Abnormal Detection
24Rong Jin, Yanjun Qi, Alexander G. Hauptmann A Probabilistic Model for Camera Zoom Detection. Search on Bibsonomy ICPR (3) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Ansgar Fehnker, Matthias Fruth, Annabelle McIver Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lossy communication channels, simulation, wireless networks, Graphical modelling, probabilistic model checking
24Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire
24Matthias Fruth Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24David Wallin, Conor Ryan Evaluation of population partitioning schemes in bayesian classifier EDAs: estimation of distribution algoithms. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF population partitioning, probabilistic model-building, evolutionary computation, probabilistic model, EDA, estimation of distribution
23Elmira Ghoulbeigi, Marcus Vinicius dos Santos Probabilistic developmental program evolution. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF probabilistic model building genetic programming, estimation of distribution algorithms, gene expression programming
23Yongan Wu, Min Li, Zhiping Cai, En Zhu A Distributed Algorithm to Approximate Node-Weighted Minimum alpha-Connected (Theta, k)-Coverage in Dense Sensor Networks. Search on Bibsonomy FAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF (?and k)-coverage, ?-connectivity, dense sensor networks, probabilistic model
23Norbert Fuhr, Thomas Rölleke A Probabilistic Relational Algebra for the Integration of Information Retrieval and Database Systems. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF hypertext retrieval, logical retrieval model, uncortain data, vague predicates, relational data model, probabilistic retrieval, imprecise data
23Dirk Thierens A bivariate probabilistic model-building genetic algorithm for graph bipartitioning. Search on Bibsonomy GECCO (Companion) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF probabilistic model-building EAs
23Lillian Lee IDF revisited: a simple new derivation within the Robertson-Spärck Jones probabilistic model. Search on Bibsonomy SIGIR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF probabilistic model, term weighting, inverse document frequency, IDF
23Qing Li, Byeong Man Kim, Sung-Hyon Myaeng Clustering for probabilistic model estimation for CF. Search on Bibsonomy WWW (Special interest tracks and posters) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF collaborative filtering, probabilistic model, information filtering
23Taisuke Sato Statistical Learning of Probabilistic BDDs. Search on Bibsonomy SAGA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Cristina Conati, Heather Maclaren Empirically building and evaluating a probabilistic model of user affect. Search on Bibsonomy User Model. User-Adapt. Interact. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Evaluation, User modeling, Affective computing, Dynamic Bayesian networks
21Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke ProbVerus: Probabilistic Symbolic Model Checking. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Kosuke Hashimoto, Kiyoko F. Aoki-Kinoshita, Nobuhisa Ueda, Minoru Kanehisa, Hiroshi Mamitsuka A new efficient probabilistic model for mining labeled ordered trees applied to glycobiology. Search on Bibsonomy TKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF labeled ordered trees, probabilistic models, maximum likelihood, Expectation-maximization
21Nan Ding, Ji Xu, Shude Zhou, Zengqi Sun Reducing computational complexity of estimating multivariate histogram-based probabilistic model. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Cordelia Schmid A Structured Probabilistic Model for Recognition. Search on Bibsonomy CVPR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Object recognition, Image retrieval
21Ling Cheung Randomized Wait-Free Consensus Using an Atomicity Assumption. Search on Bibsonomy OPODIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Asynchronous Consensus, Wait-Free Termination, Weak Adversary, Randomized Algorithms, Probabilistic Model Checking
21Victor Lavrenko Introduction to probabilistic models in IR. Search on Bibsonomy SIGIR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF language modeling, estimation, term dependence, probability ranking principle
21Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 Model checking the probabilistic pi-calculus. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Amitabha Roy 0002, K. Gopinath Improved Probabilistic Models for 802.11 Protocol Verification. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli Finite horizon analysis of Markov Chains with the Murphi verifier. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model checking, Markov chains, Automatic verification, Probabilistic model checking, Probabilistic verification
20Xuexian Hu, Yongtao Ming, Wenfen Liu, Shiqu Li On the Rate of Coincidence of Two Clock-Controlled Combiners. Search on Bibsonomy Inscrypt The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rate of Coincidence, Probabilistic Model, Combiner, Clock-Controlled
20Bao-Yin Zhang, Zeyao Mo, Guangwen Yang, Weimin Zheng An Efficient Dynamic Load-Balancing Algorithm in a Large-Scale Cluster. Search on Bibsonomy ICA3PP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF large-scale cluster, transitive random stealing, probabilistic model, Dynamic load balancing
20Mario Cannataro 0001, Andrea Pugliese 0001 An XML-Based Architecture for Adaptive Web Hypermedia Systems Using a Probabilistic User Model. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF XML based architecture, adaptive Web hypermedia systems, probabilistic user model, Web based hypermedia systems, user driven access, Web based adaptive hypermedia systems, Web site content generation, discrete probability density function, probabilistic model, information resources, XML documents, application domain, weighted graphs, user behaviour
20Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski Efficient Probabilistic Model Checking on General Purpose Graphics Processors. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Kumara Sastry, David E. Goldberg Designing Competent Mutation Operators Via Probabilistic Model Building of Neighborhoods. Search on Bibsonomy GECCO (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Djoerd Hiemstra A Linguistically Motivated Probabilistic Model of Information Retrieval. Search on Bibsonomy ECDL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Information Retrieval Theory, Statistical Information Retrieval, Statistical Natural Language Processing
20Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 A formal analysis of bluetooth device discovery. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Formal verification, Bluetooth, Probabilistic model checking
20Edouard Lethelier, Manuel Leroux, Michel Gilloux An automatic reading system for handwritten numeral amounts on French checks. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF automatic reading system, handwritten numeral amounts, French checks, segmentation-by-recognition probabilistic model, explicit segmentation algorithm, multiple spatial representation, segmentation weights, probabilistic parser, bootstrapping technique, reject class, database images, image segmentation, optical character recognition, handwriting recognition, visual databases
19Liang Wu, Predrag Neskovic, Leon N. Cooper A probabilistic model for classifying segmented images. Search on Bibsonomy ICPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic model checking in practice: case studies with PRISM. Search on Bibsonomy SIGMETRICS Performance Evaluation Review The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PRISM
19Junfeng Wu, Huaikou Miao A Rewriting Based Model for Nondeterministic Composite Web Service System. Search on Bibsonomy ICEBE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Alexander L. Tulupyev, Sergey I. Nikolenko Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity. Search on Bibsonomy MICAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Gethin Norman, Vitaly Shmatikov Analysis of Probabilistic Contract Signing. Search on Bibsonomy FASec The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. Search on Bibsonomy QEST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking
19Nikolaos Alexiou 0001, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. Search on Bibsonomy HASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Cache Poisoning, DNS, Probabilistic Model Checking
19Albert Solé-Ribalta, Francesc Serratosa A Structural and Semantic Probabilistic Model for Matching and Representing a Set of Graphs. Search on Bibsonomy GbRPR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF structural relations, graph synthesis, probabilistic model, graph matching, graph clustering, semantic relations
19Alastair F. Donaldson, Alice Miller, David Parker 0001 Language-Level Symmetry Reduction for Probabilistic Model Checking. Search on Bibsonomy QEST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF counter abstraction, probabilistic model checking, Symmetry reduction
19Ji-Rong Wen, Ni Lao, Wei-Ying Ma Probabilistic model for contextual retrieval. Search on Bibsonomy SIGIR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF contextual retrieval, query expansion, probabilistic model, query log
19Sergey Kirshner, Igor V. Cadez, Padhraic Smyth, Chandrika Kamath, Erick Cantú-Paz Probabilistic Model-Based Detection of Bent-Double Radio Galaxies. Search on Bibsonomy ICPR (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola Model Driven QoS Analyses of Composed Web Services. Search on Bibsonomy ServiceWave The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Business Process Optimization, QoS, Web services composition, Probabilistic Model Checking
18Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker 0001 Probabilistic Model Checking and Reliability of Results. Search on Bibsonomy DDECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Kosuke Hashimoto, Kiyoko F. Aoki-Kinoshita, Nobuhisa Ueda, Minoru Kanehisa, Hiroshi Mamitsuka A new efficient probabilistic model for mining labeled ordered trees. Search on Bibsonomy KDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF labeled ordered trees, probabilistic models, maximum likelihood, expectation - maximization
18Nan Ding, Shude Zhou, Zengqi Sun Histogram-Based Estimation of Distribution Algorithm: A Competent Method for Continuous Optimization. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF histogram probabilistic model, surrounding effect, shrinking strategy, evolutionary algorithm, estimation of distribution algorithm
18Qingquan Zhang, Gerald E. Sobelman, Tian He 0001 Gradient-Driven Target Acquisition in Mobile Wireless Sensor Networks. Search on Bibsonomy MSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rescue, Wireless Sensor Network, Navigation, Localization, Probabilistic Model
18Mengqiu Wang, Luo Si Discriminative probabilistic models for passage based retrieval. Search on Bibsonomy SIGIR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF passage retrieval, IR, discriminative models
18Hongning Wang, Minlie Huang, Xiaoyan Zhu A Generative Probabilistic Model for Multi-label Classification. Search on Bibsonomy ICDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Shanfeng Zhu, Ichigaku Takigawa, Shuqin Zhang, Hiroshi Mamitsuka A Probabilistic Model for Clustering Text Documents with Multiple Fields. Search on Bibsonomy ECIR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Elisa Sayrol Modeling the Displaced Frame Difference as an Alpha-Stable Distribution. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF symmetric alpha-stable distributions, robust motion estimation, image sequences, image sequences, probabilistic model, probability density functions, Gaussian distribution, image regions, displaced frame difference
17Martin Pelikan, Kumara Sastry, David E. Goldberg Sporadic model building for efficiency enhancement of the hierarchical BOA. Search on Bibsonomy Genetic Programming and Evolvable Machines The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Sporadic model building, Estimation of distribution algorithms, Bayesian optimization algorithm, Efficiency enhancement, Hierarchical BOA
17Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Ryo Inokuchi, Sadaaki Miyamoto Nonparametric Fisher Kernel Using Fuzzy Clustering. Search on Bibsonomy KES (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Luis de la Ossa, José A. Gámez 0001, José Miguel Puerta Improving model combination through local search in parallel univariate EDAs. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Doron Bustan, Sasha Rubin, Moshe Y. Vardi Verifying omega-Regular Properties of Markov Chains. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Shizhu Liu, Yuval Merhav, Wai Gen Yee, Nazli Goharian, Ophir Frieder A sentence level probabilistic model for evolutionary theme pattern mining from news corpora. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF evolutionary theme patterns, topic model, named entities, temporal text mining
17Chung-Yao Chuang, Ying-ping Chen On the effectiveness of distributions estimated by probabilistic model building. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF effective distribution, model pruning, sensible linkage, evolutionary computation, estimation of distribution algorithms, ECGA, extended compact genetic algorithm, EDAS
17Zhao Ru, Weiran Xu, Jun Guo 0002 An Expert Experience Probabilistic Model for Enterprise Expert Finding. Search on Bibsonomy FSKD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Alastair F. Donaldson, Alice Miller Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Andrei Khrennikov Quantum-Like Representation of Macroscopic Configurations. Search on Bibsonomy QI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Contextual probabilistic model, complex Hilbert space, hyperbolic Hilbert space, quantum-like representation
17Jinshuang Wang, Huabing Yang, Xingyuan Zhang Liveness Reasoning with Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Liveness Proof, Inductive Protocol Verification, Parametric Fairness, Probabilistic Model
17Shuming Shi, Bin Lu, Yunxiao Ma, Ji-Rong Wen Nonlinear static-rank computation. Search on Bibsonomy CIKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF link aggregation, nonlinear static rank, probabilistic model
17Eric Martin Heien, Tomoyuki Hiroyasu, Noriyuki Fujimoto Investigation of mutation operators for the bayesian optimization algorithm. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mutation, Bayesian optimization algorithm, probabilistic model building genetic algorithm
17Roded Sharan, Trey Ideker, Brian P. Kelley, Ron Shamir, Richard M. Karp Identification of protein complexes by comparative analysis of yeast and bacterial protein interaction data. Search on Bibsonomy RECOMB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF heavy subgraph, protein complex, probabilistic model, conservation, comparative analysis, protein interaction network, yeast, bacteria
17Basilio B. Fraguela, Ramon Doallo, Emilio L. Zapata Modeling Set Associative Caches Behavior for Irregular Computations. Search on Bibsonomy SIGMETRICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF probabilistic model, cache performance, sparse matrix, irregular computation
17David B. Brown, Saeed Maghsoodloo, William H. Deason A Cost Model for Determining the Optimal Number of Software Test Cases. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF optimal number, software test cases, cost per test, cost per error, input variable estimation, software engineering, probabilistic model, cost model, DP management
17Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, probability, behaviour models, interface automata
17Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou 0001 A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, model checking, Denial of Service
16David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1845 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license