|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 75 keywords
|
|
|
|
|
Results
Found 99 publication records. Showing 99 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Martin Neil, Manesh Tailor, David Marquez |
Inference in hybrid Bayesian networks using dynamic discretization.  |
Statistics and Computing  |
2007 |
DBLP DOI BibTeX RDF |
Bayesian software, Dynamic discretization, Bayesian networks, Expert systems, Statistical inference, Reasoning under uncertainty, Propagation algorithms |
| 2 | Jingfang Zheng, Michael C. Horsch |
A Comparison of Consistency Propagation Algorithms in Constraint Optimization.  |
Canadian Conference on AI  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Krzysztof R. Apt |
The role of commutativity in constraint propagation algorithms.  |
ACM Trans. Program. Lang. Syst.  |
2000 |
DBLP DOI BibTeX RDF |
constraint propagation, commutativity, generic algorithms |
| 1 | Ching-Hung Lee, Fu-Kai Chang, Che-Ting Kuo, Hao-Hang Chang |
A hybrid of electromagnetism-like mechanism and back-propagation algorithms for recurrent neural fuzzy systems design.  |
Int. J. Systems Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gennaro Cordasco, Luisa Gargano |
Community Detection via Semi-Synchronous Label Propagation Algorithms  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Eduardo Dominguez, Alejandro Lage-Castellanos, Roberto Mulet, Federico Ricci-Tersenghi, Tommaso Rizzo |
Characterizing and Improving Generalized Belief Propagation Algorithms on the 2D Edwards-Anderson Model  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ashkan Aazami |
Domination in graphs with bounded propagation: algorithms, formulations and hardness results.  |
J. Comb. Optim.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Mateescu, Kalev Kask, Vibhav Gogate, Rina Dechter |
Join-Graph Propagation Algorithms.  |
J. Artif. Intell. Res. (JAIR)  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Gallon, Sebastien Guillon, Bruno Jobard, Helene Barucq, Noomane Keskes |
Slimming Brick Cache Strategies for Seismic Horizon Propagation Algorithms.  |
Volume Graphics  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Partha Pratim Talukdar, Zachary G. Ives, Fernando Pereira |
Automatically incorporating new sources in keyword search-based data integration.  |
SIGMOD Conference  |
2010 |
DBLP DOI BibTeX RDF |
schema alignment, machine learning, data integration, keyword search, schema matching, user feedback |
| 1 | Tsuyoshi Kato, Hisashi Kashima, Masashi Sugiyama |
Robust Label Propagation on Multiple Networks.  |
IEEE Transactions on Neural Networks  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús M. Pérez, Pablo Sánchez, Marcos Martinez |
Real-Time Stereo Matching Using Memory-Efficient Belief Propagation for High-Definition 3D Tele-Presence Systems.  |
CIARP  |
2009 |
DBLP DOI BibTeX RDF |
FPGA, Real-Time, Stereo-vision, Belief propagation, High-Definition |
| 1 | Michael J. Maher |
Open Constraints in a Boundable World.  |
CPAIOR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariborz Mahmoudi, Mohsen Mirzashaeri, Ehsan Shahamatnia, Saed Faridnia |
A Novel Handwritten Letter Recognizer Using Enhanced Evolutionary Neural Network.  |
e-Forensics  |
2009 |
DBLP DOI BibTeX RDF |
Hybrid Evo-lutionary Algorithm, EANN, Neural Network, Handwritten Character Recognition |
| 1 | Seema N. Pandey, Shashikala Tapaswi, Laxmi Srivastava |
Growing RBFNN-based soft computing approach for congestion management.  |
Neural Computing and Applications  |
2009 |
DBLP DOI BibTeX RDF |
Congestion management (CM), Congestion zones, Growing radial basis function neural network, Nodal congestion prices, Vector quantization clustering, Restructuring |
| 1 | Ashkan Aazami |
Domination in graphs with bounded propagation: algorithms, formulations and hardness results  |
CoRR  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
Global difference constraint propagation for finite domain solvers.  |
PPDP  |
2008 |
DBLP DOI BibTeX RDF |
difference logic, propagation, global constraints |
| 1 | Arasanathan Thayananthan, Masahiro Iwasaki, Roberto Cipolla |
Principled fusion of high-level model and low-level cues for motion segmentation.  |
CVPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyrel Russell, Peter van Beek |
Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems.  |
Canadian Conference on AI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Artigues, Dominique Feillet |
A branch and bound method for the job-shop problem with sequence-dependent setup times.  |
Annals OR  |
2008 |
DBLP DOI BibTeX RDF |
Dynamic programming, Branch and bound, Constraint propagation, Job-shop scheduling, Sequence-dependent setup times |
| 1 | Tiphaine Accary-Barbier, Sylvie Calabretto |
Building and using temporal knowledge in archaeological documentation.  |
J. Intell. Inf. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Chronological annotation, Share and comparison of knowledge, Temporal reasoning |
| 1 | Christophe Gonzales, Khaled Mellouli, Olfa Mourali |
On Directed and Undirected Propagation Algorithms for Bayesian Networks.  |
ECSQARU  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Globerson, Tommi Jaakkola |
Convergent Propagation Algorithms via Oriented Trees.  |
UAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alexander Mendiburu, Roberto Santana, Jose Antonio Lozano, Endika Bengoetxea |
A parallel framework for loopy belief propagation.  |
GECCO (Companion)  |
2007 |
DBLP DOI BibTeX RDF |
parallelism, belief propagation, factor graphs |
| 1 | Lulseged Ayalew, Dietmar P. F. Möller, Gerhard Reik |
Using artificial neural networks (ANN) for real time flood forecasting, the Omo River case in southern Ethiopia.  |
SCSC  |
2007 |
DBLP DOI BibTeX RDF |
Ethiopia, Omo River, flood forecasting, neural networks, back propagation |
| 1 | Trevor M. Cickovski, Chris Sweet, Jesús A. Izaguirre |
MDL, A Domain-Specific Language for Molecular Dynamics.  |
Annual Simulation Symposium  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João Barros, Michael Tüchler |
Estimating a Function from Noisy Sensor Data: A Factor Graph Approach.  |
CISS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yen-Chin Liao, Chien-Ching Lin, Hsie-Chia Chang, Chih-Wei Liu |
Self-Compensation Technique for Simplified Belief-Propagation Algorithm.  |
IEEE Transactions on Signal Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann |
A Constraint Store Based on Multivalued Decision Diagrams.  |
CP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan, Gregory M. Provan |
Generalizing Global Constraints Based on Network Flows.  |
CSCLP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh |
Reformulating Global Constraints: The Slideand RegularConstraints.  |
SARA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Irwin, Nick Pilkington |
High Level Internet Scale Traffic Visualization Using Hilbert Curve Mapping.  |
VizSEC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Artiouchine, Philippe Baptiste |
Arc-B-consistency of the Inter-distance Constraint.  |
Constraints  |
2007 |
DBLP DOI BibTeX RDF |
Inter-distance constraint, Arc-B-consistency, Edge-finding |
| 1 | Paulo Roberto Dellani, Martin Glaser, Paulo Roberto Wille, Goran Vucurevic, Axel Stadie, Thomas Bauermann, Andrei Tropine, Axel Perneczky, Aldo von Wangenheim, Peter Stoeter |
White Matter Fiber Tracking Computation Based on Diffusion Tensor Imaging for Clinical Applications.  |
J. Digital Imaging  |
2007 |
DBLP DOI BibTeX RDF |
pyramidal tract, cortico-spinal tracts, neurosurgical planning and navigation, DICOM, Diffusion tensor imaging, fiber tracking |
| 1 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
Propagation algorithms for lexicographic ordering constraints.  |
Artif. Intell.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Neil, Manesh Tailor, Norman E. Fenton, David Marquez, Peter Hearty |
Modeling Dependable Systems using Hybrid Bayesian Networks.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jae-Byung Jung, Gerald F. Denny, James W. Tilley, Alex B. Kulinchenko, Patrick K. Simpson |
Broadband Active Sonar Swimmer Detection and Identification.  |
IJCNN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo |
Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling.  |
Australian Conference on Artificial Intelligence  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
The Range Constraint: Algorithms and Implementation.  |
CPAIOR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Jaulin |
Localization of an Underwater Robot Using Interval Constraint Propagation.  |
CP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Onur Savas, Murat Alanyali, Venkatesh Saligrama |
Efficient In-Network Processing Through Local Ad-Hoc Information Coalescence.  |
DCOSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brand, Roland H. C. Yap |
Towards "Propagation = Logic + Control".  |
ICLP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric I. Hsu, Sheila A. McIlraith |
Characterizing Propagation Methods for Boolean Satisfiability.  |
SAT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Y. Law, J. Lee |
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.  |
Constraints  |
2006 |
DBLP DOI BibTeX RDF |
Value symmetries, Constraint satisfaction, Symmetry breaking |
| 1 | Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau |
On global warming: Flow-based soft global constraints.  |
J. Heuristics  |
2006 |
DBLP DOI BibTeX RDF |
Network flows, Global constraints, Soft constraints |
| 1 | Jonathan S. Yedidia, William T. Freeman, Yair Weiss |
Constructing free-energy approximations and generalized belief propagation algorithms.  |
IEEE Transactions on Information Theory  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Esugasini, Mohd. Yusoff Mashor, Nor Ashidi Mat Isa, Nor Hayati Othman |
Performance Comparison for MLP Networks Using Various Back Propagation Algorithms for Breast Cancer Diagnosis.  |
KES  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sundararajan Sankaranarayanan, Bane V. Vasic |
Iterative Decoding of Linear Block Codes: A Parity-Check Orthogonalization Approach.  |
IEEE Transactions on Information Theory  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt |
Explaining Constraint Programming.  |
Processes, Terms and Cycles  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Vilím |
Computing Explanations for the Unary Resource Constraint.  |
CPAIOR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Artiouchine, Philippe Baptiste |
Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs.  |
CP  |
2005 |
DBLP DOI BibTeX RDF |
Scheduling, Constraint Propagation, Global Constraint |
| 1 | Jörg Gebhardt, Rudolf Kruse |
Knowledge-Based Operations for Graphical Models in Planning.  |
ECSQARU  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Chiang Hong, Ping-Feng Pai, Chen-Tung Chen, Ping-Teng Chang |
Recurrent Support Vector Machines in Reliability Prediction.  |
ICNC  |
2005 |
DBLP DOI BibTeX RDF |
Genetic algorithms, Support vector machines, Recurrent neural networks, Reliability prediction |
| 1 | Sotiris E. Nikoletseas, Paul G. Spirakis |
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks.  |
Global Computing  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalev Kask, Rina Dechter, Vibhav Gogate |
Counting-Based Look-Ahead Schemes for Constraint Satisfaction.  |
CP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee |
Global Constraints for Integer and Set Value Precedence.  |
CP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanyuan Zhao, Daniel C. Sturman, Sumeer Bhola |
Subscription Propagation in Highly-Available Publish/Subscribe Middleware.  |
Middleware  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ing-Ray Chen, Ngoc Anh Phan |
Update Propagation Algorithms for Supporting Disconnected Operations in Mobile Wireless Systems with Data Broadcasting.  |
ICDCS Workshops  |
2003 |
DBLP DOI BibTeX RDF |
Wireless mobile systems, mobile client-server systems, performance analysis, data broadcasting, disconnected operations |
| 1 | Rina Dechter, Irina Rish |
Mini-buckets: A general scheme for bounded inference.  |
J. ACM  |
2003 |
DBLP DOI BibTeX RDF |
Accuracy/complexity trade-off, approximation algorithms, Bayesian networks, combinatorial optimization, probabilistic inference |
| 1 | Michael Isard |
PAMPAS: Real-Valued Graphical Models for Computer Vision.  |
CVPR  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Boysen |
Extending CLP with Metaheuristics.  |
CP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ratschan |
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.  |
CP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Serafín Moral, Rafael Rumí, Antonio Salmerón |
Approximating Conditional MTE Distributions by Means of Mixed Trees.  |
ECSQARU  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Serafín Moral, Antonio Salmerón |
Dynamic Importance Sampling Computation in Bayesian Networks.  |
ECSQARU  |
2003 |
DBLP DOI BibTeX RDF |
probability propagation, approximate algorithms, Bayesian networks, importance sampling |
| 1 | Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani |
Formal Reasoning Techniques for Goal Models.  |
J. Data Semantics  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nahla Ben Amor, Salem Benferhat, Khaled Mellouli |
Anytime propagation algorithm for min-based possibilistic graphs.  |
Soft Comput.  |
2003 |
DBLP DOI BibTeX RDF |
Anytime propagation algorithm, Graphical models, Possibility theory |
| 1 | Stefano Bistarelli, Thom W. Frühwirth, Michael Marte |
Soft constraint propagation and solving in CHRs.  |
SAC  |
2002 |
DBLP DOI BibTeX RDF |
constraint reasoning algorithms, constraint programming |
| 1 | Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani |
Reasoning with Goal Models.  |
ER  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Giudici, Filippo Queirolo, Maurizio Valle |
Stochastic Supervised Learning Algorithms with Local and Adaptive Learning Rate for Recognising Hand-Written Characters.  |
ICANN  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nahla Ben Amor, Salem Benferhat, Khaled Mellouli |
Anytime Possibilistic Propagation Algorithm.  |
Soft-Ware  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hak-Jin Kim, John N. Hooker |
Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach.  |
Annals OR  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugen Dedu, Stéphane Vialle, Claude Timsit |
Parallelisation of Wave Propagation Algorithms for Odour Propagation in Multi-agent Systems.  |
IWCC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Salmerón, Serafín Moral |
Importance Sampling in Bayesian Networks Using Antithetic Variables.  |
ECSQARU  |
2001 |
DBLP DOI BibTeX RDF |
probability propagation, antithetic variables, Bayesian networks, importance sampling |
| 1 | Nicolas Beldiceanu, Mats Carlsson |
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.  |
ICLP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
A Meta-heuristic for Subset Problems.  |
PADL  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt |
The Role of Commutativity in Constraint Propagation Algorithms  |
CoRR  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Lalit M. Patnaik, K. Rajan |
Target detection through image processing and resilient propagation algorithms.  |
Neurocomputing  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoubin Ghahramani, Matthew J. Beal |
Propagation Algorithms for Variational Bayesian Learning.  |
NIPS  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Francisco de Assis Zampirolli, Roberto de Alencar Lotufo |
Classification of the Distance Transformation Algorithms under the Mathematical Morphology Approach.  |
SIBGRAPI  |
2000 |
DBLP DOI BibTeX RDF |
distance transformation algorithm classification, sequential raster algorithms, parallel algorithms, image processing, image processing, computer architectures, mathematical morphology, binary image, distance metric, propagation algorithms |
| 1 | Nikos Paragios, Rachid Deriche |
Geodesic Active Contours and Level Sets for the Detection and Tracking of Moving Objects.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2000 |
DBLP DOI BibTeX RDF |
level set theory, tracking, motion detection, geodesic active contours, Front propagation |
| 1 | Stefano Bistarelli, Rosella Gennari, Francesca Rossi |
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.  |
CP  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Francesca Rossi |
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.  |
SARA  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Eric Monfroy |
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains  |
CoRR  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Andrés Cano, Serafín Moral |
A Review of Propagation Algorithms for Imprecise Probabilities.  |
ISIPTA  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Eric Monfroy |
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.  |
CP  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan J. Merelo Guervós, Víctor Manuel Rivas Santos, Gustavo Romero, Pedro A. Castillo Valdivieso, Alberto Pascual, José María Carazo |
Improved Automatic Classification of Biological Particles from Electron-Microscopy Images Using Genetic Neural Nets.  |
IWANN  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Griffin, Bharat Kumar |
Algebraic Change Propagation for Semijoin and Outerjoin Queries.  |
SIGMOD Record  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Moukas, Konstantinos Chandrinos, Pattie Maes |
Trafficopter: A Distributed Collection System for Traffic Information.  |
CIA  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Assef Chmeiss, Philippe Jégou |
Two New Donstraint Propagation Algorithms Requiring Small Space Complexity.  |
ICTAI  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Russell L. Smith |
A Simple Method for Constructing and Evaluating Chain-rule Propagation Algorithms.  |
ANNES  |
1995 |
DBLP DOI BibTeX RDF |
chain rule, recurrent neural networks, backpropagation |
| 1 | Paul R. Carini, Michael Hind |
Flow-Sensitive Interprocedural Constant Propagation.  |
PLDI  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Carle, Lori L. Pollock |
Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects.  |
ACM Trans. Program. Lang. Syst.  |
1995 |
DBLP DOI BibTeX RDF |
translators, attribute grammar, language translation, incremental evaluation, hierarchical specifications |
| 1 | David Binkley |
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model.  |
CC  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Towards the Synthesis of Constraint Propagation Algorithms.  |
LOPSTR  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mark N. Wegman, F. Kenneth Zadeck |
Constant Propagation with Conditional Branches.  |
ACM Trans. Program. Lang. Syst.  |
1991 |
DBLP DOI BibTeX RDF |
procedure integration, type determination, abstract interpretation, code optimization, control flow graph, interprocedural analysis, static single assignment form, constant propagation |
| 1 | Wesley W. Chu, Patrick H. Ngai |
Solving the Generalized Job Shop Scheduling Problem via Temporal Constraint Propagation.  |
KBCS  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc B. Vilain, Henry A. Kautz |
Constraint Propagation Algorithms for Temporal Reasoning.  |
AAAI  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Charles R. Dyer, Azriel Rosenfeld |
Propagation algorithms for framing rectangle construction.  |
Pattern Recognition  |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | John B. Kam, Jeffrey D. Ullman |
Global Data Flow Analysis and Iterative Algorithms.  |
J. ACM  |
1976 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #99 of 99 (100 per page; Change: )
|
|