|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10186 occurrences of 5176 keywords
|
|
|
Results
Found 18931 publication records. Showing 18931 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot |
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm |
57 | Gang Xu 0001, Guozhao Wang |
Parametric Polynomial Minimal Surfaces of Degree Six with Isothermal Parameter. |
GMP |
2008 |
DBLP DOI BibTeX RDF |
harmonic surfaces, isothermal parametric surface, parametric polynomial minimal surface of degree six, membrane structure, minimal surface |
52 | Peter R. Cappello |
A Processor-Time-Minimal Systolic Array for Cubical Mesh Algorithms. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
hexagon shaped, cylinder connected, processor-time-minimal systolic array, cubical meshalgorithms, time-minimal multiprocessor schedules, processor-time-minimal scheduling, triangular shaped 2-D directed mesh, 2-D directed mesh, directedgraphs, parallel algorithms, computational complexity, topology, systolic arrays, directed acyclic graph, processing elements, matrix product |
52 | Hiroshi Sakai, Michinori Nakata |
Discernibility Functions and Minimal Rules in Non-deterministic Information Systems. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
Minimal rules, Tool for rule generation, Rough sets, Non-deterministic information, Discernibility functions |
49 | Anne Berry, Jean R. S. Blair, Pinar Heggernes, Barry W. Peyton |
Maximum Cardinality Search for Computing Minimal Triangulations of Graphs. |
Algorithmica |
2004 |
DBLP DOI BibTeX RDF |
Minimal triangulations, Minimal elimination ordering, Minimal fill, Chordal graphs |
45 | Tsong Yueh Chen, Man Fai Lau |
On the Minimal Essential Subsets and Minimal Representative Sets. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
minimal essential set, minimal representative set, software testing, set covering, test suite reduction |
45 | James Bailey 0001, Peter J. Stuckey |
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Minimal unsatisfiable sets, constraint solving, hitting sets, hypergraph transversals |
45 | Guozhu Dong, Chunyu Jiang, Jian Pei, Jinyan Li 0001, Limsoon Wong |
Mining Succinct Systems of Minimal Generators of Formal Concepts. |
DASFAA |
2005 |
DBLP DOI BibTeX RDF |
formal concepts, closed itemsets, succinctness, Minimal generators |
45 | Jie Wu 0001 |
Fault-Tolerant Adaptive and Minimal Routing in Mesh-Connected Multicomputers Using Extended Safety Levels. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
Fault tolerance, minimal routing, mesh-connected multicomputers |
44 | Luis Gravano, Gustavo D. Pifarré, Pablo E. Berman, Jorge L. C. Sanz |
Adaptive Deadlock- and Livelock-Free Routing with All Minimal Paths in Torus Networks. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
adaptive deadlock-free routing, livelock-free routing, n-dimensional torus network, packet-switched fully-adaptive minimal routing, 4-Classes, dynamic message injectionmodel, performance evaluation, concurrency control, multiprocessor interconnection networks, virtual channels, Channels, torus networks, buffer requirement, minimal paths, traffic patterns, message lengths |
44 | Gustavo D. Pifarré, Luis Gravano, Sergio A. Felperin, Jorge L. C. Sanz |
Fully Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and other Networks: Algorithms and Simulations. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
adaptive minimal deadlock-free packet routing, virtual cut-through routing models, simulations, algorithms, concurrency control, message passing, hypercubes, multiprocessor interconnection networks, multiprocessor interconnection networks, meshes, packet switching, parallel machines, parallel machines, routing algorithms, deadlock, packet routing, shuffle-exchange, minimal paths, two-dimensional mesh |
42 | Zhen Jiang, Jie Wu 0001, Dajin Wang |
A New Fault Information Model for Fault-Tolerant Adaptive and Minimal Routing in 3-D Meshes. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
fault information models, 3-D meshes, fault tolerance, Adaptive routing, minimal routing |
41 | Alain Finkel |
The Minimal Coverability Graph for Petri Nets. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Karp-Miller graph, minimal coverability graph, effective computation of the minimal coverability graph, verification of protocols, Petri nets, decidability |
39 | Marcus Brazil, Doreen A. Thomas, Jia F. Weng |
Gradient-constrained minimum networks (II). Labelled or locally minimal Steiner points. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Minimum networks, Gradient constrained, Steiner trees, Locally minimal |
39 | Hajime Machida, Tamás Waldhauser |
Majority and Other Polynomials in Minimal Clones. |
ISMVL |
2008 |
DBLP DOI BibTeX RDF |
minimal clone, polynomial, clone, Galois field |
39 | Li Chen 0002, Paul P. Wang |
Fuzzy Relation Equations (II): The Branch-point-solutions and the Categorized Minimal Solutions. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Minimal solutions, Branch-point-solutions, Algorithms, Computational complexity, Fuzzy relation equations |
37 | Michael Pedersen |
Compositional Definitions of Minimal Flows in Petri Nets. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity |
37 | Koji Iwanuma, Katsumi Inoue |
Minimal Answer Computation and SOL. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Ning Xu, Yunxiang Liu, Ruqi Zhou |
A Tentative Approach to Minimal Reducts by Combining Several Algorithms. |
ICIC (3) |
2008 |
DBLP DOI BibTeX RDF |
minimal reduct, algorithm, rough sets, attribute reduction |
35 | Hajime Machida, Michael Pinsker |
Some Observations on Minimal Clones. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
minimal clone, Clone, Galois field |
35 | Francesca Cioffi |
Remarks on the Computation of Minimal Finite Free Resolutions. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Castelnuovo-Mumford regularity, minimal free resolution, Betti numbers |
35 | Jie Wu 0001 |
A Fault-Tolerant Adaptive and Minimal Routing Approach in 3-D Meshes. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
3-D meshes, fault tolerance, deadlock, adaptive routing, livelock, minimal routing |
35 | Honghua Dai 0001 |
A Minimal Causal Model Learner. |
PAKDD |
1999 |
DBLP DOI BibTeX RDF |
causal discovery, data mining, machine learning, artificial intelligence, knowledge acquisition, Minimal model |
35 | Chris J. Scheiman, Peter R. Cappello |
A Period-Processor-Time-Minimal Schedule for Cubical Mesh Algorithms. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
period-processor-time-minimal schedule, cubical mesh algorithms, precedence-constrained multiprocessor schedules, toroidally connected mesh, scheduling, parallel algorithms, computational complexity, multiprocessor interconnection networks, directed graphs, systolic arrays, systolic array, directed acyclic graph, matrix algebra, matrix product, computationalcomplexity |
34 | Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva 0001, Karem A. Sakallah |
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability |
34 | José Manuel Colom, Manuel Silva Suárez |
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
Structural analysis of P/T nets, Minimal semiflows, Extremal direction of a cone, Algorithms to compute all minimal semiflows, Tests of minimality, Convex Geometry |
33 | Lin Chen 0001 |
Optimal overlap representations. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
optimal overlap representations, minimal interval, circular arc overlap representations, minimal interval overlap representation, EREW PRAM processors, common CRCW PRAM, BSR processors, parallel algorithms, computational complexity, computational geometry, optimal algorithms |
32 | C. A. Johnson |
Computing Only Minimal Answers in Disjunctive Deductive Databases. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation |
32 | Jie Zhou 0009, Duoqian Miao, Qinrong Feng, Lijun Sun |
Research on Complete Algorithms for Minimal Attribute Reduction. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
minimal reduct, complete algorithm, decision table, discernibility function |
32 | Dongshu Yan, Jintao Zhang, Bo Yu 0003, Changtong Luo, Shaoliang Zhang |
A Genetic Algorithm for Finding Minimal Multi-homogeneous Bézout Number. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
minimal multi-homogeneous Bezout number, genetic algorithm, heuristics, polynomial equations |
32 | Min Xie, Lixin Gao, Haiwa Guan |
Ant Algorithm Applied in the Minimal Cost Maximum Flow Problem. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
minimal cost maximum flow problem, ant algorithm, directed network |
32 | Margreta Kuijper, Raquel Pinto |
Minimal Trellis Construction for Finite Support Convolutional Ring Codes. |
ICMCTA |
2008 |
DBLP DOI BibTeX RDF |
polynomial module, row reduced, p-generator sequence, minimal trellis, convolutional code, finite ring |
32 | Hans Kleine Büning, Xishun Zhao |
Extension and equivalence problems for clause minimal formulae. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
clause minimal formulas, extension problem, complexity, equivalence problem |
32 | Martin Dietzfelbinger, Torben Hagerup |
Simple Minimal Perfect Hashing in Less Space. |
ESA |
2001 |
DBLP DOI BibTeX RDF |
minimal perfect hash functions, space requirements, Data structures, randomized algorithms, hashing, dictionaries, hash tables |
32 | Chris J. Scheiman, Peter R. Cappello |
A Processor-Time-Minimal Systolic Array for Transitive Closure. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
processor-time-minimal multiprocessor schedules, 2-D mesh, parallel algorithms, systolic array, systolic arrays, directed acyclic graph, multiprocessor schedule, transitive closure |
31 | Joseph Kaye |
I just clicked to say I love you: rich evaluations of minimal communication. |
CHI Extended Abstracts |
2006 |
DBLP DOI BibTeX RDF |
minimal communication, minimal design, evaluation, bandwidth, intimacy |
31 | Vijay V. Vazirani, Huzur Saran, B. Sundar Rajan |
An Efficient Algorithm for Constructing Minimal Trellises for Codes over Finite Abelian Groups. |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
finite Abelian groups, minimal trellises, group code, minimal trellis, zero-divisors, submodule, p-linear combination, p-generator sequence, efficient algorithm, group theory, linear combination, cyclic groups |
31 | Augustus K. Uht |
A Theory of Reduced and Minimal Procedural Dependencies. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
reduced procedural dependencies, minimal procedural dependencies, reduced set, reduced data dependencies, minimal semantic dependencies, concurrency control, codes, instruction sets, reduced instruction set computing |
30 | Jeen-Shing Wang, Yen-Ping Chen |
A Hammerstein Recurrent Neurofuzzy Network With an Online Minimal Realization Learning Algorithm. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu 0001 |
Minimal Threshold Closure. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
Threshold Closure, Access Control, Authorization, Threshold Schemes |
30 | Pinar Heggernes, Federico Mancini 0001 |
Minimal Split Completions of Graphs. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Jie Wu 0001, Zhen Jiang |
Extended Minimal Routing in 2-D Meshes with Faulty Blocks. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Paul Tarau, Brenda Luderman |
Exact combinational logic synthesis and non-standard circuit design. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
asymmetrical logic operators, exact combinational circuit synthesis, minimal transistor-count circuits, minimal universal boolean logic libraries |
30 | Marina Blanton, Mikhail J. Atallah |
Provable bounds for portable and flexible privacy-preserving access. |
SACMAT |
2005 |
DBLP DOI BibTeX RDF |
compact policy representation, minimal perfect hash functions, order-preserving minimal perfect hash functions, portable access rights, algorithm analysis |
29 | Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada |
Incremental Construction of Minimal Tree Automata. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
Deterministic tree automata, Incremental construction of minimal tree automata |
29 | Morteza Esmaeili |
Construction of binary minimal product parity-check matrices. |
Appl. Algebra Eng. Commun. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Minimal parity-check matrices, Product codes |
29 | Marije Kanis, Mark J. Perry, Willem-Paul Brinkman |
minimal connectedness: exploring the effects of positive messaging using mobile technology. |
CHI Extended Abstracts |
2008 |
DBLP DOI BibTeX RDF |
minimal connectedness, positive emotions, social sharing, social interaction, ambiguity, mobile technology |
29 | Zareen Alamgir, Sarmad Abbasi |
Combinatorial Algorithms for Listing Paths in Minimal Change Order. |
CAAN |
2007 |
DBLP DOI BibTeX RDF |
Minimal change order, Revolving door order, Generation of paths, Combinatorial algorithms, Complete graph |
29 | Jing Wang 0066, Ying Li, Xinmei Wang |
An Algorithm to Search Minimal Subtree Graphs. |
ICPP Workshops |
2007 |
DBLP DOI BibTeX RDF |
multicast routing graph, minimal subtree graph, information flow, network coding |
29 | Olivier Nempont, Jamal Atif, Elsa D. Angelini, Isabelle Bloch |
Combining Radiometric and Spatial Structural Information in a New Metric for Minimal Surface Segmentation. |
IPMI |
2007 |
DBLP DOI BibTeX RDF |
• minimal surface segmentation • level sets • spatial relations • fuzzy knowledge representation |
29 | Yun Li, Zongtian Liu, Ling Chen, Wei Cheng, Cui-hua Xie |
Extracting Minimal Non-Redundant Association Rules from QCIL. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
Minimal non-redundant rule, Quantitative closed itemset lattice, Association rule, Frequent closed itemset |
29 | Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny |
Finding all minimal unsatisfiable subsets. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
minimal unsatisfiable subsets, constraint solving |
29 | Markus Bläser |
Algebras of Minimal Rank over Perfect Fields. |
CCC |
2002 |
DBLP DOI BibTeX RDF |
algebras of minimal rank, multiplication, bilinear complexity |
29 | Philippe Baldy, Michel Morvan |
Height Preserving Minimal Interval Extensions. |
Order |
2001 |
DBLP DOI BibTeX RDF |
lattice of maximal antichains, minimal interval extensions, lattices, partially ordered sets, interval orders, height |
29 | Chen Sagiv, Nir A. Sochen, Yehoshua Y. Zeevi |
Gabor Feature Space Diffusion via the Minimal Weighted Area Method. |
EMMCVPR |
2001 |
DBLP DOI BibTeX RDF |
Gabor analysis, Geometric-based algorithms, Beltrami framework, image manifolds, minimal weighted area method, Anisotropic diffusion, Geodesic active contours |
29 | Heejong Suh, Carl K. Chang |
Algorithms for the Minimal Cutsets Enumeration of Networks by Graph Search and Branch Addition. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
minimal cutsets enumeration, branch addition, graph method, graph tree, sub-vertex set, graph topology, disjoint vertex set, algorithms, computational complexity, reliability, reliability, networks, graph theory, network topology, time complexity, spanning tree, binary tree, graph search |
29 | Anne Berry, Jean Paul Bordat, Olivier Cogis |
Generating All the Minimal Separators of a Graph. |
WG |
1999 |
DBLP DOI BibTeX RDF |
Minimal Separator, Graph, Enumeration Algorithm |
29 | Ivo G. Rosenberg, Hajime Machida |
Gigantic Pairs of Minimal Clones. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
minimal clone, primal algebra, clone |
29 | Hans Kleine Büning |
An Upper Bound for Minimal Resolution Refutations. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
propositional formulas, length of proofs, minimal unsatisfiability, resolution |
28 | Valentin E. Brimkov, Reneta P. Barneva, Boris Brimkov |
Minimal Offsets That Guarantee Maximal or Minimal Connectivity of Digital Curves in nD. |
DGCI |
2009 |
DBLP DOI BibTeX RDF |
digital object connectivity, curve offset, Digital geometry, digital curve |
28 | T. Yung Kong |
Minimal Non-simple and Minimal Non-cosimple Sets in Binary Images on Cell Complexes. |
DGCI |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Zuoquan Lin, Wei Li 0022 |
On Logic of Paradox. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity |
27 | B. Bodenstorfer |
Short Communication/Kureze Mitteilung. How many Minimal Upper Bounds of Minimal Upper Bounds. |
Computing |
1996 |
DBLP DOI BibTeX RDF |
Subset-relation, minimal upper bound, generalized induction, nonmonotonic logic |
27 | Daniel Meister 0001 |
A Characterisation of the Minimal Triangulations of Permutation Graphs. |
WG |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve Villanger |
Characterizing Minimal Interval Completions. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Scott J. Weber, Kurt Keutzer |
Using minimal minterms to represent programmability. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
Boolean function representation, instruction set extraction, Boolean satisfiability |
27 | Jacob Feldman |
Perceptual Grouping by Selection of a Logically Minimal Model. |
Int. J. Comput. Vis. |
2003 |
DBLP DOI BibTeX RDF |
nonaccidental properties, logic, perceptual grouping, perceptual organization |
27 | Giacomino Veltri, Qingfeng Huang, Gang Qu 0001, Miodrag Potkonjak |
Minimal and maximal exposure path algorithms for wireless embedded sensor networks. |
SenSys |
2003 |
DBLP DOI BibTeX RDF |
centralized optimal algorithms, wireless embedded sensor networks, simulation, localized algorithms |
27 | Fredrik Kahl, Anders Heyden, Long Quan |
Minimal Projective Reconstruction Including Missing Data. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2001 |
DBLP DOI BibTeX RDF |
structure from motion, missing data, projective geometry, projective reconstruction, Structure recovery |
27 | Jie Wu 0001 |
A Fault-Tolerant Adaptive and Minimal Routing Approach in n-D Meshes. |
ICPP |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Long Quan, Anders Heyden, Fredrik Kahl |
Minimal Projective Reconstruction with Missing Data. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Seungjae Lee 0001, Changhwa Kim, Sangkyung Kim |
Constructing Energy Efficient Wireless Sensor Networks by Variable Transmission Energy Level Control. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
minimal energy transmission, energy-minimal routing path, constructing network, wireless sensor network, energy efficiency |
26 | Guantao Chen, Frank J. Hall, Zhongshan Li, Bing Wei 0001 |
On Ranks of Matrices Associated with Trees. |
Graphs Comb. |
2003 |
DBLP DOI BibTeX RDF |
Sign pattern matrix, Symmetric tree sign pattern, Minimal rank, Symmetric minimal rank |
26 | Benjamin T. Fine |
Unsupervised anomaly detection with minimal sensing. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
clustering, anomaly detection, unsupervised learning, minimal spanning tree |
26 | Haytham Elghazel, Khalid Benabdeslem, Hamamache Kheddouci |
McSOM: Minimal Coloring of Self-Organizing Map. |
ADMA |
2009 |
DBLP DOI BibTeX RDF |
minimal coloring, neighborhood relations, clustering, Self-organizing map |
26 | Mark H. Liffiton, Karem A. Sakallah |
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Minimal unsatifiable subset, CAMUS, Constraint satisfaction |
26 | Federica Paci, David Bauer, Elisa Bertino, Douglas M. Blough, Anna Cinzia Squicciarini |
Minimal credential disclosure in trust negotiations. |
Digital Identity Management |
2008 |
DBLP DOI BibTeX RDF |
identity attributes, micro-claims, minimal disclosure |
26 | Bastian Goldlücke, Ivo Ihrke, Christian Linz, Marcus A. Magnor |
Weighted Minimal Hypersurface Reconstruction. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Weighted minimal hypersurfaces, Euler-Lagrange formulation, reconstruction, tomography |
26 | Bernardo Cockburn, Bo Dong |
An Analysis of the Minimal Dissipation Local Discontinuous Galerkin Method for Convection-Diffusion Problems. |
J. Sci. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Minimal dissipation local discontinuous Galerkin method, convection-diffusion equation |
26 | Kumar Chellapilla, Anton Mityagin, Denis Xavier Charles |
GigaHash: scalable minimal perfect hashing for billions of urls. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
minimal perfect hashing, space efficient hash table, web search engine, perfect hash function |
26 | Rongfang Bie, Guohua Wu |
A Minimal Pair in the Quotient Structure M / NCup. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Computably enumerable degrees, quotient structure, minimal pairs |
26 | Yu Hu 0002, Tong Jing, Zhe Feng 0002, Xianlong Hong, Xiaodong Hu 0001, Guiying Yan |
ACO-Steiner: Ant Colony Optimization Based Rectilinear Steiner Minimal Tree Algorithm. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
rectilinear Steiner minimal tree (RSMT), routing, physical design, ant colony optimization (ACO) |
26 | Fabio Massacci, John Mylopoulos, Nicola Zannone |
Hierarchical hippocratic databases with minimal disclosure for virtual organizations. |
VLDB J. |
2006 |
DBLP DOI BibTeX RDF |
Minimal disclosure, Private data management, Access control, Information security, Virtual organizations, Delegation, Privacy protection |
26 | Guoliang Xu, Qin Zhang 0005 |
Minimal Mean-Curvature-Variation Surfaces and Their Applications in Surface Modeling. |
GMP |
2006 |
DBLP DOI BibTeX RDF |
Minimal mean-curvature-variation flow, Discretization, Surface modeling, Energy functional, Euler-Lagrange equation |
26 | Roberto Ardon, Laurent D. Cohen, Anthony J. Yezzi |
A New Implicit Method for Surface Segmentation by Minimal Paths: Applications in 3D Medical Images. |
EMMCVPR |
2005 |
DBLP DOI BibTeX RDF |
Stationary Transport Equation, Image segmentation, Active contours, Level Set method, Object Extraction, Minimal Paths |
26 | Sudeshna Dasgupta, Vijay Chandru |
Minimal Unsatisfiable Sets: Classification and Bounds. |
ASIAN |
2004 |
DBLP DOI BibTeX RDF |
Minimal Unsatisfiable Sets, satisfiability, propositional logic, Boolean formulas |
26 | Chyi-Jou Gau, T. Yung Kong |
4D Minimal Non-simple Sets. |
DGCI |
2002 |
DBLP DOI BibTeX RDF |
4D xel, minimal non-simple, MNS, attachment, parallel thinning |
26 | Brett McElwee |
Maximal and Minimal Semilattices on Ordered Sets. |
Order |
2001 |
DBLP DOI BibTeX RDF |
free, filter, minimal, ideal, semilattice, maximal |
26 | Paul LaFollette, James F. Korsh |
A Loopless Algorithm for Generation of Basic Minimal Interval Orders. |
Order |
2000 |
DBLP DOI BibTeX RDF |
loopless algorithm, minimal, interval order |
26 | Irith Pomeranz, Sudhakar M. Reddy |
On Finding a Minimal Functional Description of a Finite-State Machine for Test Generation for Adjacent Machines. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
minimal descriptions, test generation, Finite-state machines |
26 | Thomas Deschamps, Laurent D. Cohen |
Minimal Paths in 3D Images and Application to Virtual Endoscopy. |
ECCV (2) |
2000 |
DBLP DOI BibTeX RDF |
Medical image understanding, Deformable Models, Level Set methods, Minimal paths, Fast Marching, Eikonal Equation |
26 | Vicent Caselles, Ron Kimmel, Guillermo Sapiro, Catalina Sbert |
Minimal Surfaces Based Object Segmentation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1997 |
DBLP DOI BibTeX RDF |
mean curvature motion, medical images, deformable models, 3D segmentation, minimal surfaces |
26 | Fabrizio Petrini, Marco Vanneschi |
Performance Analysis of Minimal Adaptive Wormhole Routing with Time-Dependent Deadlock Recovery. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
minimal adaptive wormhole routing, potential deadlocks, performance analysis, multiprocessor interconnection networks, virtual channels, deadlock avoidance, timeout, deadlock recovery |
26 | Laurent D. Cohen, Ron Kimmel |
Global Minimum for Active Contour Models: A Minimal Path Approach. |
CVPR |
1996 |
DBLP DOI BibTeX RDF |
Deformable Models-Snakes, Path of minimal cost, Feature Extraction, Segmentation, Partial Differential Equations, Level Sets, Energy Minimization, Shape modeling |
26 | Eun-Hee Hyun, Sung-Hee Kim |
Real-time mobile data management using a minimal MMDB. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
real-time mobile data management, minimal MMDB, main memory database system, mobile computational viewpoint, location registers, fast access methods, digital cellular system, real-time systems, middleware, database management systems, relational data model, client/server architecture, design considerations |
26 | Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau |
Algorithms for Constructing Minimal Deduction Graphs. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF |
26 | Hans-Jürgen Bandelt |
Invited Presentation: Median Hulls as Steiner Hulls in Rectilinear and Molecular Sequence Spaces. |
WG |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Augusto Ciuffoletti |
Self-stabilization - beyond the token ring circulation (brief announcement). |
PODC |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
A Minimized Assumption Generation Method for Component-Based Software Verification. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning |
24 | Guillaume Damiand, Samuel Peltier, Laurent Fuchs |
Computing Homology for Surfaces with Generalized Maps: Application to 3D Images. |
ISVC (2) |
2006 |
DBLP DOI BibTeX RDF |
homology generators, minimal subdivision, generalized maps, topological features |
Displaying result #1 - #100 of 18931 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|