|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 227 occurrences of 171 keywords
|
|
|
|
|
Results
Found 143 publication records. Showing 143 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Guillermo Matera |
Probabilistic Algorithms for Geometric Elimination.  |
Appl. Algebra Eng. Commun. Comput.  |
1999 |
DBLP DOI BibTeX RDF |
Probabilistic algorithms, Arithmetic circuits, Boolean circuits, Elimination theory |
| 2 | Kamalika Das, Kanishka Bhaduri, Kun Liu, Hillol Kargupta |
Distributed Identification of Top-l Inner Product Elements and its Application in a Peer-to-Peer Network.  |
IEEE Trans. Knowl. Data Eng.  |
2008 |
DBLP DOI BibTeX RDF |
Data mining, Probabilistic algorithms, Mining methods and algorithms, Knowledge management applications, Algorithms for data and knowledge management |
| 2 | Michael B. Monagan |
Probabilistic algorithms for computing resultants.  |
ISSAC  |
2005 |
DBLP DOI BibTeX RDF |
Sylvester's resultant, polynomial resultants, probabilistic algorithms, modular algorithms |
| 2 | Stefan Richter |
Formalizing Integration Theory with an Application to Probabilistic Algorithms.  |
TPHOLs  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Krishna V. Palem |
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective.  |
Verification: Theory and Practice  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Probabilistic Invariants for Probabilistic Machines.  |
ZB  |
2003 |
DBLP DOI BibTeX RDF |
the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions |
| 2 | Ziv Bar-Yossef, Oded Goldreich, Avi Wigderson |
Deterministic Amplification of Space-Bounded Probabilistic Algorithms. (PDF / PS)  |
IEEE Conference on Computational Complexity  |
1999 |
DBLP DOI BibTeX RDF |
space bounded randomized computation, deterministic amplification, expander graphs |
| 2 | Josyula R. Rao |
Reasoning about Probabilistic Parallel Programs.  |
ACM Trans. Program. Lang. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
verification, parallel programming, probabilistic algorithms, correctness proofs, programming methodology, specification techniques |
| 2 | William T. Reeves, Ricki Blau |
Approximate and probabilistic algorithms for shading and rendering structured particle systems.  |
SIGGRAPH  |
1985 |
DBLP DOI BibTeX RDF |
approximation, stochastic modelling |
| 1 | Nathan Halko, Per-Gunnar Martinsson, Joel A. Tropp |
Finding Structure with Randomness: Probabilistic Algorithms for Constructing Approximate Matrix Decompositions.  |
SIAM Review  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Zhang, Limin Zhu |
Alleviating the computational load of the probabilistic algorithms for circles detection using the connectivity represented by graph.  |
Mach. Vis. Appl.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Guimarans, Rosa Herrero, Daniel Riera, Angel A. Juan, Juan José Ramos |
Combining probabilistic algorithms, Constraint Programming and Lagrangian Relaxation to solve the Vehicle Routing Problem.  |
Ann. Math. Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang |
Brief announcement: asynchronous bounded expected delay networks.  |
PODC  |
2010 |
DBLP DOI BibTeX RDF |
abd networks, probabilistic algorithms, anonymous networks |
| 1 | Haiquan Chen, Wei-Shinn Ku, Haixun Wang, Min-Te Sun |
Leveraging spatio-temporal redundancy for RFID data cleansing.  |
SIGMOD Conference  |
2010 |
DBLP DOI BibTeX RDF |
uncertainty, data cleaning, probabilistic algorithms, spatio-temporal databases |
| 1 | Ana Arribas-Gil, Dirk Metzler, Jean-Louis Plouhinec |
Statistical Alignment with a Sequence Evolution Model Allowing Rate Heterogeneity along the Sequence.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2009 |
DBLP DOI BibTeX RDF |
mathematics and statistics, sequence evolution, Markov processes, probabilistic algorithms, biology and genetics |
| 1 | Kavitha Muthukrishnan, Berend-Jan van der Zwaag, Paul J. M. Havinga |
Inferring Motion and Location Using WLAN RSSI.  |
MELT  |
2009 |
DBLP DOI BibTeX RDF |
Motion inference, WLAN, RSSI, Localisation |
| 1 | Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla |
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.  |
VMCAI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhixiang Chen, Bin Fu, Robert T. Schweller, Boting Yang, Zhiyu Zhao, Binhai Zhu |
Linear Time Probabilistic Algorithms for the Singular Haplotype Reconstruction Problem from SNP Fragments.  |
Journal of Computational Biology  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Cluzeau, Evelyne Hubert |
Probabilistic algorithms for computing resolvent representations of regular differential ideals.  |
Appl. Algebra Eng. Commun. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 12H05, 68W30 |
| 1 | Joffroy Beauquier, Colette Johnen |
Analyze of Probabilistic Algorithms under Indeterministic Scheduler.  |
ISPA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhixiang Chen, Bin Fu, Robert T. Schweller, Boting Yang, Zhiyu Zhao, Binhai Zhu |
Linear Time Probabilistic Algorithms for the Singular Haplotype Reconstruction Problem from SNP Fragments.  |
APBC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Becchetti, Paolo Boldi, Carlos Castillo, Aristides Gionis |
Efficient semi-streaming algorithms for local triangle counting in massive graphs.  |
KDD  |
2008 |
DBLP DOI BibTeX RDF |
semi-streaming, graph mining, probabilistic algorithms |
| 1 | Guido Sanguinetti |
Dimensionality Reduction of Clustered Data Sets.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2008 |
DBLP DOI BibTeX RDF |
clustering, dimensionality reduction, discriminant analysis, probabilistic algorithms |
| 1 | Jingbin Wang, Vassilis Athitsos, Stan Sclaroff, Margrit Betke |
Detecting Objects of Variable Shape Structure With Hidden State Shape Models.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2008 |
DBLP DOI BibTeX RDF |
dynamic programming, object detection, probabilistic algorithms, shape modeling |
| 1 | Tzu-Chuan Chou, Meng Chang Chen |
Using Incremental PLSI for Threshold-Resilient Online Event Analysis.  |
IEEE Trans. Knowl. Data Eng.  |
2008 |
DBLP DOI BibTeX RDF |
Knowledge life cycles, Clustering, Web mining, Probabilistic algorithms |
| 1 | Raquel Barco, Pedro Lázaro, Luis Díez, Volker Wille |
Continuous versus Discrete Model in Autodiagnosis Systems for Wireless Networks.  |
IEEE Trans. Mob. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Wireless communication, Decision support, Decision support, Network management, Automation, Network monitoring, Engineering, Knowledge modeling, Probabilistic algorithms, Diagnostics, Inference engines, Parameter learning, Network Operations, Knowledge management applications |
| 1 | Mikhail Bilenko, Ryen W. White |
Mining the search trails of surfing crowds: identifying relevant websites from user activity.  |
WWW  |
2008 |
DBLP DOI BibTeX RDF |
learning from user behavior, mining search and browsing logs, web search, implicit feedback |
| 1 | D. K. Jones |
Tractography Gone Wild: Probabilistic Fibre Tracking Using the Wild Bootstrap With Diffusion Tensor MRI.  |
IEEE Trans. Med. Imaging  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Avi Wigderson |
Randomness - A Computational Complexity Perspective.  |
CSR  |
2008 |
DBLP DOI BibTeX RDF |
derandomnization, complexity, randomness, pseudorandom |
| 1 | Joanna Karbowska-Chilinska |
Estimation of the Average Time of Computations of Probabilistic Algorithms with Continuous Time Parameter.  |
CISIM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Alt, Ludmila Scharf, Sven Scholz |
Probabilistic matching and resemblance evaluation of shapes in trademark images.  |
CIVR  |
2007 |
DBLP DOI BibTeX RDF |
trademark image retrieval, shape matching, probabilistic algorithms, shape similarity |
| 1 | Gene Novark, Emery D. Berger, Benjamin G. Zorn |
Exterminator: automatically correcting memory errors with high probability.  |
PLDI  |
2007 |
DBLP DOI BibTeX RDF |
dieFast, exterminator, randomized algorithms, error correction, probabilistic algorithms, dynamic memory allocation, memory errors |
| 1 | Sébastien Marcel, José del R. Millán |
Person Authentication Using Brainwaves (EEG) and Maximum A Posteriori Model Adaptation.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2007 |
DBLP DOI BibTeX RDF |
biometry, machine learning, signal processing, electroencephalogram, probabilistic algorithms, Emerging technologies |
| 1 | Dániel Fogaras, Balázs Rácz |
Practical Algorithms and Lower Bounds for Similarity Search in Massive Graphs.  |
IEEE Trans. Knowl. Data Eng.  |
2007 |
DBLP DOI BibTeX RDF |
Web search, similarity measures, graph algorithms, probabilistic algorithms |
| 1 | Rui Huang, Gergely V. Záruba |
Incorporating Data from Multiple Sensors for Localizing Nodes in Mobile Ad Hoc Networks.  |
IEEE Trans. Mob. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
Radio position measurement, Ad hoc networks, Mobile computing, Probabilistic algorithms, Position measurement |
| 1 | Merav Aharoni, Ron Maharik, Abraham Ziv |
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.  |
IEEE Symposium on Computer Arithmetic  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Andreetto, Lihi Zelnik-Manor, Pietro Perona |
Non-Parametric Probabilistic Image Segmentation.  |
ICCV  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bueno, Ricardo Conejo, Amos David, Cristina Carmona |
NBM and WNBM: Algorithms and Evaluation for Personalizing Information Retrieval in METIORE.  |
KES  |
2007 |
DBLP DOI BibTeX RDF |
METIORE, NBM, WNBM, Naïve Bayes, Information Retrieval, Recommender Systems |
| 1 | William J. Knottenbelt, Jeremy T. Bradley |
Tackling Large State Spaces in Performance Modelling.  |
SFM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Smajic, Matthew Mishrikey, Arya Fallahi, Christian Hafner, Rüdiger Vahldieck |
Efficiency of Various Stochastic Optimization Algorithms in High Frequency Electromagnetic Applications.  |
NICSO  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg S. Schmidt, Dennis G. Brown, Erik B. Tomlin, J. Edward Swan II, Yohan Baillot |
Probabilistic Algorithms, Integration, and Empirical Evaluation for Disambiguating Multiple Selections in Frustum-Based Pointing.  |
Journal of Multimedia  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Johanna M. Zumer, Hagai Attias, Kensuke Sekihara, Srikantan S. Nagarajan |
Two probabilistic algorithms for MEG/EEG source reconstruction.  |
ISBI  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Impagliazzo |
Can every randomized algorithm be derandomized?  |
STOC  |
2006 |
DBLP DOI BibTeX RDF |
algebraic circuit complexity, probabilistic algorithms, derandomization, circuit complexity, complexity classes, pseudo-randomness |
| 1 | Maya R. Gupta, Robert M. Gray, Richard A. Olshen |
Nonparametric Supervised Learning by Linear Interpolation with Maximum Entropy.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2006 |
DBLP DOI BibTeX RDF |
pattern recognition, maximum entropy, probabilistic algorithms, Nonparametric statistics, linear interpolation |
| 1 | Björn Stenger, Arasanathan Thayananthan, Philip H. S. Torr, Roberto Cipolla |
Model-Based Hand Tracking Using a Hierarchical Bayesian Filter.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2006 |
DBLP DOI BibTeX RDF |
tracking, video analysis, Probabilistic algorithms |
| 1 | Ying Wu, Ting Yu |
A Field Model for Human Detection and Tracking.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2006 |
DBLP DOI BibTeX RDF |
machine learning, Markov random fields, shape, Object detection, probabilistic algorithms, image models, statistical computing |
| 1 | Jen-Yeu Chen, Gopal Pandurangan, Dongyan Xu |
Robust Computation of Aggregates in Wireless Sensor Networks: Distributed Randomized Algorithms and Analysis.  |
IEEE Trans. Parallel Distrib. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
data query, fault tolerance, sensor networks, distributed algorithms, graph theory, aggregate, randomized algorithms, stochastic processes, Probabilistic algorithms |
| 1 | Cristian Estan, George Varghese, Michael E. Fisk |
Bitmap algorithms for counting active flows on high-speed links.  |
IEEE/ACM Trans. Netw.  |
2006 |
DBLP DOI BibTeX RDF |
counting distinct elements, traffic measurements |
| 1 | Joffroy Beauquier, Sylvie Delaët, Sammy Haddad |
Necessary and sufficient conditions for 1-adaptivity.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur |
Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs.  |
ISoLA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Impagliazzo, Ronen Shaltiel, Avi Wigderson |
Reducing The Seed Length In The Nisan-Wigderson Generator.  |
Combinatorica  |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 68Q15 |
| 1 | Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott |
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.  |
Formal Methods in System Design  |
2006 |
DBLP DOI BibTeX RDF |
Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols |
| 1 | Tomasz Jurdzinski, Grzegorz Stachowiak |
Probabilistic Algorithms for the Wake-Up Problem in Single-Hop Radio Networks.  |
Theory Comput. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer de Kleine, Michael B. Monagan, Allan D. Wittkopf |
Algorithms for the non-monic case of the sparse modular GCD algorithm.  |
ISSAC  |
2005 |
DBLP DOI BibTeX RDF |
Zippel's algorithm, polynomial greatest common divisors, sparse multivariate polynomials, probabilistic algorithms, modular algorithms |
| 1 | Ying Wu, John Lin, Thomas S. Huang |
Analyzing and Capturing Articulated Hand Motion in Image Sequences.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2005 |
DBLP DOI BibTeX RDF |
tracking, Motion, video analysis, probabilistic algorithms, face and gesture recognition, statistical computing |
| 1 | Cristina Adela Popescu, Yau Shu Wong |
Nested Monte Carlo EM Algorithm for Switching State-Space Models.  |
IEEE Trans. Knowl. Data Eng.  |
2005 |
DBLP DOI BibTeX RDF |
machine learning, Markov processes, Kalman filtering, Monte Carlo simulation, Time series analysis, probabilistic algorithms, parameter learning |
| 1 | Sudarshan Vasudevan, James F. Kurose, Donald F. Towsley |
On neighbor discovery in wireless networks with directional antennas.  |
INFOCOM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishna V. Palem |
Energy Aware Computing through Probabilistic Switching: A Study of Limits.  |
IEEE Trans. Computers  |
2005 |
DBLP DOI BibTeX RDF |
low-power design, Energy-aware systems, probabilistic computation |
| 1 | Irad E. Ben-Gal |
On the use of data compression measures to analyze robust designs.  |
IEEE Transactions on Reliability  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Burgard |
Probabilistic Techniques for Mobile Robot Navigation.  |
COSIT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar Chávez, Karina Figueroa, Gonzalo Navarro |
Proximity Searching in High Dimensional Spaces with a Proximity Preserving Order.  |
MICAI  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Keqin Li 0002, David Lee |
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.  |
TestCom  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter C. Dillinger, Panagiotis Manolios |
Enhanced Probabilistic Verification with 3Spin and 3Murphi.  |
SPIN  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Santashil PalChaudhuri, Amit Kumar Saha, David B. Johnson |
Adaptive clock synchronization in sensor networks.  |
IPSN  |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, clock synchronization, probabilistic algorithms |
| 1 | Youlian Pan, Brandon Smith, Hung Fang, A. Fazel Famili, Marianna Sikorska, P. Roy Walker |
Selection of Putative Cis-Regulatory Motifs through Regional and Global Conservation.  |
CSB  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maáyan Fishelson, Dan Geiger |
Optimizing exact genetic linkage computations.  |
RECOMB  |
2003 |
DBLP DOI BibTeX RDF |
DAG models, genetic linkage analysis, superlink, bayesian networks, combinatorial optimization, greedy algorithms, probabilistic algorithms, treewidth |
| 1 | Mariëlle Stoelinga |
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol.  |
Formal Asp. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
Applied formal methods, Leader election algorithms, Parameter synthesis, Real time, Network protocols, Probabilistic algorithms, IEEE standards |
| 1 | Cristian Estan, George Varghese, Mike Fisk |
Bitmap algorithms for counting active flows on high speed links.  |
Internet Measurement Comference  |
2003 |
DBLP DOI BibTeX RDF |
counting flows, network traffic measurement |
| 1 | Jorge Puente, Helio R. Díez, Ramiro Varela, Camino R. Vela, Luis P. Hidalgo |
Heuristic Rules and Genetic Algorithms for Open Shop Scheduling Problem.  |
CAEPIA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Carroll Morgan, Thai Son Hoang |
Probabilistic Termination in B.  |
ZB  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Sala |
Upper Bounds on the Dual Distance of BCH(255, k).  |
Des. Codes Cryptography  |
2003 |
DBLP DOI BibTeX RDF |
shortened code, dual distance, upper bound, BCH codes |
| 1 | Masami Hagiya, John A. Rose, Ken Komiya, Kensaku Sakamoto |
Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.  |
Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Kurzynski |
Probabilistic algorithms, Neural Networks and Fuzzy System Applied to the Multistage Diagnosis of Acute Abdominal Pain - A Comparative Study of Methods.  |
FSKD  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Tomasz Jurdzinski, Grzegorz Stachowiak |
Probabilistic Algorithms for the Wakeup Problem in Single-Hop Radio Networks.  |
ISAAC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Sivakumar |
Algorithmic derandomization via complexity theory.  |
STOC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziv Bar-Yossef, Luca Trevisan, Omer Reingold, Ronen Shaltiel |
Streaming Computation of Combinatorial Objects. (PDF / PS)  |
IEEE Conference on Computational Complexity  |
2002 |
DBLP DOI BibTeX RDF |
error-correcting codes, extractors, dispersers, streaming computation, universal hash functions, online computation |
| 1 | D. Sivakumar |
Algorithmic Derandomization via Complexity Theory. (PDF / PS)  |
IEEE Conference on Computational Complexity  |
2002 |
DBLP DOI BibTeX RDF |
Johnson-Lindenstrauss Lemma, Derandomization, randomized rounding |
| 1 | Santashil PalChaudhuri, David B. Johnson |
Power Mode Scheduling for Ad Hoc Networks. (PDF / PS)  |
ICNP  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Andrew Moshier, Achim Jung |
A Logic for Probabilities in Semantics.  |
CSL  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pilar de la Torre |
How Efficiently Can Room at the Bottom Be Traded Away for Speed at the Top?  |
DNA  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Goldreich, Avi Wigderson |
Derandomization That Is Rarely Wrong from Short Advice That Is Typically Good.  |
RANDOM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Bustos, Gonzalo Navarro |
Probabilistic Proximity Searching Algorithms Based on Compact Partitions.  |
SPIRE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Hurd |
A Formal Approach to Probabilistic Termination.  |
TPHOLs  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Giesbrecht |
Fast computation of the Smith form of a sparse integer matrix.  |
Computational Complexity  |
2001 |
DBLP DOI BibTeX RDF |
Sparse integer matrix, Smith form, probabilistic algorithms |
| 1 | Akihiro Yamamura, Kaoru Kurosawa |
Generic Algorithms and Key Agreement Protocols Based on Group Actions.  |
ISAAC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
An Abstract Analysis of the Probabilistic Termination of Programs.  |
SAS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joffroy Beauquier, Maria Gradinariu, Colette Johnen |
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary.  |
WSS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Thrun, Michael Beetz, Maren Bennewitz, Wolfram Burgard, Armin B. Cremers, Frank Dellaert, Dieter Fox, Dirk Hähnel, Charles R. Rosenberg, Nicholas Roy, Jamieson Schulte, Dirk Schulz |
Probabilistic Algorithms and the Interactive Museum Tour-Guide Robot Minerva.  |
I. J. Robotic Res.  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marek Teichmann, Bud Mishra |
Probabilistic Algorithms for Efficient Grasping and Fixturing.  |
Algorithmica  |
2000 |
DBLP DOI BibTeX RDF |
Multifinger robot hands, Closure grasps, Grasp metrics, Polytope covering, Approximate geometric algorithms, Grasping, Fixturing |
| 1 | Sebastian Thrun |
Probabilistic Algorithms in Robotics.  |
AI Magazine  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah |
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.  |
FORTE  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dahlia Malkhi, Michael Merritt, Ohad Rodeh |
Secure Reliable Multicast Protocols in a WAN.  |
Distributed Computing  |
2000 |
DBLP DOI BibTeX RDF |
Wide area network, Probabilistic algorithms, Secure multicast |
| 1 | T. H. Tse, Zhiquan Zhou, Tsong Yueh Chen |
Testing of Large Number Multiplication Functions in Cryptographic Systems.  |
APAQS  |
2000 |
DBLP DOI BibTeX RDF |
Cryptographic systems, large number multiplication, software testing |
| 1 | Roy A. Maxion, Kymie M. C. Tan |
Benchmarking Anomaly-Based Detection Systems.  |
DSN  |
2000 |
DBLP DOI BibTeX RDF |
intrusion detection, benchmarking, Anomaly detection, computer security, empirical methods |
| 1 | Juan de Vicente, Juan Lanchares, Román Hermida |
Adaptive FPGA Placement by Natural Optimization. (PDF / PS)  |
IEEE International Workshop on Rapid System Prototyping  |
2000 |
DBLP DOI BibTeX RDF |
Combinatorial optimization, reconfigurable, placement |
| 1 | Jeffrey D. Ullman |
A Survey of Association-Rule Mining.  |
Discovery Science  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Chazelle |
Irregularities of Distribution, Derandomization, and Complexity Theory.  |
FSTTCS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Derthick, James Harrison, Andrew Moore, Steven F. Roth |
Efficient Multi-Object Dynamic Query Histograms.  |
INFOVIS  |
1999 |
DBLP DOI BibTeX RDF |
Database, Probabilistic Algorithms, Dynamic Query |
| 1 | Russell Impagliazzo, Ronen Shaltiel, Avi Wigderson |
Near-Optimal Conversion of Hardness into Pseudo-Randomness.  |
FOCS  |
1999 |
DBLP DOI BibTeX RDF |
Pseudo-Ranndom Generators, Derandomization |
| 1 | Bogdan Smolka, Konrad W. Wojciechowski, Marek Szczepanski |
Random Walk Approach to Image Enhancement.  |
ICIAP  |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 143 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|