|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 556 occurrences of 437 keywords
|
|
|
Results
Found 2394 publication records. Showing 2394 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
130 | Ping Hou |
Some Representation Theorems for Recovering Contraction Relations. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
contraction inference relation, belief contraction, epistemic state, representation theorem |
80 | Neil Tennant |
Contracting Intuitionistic Theories. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
partial meet contraction, safe contraction, contraction, intuitionistic logic, revision, classical logic |
76 | Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun |
Two Approaches to Iterated Belief Contraction. |
KSEM |
2009 |
DBLP DOI BibTeX RDF |
|
76 | Yukako Nakayama, Koichi Kawahara, Mitsuru Yoneyama |
Rhythmic contraction and intercellular synchronization of intracellular Ca2+ oscillation in spontaneously beating cultured cardiac myocytes: experimental and modeling studies. |
WSTST |
2005 |
DBLP DOI BibTeX RDF |
Ca2+ oscillation, rhythmic contraction, intercellular synchronization, BVP oscillator |
67 | Hans L. Bodlaender, Arie M. C. A. Koster, Thomas Wolle |
Contraction and Treewidth Lower Bounds. |
ESA |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Horacio L. Arló-Costa, Isaac Levi |
Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment. |
Synth. |
2006 |
DBLP DOI BibTeX RDF |
entrenchment, withdrawal, contraction, decision theory, belief revision |
66 | Alain Darte, Guillaume Huard |
New Complexity Results on Array Contraction and Related Problems. |
J. VLSI Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
array contraction, NP-completeness, integer linear programming, code optimization, memory reduction |
66 | Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001 |
Improving Data Locality by Array Contraction. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
array contraction, loop shifting, optimization, performance, Compiler, memory, optimizing compilers, data locality |
66 | H. Martin Bücker, Arno Rasch |
Efficient derivative computations in neutron scattering via interface contraction. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
adifor, interface contraction, local preaccumulation, automatic differentiation, forward mode |
58 | Albert Hartono, Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, Venkatesh Choppella, Russell M. Pitzer, J. Ramanujam, Atanas Rountev, P. Sadayappan |
Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations. |
International Conference on Computational Science (1) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Resource-Bounded Belief Revision and Contraction. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
58 | Hiroyasu Kamo |
Effective Contraction Theorem and Its Application. |
CCA |
2000 |
DBLP DOI BibTeX RDF |
|
58 | Maria Paola Bonacina, Jieh Hsiang |
On Semantic Resolution with Lemmaizing and Contraction. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
58 | John H. Reif, Stephen R. Tate |
Dynamic Parallel Tree Contraction (Extended Abstract). |
SPAA |
1994 |
DBLP DOI BibTeX RDF |
|
57 | Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham |
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
Information State Change, Iterated Belief Contraction, Belief Change |
57 | Allard M. Tamminga |
Expansion and Contraction of Finite States. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
belief contraction, first degree entailment, paraconsistent logic, belief change |
57 | H. Martin Bücker, Arno Rasch |
Modeling the performance of interface contraction. |
ACM Trans. Math. Softw. |
2003 |
DBLP DOI BibTeX RDF |
interface contraction, local preaccumulation, performance modeling, Automatic differentiation, forward mode |
57 | Guillaume Damiand, Pascal Lienhardt |
Removal and Contraction for n-Dimensional Generalized Maps. |
DGCI |
2003 |
DBLP DOI BibTeX RDF |
Removal, contraction, generalized maps, irregular pyramids |
55 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Preference-based belief revision for rule-based agents. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Reason maintenance systems, Rule-based agents, Preferences, Belief revision |
55 | Keo-Sik Kim, Yang Soo An, Jeong-Hwan Seo, Chul-Gyu Song |
Ambulatory Urodynamics Monitoring System Using Personal Digital Assistance. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
ambulatory urodynamics monitoring, abdominal pressure, bio-impedance, PDA |
54 | Peng Guo, Guangxi Zhu, Liang Fang |
An Adaptive Coverage Algorithm for Large-Scale Mobile Sensor Networks. |
UIC |
2006 |
DBLP DOI BibTeX RDF |
adaptive coverage, boundary contraction, random disturbance, mobile sensor networks |
54 | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
Towards automatic parallelization of tree reductions in dynamic programming. |
SPAA |
2006 |
DBLP DOI BibTeX RDF |
commutative semiring, parallel tree contraction, parallel programming, dynamic programming, code generator, tree |
49 | Erik D. Demaine, Mohammad Taghi Hajiaghayi, Bojan Mohar |
Approximation algorithms via contraction decomposition. |
SODA |
2007 |
DBLP BibTeX RDF |
|
49 | Kiyoshi Ando, Atsushi Kaneko, Ken-ichi Kawarabayashi |
Vertices of Degree 5 in a Contraction Critically 5-connected Graph. |
Graphs Comb. |
2005 |
DBLP DOI BibTeX RDF |
AMS Subject Classification, 05C40 |
49 | Albert Hartono, Alexander Sibiryakov, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, So Hirata, Chi-Chung Lam, Russell M. Pitzer, J. Ramanujam, P. Sadayappan |
Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations. |
International Conference on Computational Science (1) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Jingqi Yan, Pengfei Shi, David Zhang 0001 |
Mesh Simplification with Hierarchical Shape Analysis and Iterative Edge Contraction. |
IEEE Trans. Vis. Comput. Graph. |
2004 |
DBLP DOI BibTeX RDF |
level of detail, Mesh simplification, shape approximation, object hierarchies |
49 | Yonghong Song, Cheng Wang 0019, Zhiyuan Li 0001 |
Locality Enhancement by Array Contraction. |
LCPC |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Oscar Kin-Chung Au, Chiew-Lan Tai, Hung-Kuo Chu, Daniel Cohen-Or, Tong-Yee Lee |
Skeleton extraction by mesh contraction. |
ACM Trans. Graph. |
2008 |
DBLP DOI BibTeX RDF |
mesh contraction, segmentation, skeleton, smoothing, skinning, Laplacian |
48 | Zhenyu Chen 0001, Baowen Xu, Xiaofang Zhang, Changhai Nie |
A novel approach for test suite reduction based on requirement relation contraction. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
graph contraction, test case reduction, testing requirement optimization |
48 | David A. Bader, Sukanya Sreshta, Nina R. Weisse-Bernstein |
Evaluating Arithmetic Expressions Using Tree Contraction: A Fast and Scalable Parallel Implementation for Symmetric Multiprocessors (SMPs) (Extended Abstract). |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
High-Performance Algorithm Engineering, Shared Memory, Parallel Graph Algorithms, Expression Evaluation, Tree Contraction |
45 | Laura Igual, Santi Seguí, Jordi Vitrià, Fernando Azpiroz, Petia Radeva |
Eigenmotion-Based Detection of Intestinal Contractions. |
CAIP |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Yll Haxhimusa, Roland Glantz, Walter G. Kropatsch |
Constructing Stochastic Pyramids by MIDES - Maximal Independent Directed Edge Set. |
GbRPR |
2003 |
DBLP DOI BibTeX RDF |
irregular graph pyramids, maximal independent directed edge set, topology preserving contraction, maximal independent set |
40 | Erik D. Demaine, MohammadTaghi Hajiaghayi, Ken-ichi Kawarabayashi |
Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner's Contraction. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
Bidimensionality, Wagner’s conjecture, Graph algorithms, Treewidth, Graph minors, Grid graphs |
40 | Yewguan Soo, Masataka Nishino, Masao Sugi, Hiroshi Yokoi, Tamio Arai, Ryu Kato, Tatsuhiro Nakamura, Jun Ota 0001 |
Evaluation of frequency band technique in estimating muscle fatigue during dynamic contraction task. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Antônio Padilha Lanari Bó, Philippe Poignet, Dingguo Zhang, Wei Tech Ang |
FES-controlled co-contraction strategies for pathological tremor compensation. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Erik D. Demaine, Mohammad Taghi Hajiaghayi, Ken-ichi Kawarabayashi |
Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner's Contraction. |
ISAAC |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Tomohiro Yoneda, Chris J. Myers |
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Chris H. Q. Ding, Richard F. Meraz, Xiaofeng He, Stephen R. Holbrook |
Contraction Graphs for Representation and Analysis of RNA Secondary Structure. |
CSB |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jin Akiyama, Kiyoshi Ando, Yoshimi Egawa |
Graphs G for which both G and G- are Contraction Critically k-Connected. |
Graphs Comb. |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Alain Darte, Guillaume Huard |
New Results on Array Contraction. |
ASAP |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Amy W. Lim, Shih-Wei Liao, Monica S. Lam |
Blocking and array contraction across arbitrarily nested loops using affine partitioning. |
PPoPP |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Nashat Mansour, Ravi Ponnusamy, Alok N. Choudhary, Geoffrey C. Fox |
Graph Contraction for Physical Optimization Methods: A Quality-Cost Tradeoff for Mapping Data on Parallel Computers. |
International Conference on Supercomputing |
1993 |
DBLP DOI BibTeX RDF |
|
40 | Shoichiro Yamada, Hirokai Okude, Tamotsu Kasai |
A hierarchical algorithm for one-dimensional gate assignment based on contraction of nets. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
39 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini |
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. |
ICEC |
2004 |
DBLP DOI BibTeX RDF |
concept abduction, concept contraction, negotiable constraints, semantic web, e-commerce, description logics, matchmaking |
36 | Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001 |
On the Computation of Ainfinity-Maps. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference |
36 | Yong Wu, Yuanjun He, Hongming Cai |
QEM-based mesh simplification with global geometry features preserved. |
GRAPHITE |
2004 |
DBLP DOI BibTeX RDF |
edge contraction, global geometry features, mesh simplification, quadric error metric |
31 | Hans Meine |
Annotated Contraction Kernels for Interactive Image Segmentation. |
GbRPR |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos |
Contraction Bidimensionality: The Accurate Picture. |
ESA |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Robert Geisberger, Peter Sanders 0001, Dominik Schultes, Daniel Delling |
Contraction Hierarchies: Faster and Simpler Hierarchical Routing in Road Networks. |
WEA |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jin-Myung Won, Fakhreddine Karray |
A Genetic Algorithm with cycle representation and contraction digraph model for Guideway Network design of Personal Rapid Transit. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Hai Vu, Tomio Echigo, Ryusuke Sagawa, Keiko Yagi, Masatsugu Shiba, Kazuhide Higuchi, Tetsuo Arakawa, Yasushi Yagi |
Contraction Detection in Small Bowel from an Image Sequence of Wireless Capsule Endoscopy. |
MICCAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Nazha Selmaoui |
Algorithm for Crest Detection Based on Graph Contraction. |
IbPRIA (2) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Mohua Banerjee, Pankaj Singh |
Rough Contraction Through Partial Meets. |
PReMI |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Seonju Ahn, Shinji Ozawa |
Generating facial expressions based on estimation of muscular contraction parameters from facial feature points. |
SMC (1) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Avan Suinesiaputra, Mehmet Üzümcü, Alejandro F. Frangi, T. A. M. Kaandorp, Johan H. C. Reiber, Boudewijn P. F. Lelieveldt |
Detecting Regional Abnormal Cardiac Contraction in Short-Axis MR Images Using Independent Component Analysis. |
MICCAI (1) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Lee Flax |
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
31 | John Ng, Dattatraya Kulkarni, Wei Li 0015, Robert Cox, Scott Bobholz |
Inter-Procedural Loop Fusion, Array Contraction and Rotation. |
IEEE PACT |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Geoff Pike, Paul N. Hilfinger |
Better tiling and array contraction for compiling scientific programs. |
SC |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Roman Englert, Walter G. Kropatsch |
Image Structure from Monotonic Dual Graph Contraction. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
31 | E. Christopher Lewis, Calvin Lin, Lawrence Snyder |
The Implementation and Evaluation of Fusion and Contraction in Array Languages. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
Concurrent C |
31 | Maria Paola Bonacina |
Analysis of Distributed-Search Contraction-Based Strategies. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Roderic A. Girle |
Tableaux for Expansion and Contraction. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
belief revision, tableaux, paraconsistency |
31 | Tse-Sun Chow, Harold Willis Milnes |
Boundary Contraction Solution of Laplace's Differential Equation II. |
J. ACM |
1960 |
DBLP DOI BibTeX RDF |
|
30 | Kemal Aydin, Rustu Murat Demirer, Coskun Bayrak |
Use of Hilbert Huang Transform in Uterine Contraction Analysis. |
BIBE |
2010 |
DBLP DOI BibTeX RDF |
HHT, MMG, Uterine Contraction, EMD |
30 | Junjie Cao 0001, Andrea Tagliasacchi, Matt Olson, Hao Zhang 0002, Zhixun Su |
Point Cloud Skeletons via Laplacian Based Contraction. |
Shape Modeling International |
2010 |
DBLP DOI BibTeX RDF |
topology repair, surface reconstruction, contraction, point cloud, laplacian, curve skeleton |
30 | C. T. Kelley |
Contraction-Mapping. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Contraction mapping, Iterative method, Linear equations, Integral equations, Nonlinear equations |
30 | István Juhos, Jano I. van Hemert |
Contraction-Based Heuristics to Improve the Efficiency of Algorithms Solving the Graph Colouring Problem. |
Recent Advances in Evolutionary Computation for Combinatorial Optimization |
2008 |
DBLP DOI BibTeX RDF |
Graph Contraction, Evolutionary Computation, Heuristics, Graph Colouring, Graph Representation, Graph Homomorphisms |
30 | Nathan T. Folwell, Scott A. Mitchell |
Reliable Whisker Weaving via Curve Contraction. |
Eng. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Curve contraction, Topology, Mesh generation, Hexahedra, Advancing front |
27 | Mitsuhiro Hayashibe, David Guiraud, Philippe Poignet |
EMG-to-force estimation with full-scale physiology based muscle model. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Nico H. L. Kuijpers, Huub M. M. ten Eikelder, Sander Verheule |
Atrial Anatomy Influences Onset and Termination of Atrial Fibrillation: A Computer Model Study. |
FIMH |
2009 |
DBLP DOI BibTeX RDF |
Atrial anatomy, mechanoelectric feedback, stretch-activated channels, atrial fibrillation |
27 | Tobias Siebert, Christian Rode, Walter Herzog, Olaf Till, Reinhard Blickhan |
Nonlinearities make a difference: comparison of two common Hill-type models with real muscle. |
Biol. Cybern. |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Zhengbing Bian, Qian-Ping Gu |
Computing Branch Decomposition of Large Planar Graphs. |
WEA |
2008 |
DBLP DOI BibTeX RDF |
computational study, Graph algorithms, planar graphs, algorithm engineering, branch-decomposition |
27 | Cecilia Laschi, Barbara Mazzolai, Virgilio Mattoli, Matteo Cianchetti, Paolo Dario |
Design and Development of a Soft Actuator for a Robot Inspired by the Octopus Arm. |
ISER |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Hongfeng Xiao, Guanzheng Tan |
Two Dimensions Simplex Evolution Algorithm. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Michael Günther 0001, Syn Schmitt, Veit Wank |
High-frequency oscillations as a consequence of neglected serial damping in Hill-type muscle models. |
Biol. Cybern. |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Mattias Andersson 0002, Joachim Gudmundsson, Christos Levcopoulos |
Restricted Mesh Simplification Using Edge Contractions. |
COCOON |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Maurice Pagnucco |
Knowledge Compilation for Belief Change. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
belief revision and update, common-sense reasoning, knowledge representation and reasoning |
27 | Jianji Su, Xudong Yuan |
Contractible Edges in 7-Connected Graphs. |
Graphs Comb. |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Qinghua Liu, Malgorzata Marek-Sadowska |
Pre-layout Physical Connectivity Prediction with Application in Clustering-Based Placement. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Xiaoyang Gao, Sriram Krishnamoorthy, Swarup Kumar Sahoo, Chi-Chung Lam, Gerald Baumgartner, J. Ramanujam, P. Sadayappan |
Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Lee Flax |
Algebraic Modelling of Some Cognitive Neuropsychology of Schizophrenia. |
IEEE ICCI |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Mats Blomquist |
Braille Contractions in WinBraille. |
ICCHP |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Mats Blomquist, Per Burman |
The WinBraille Approach to Producing Braille Quickly and Effectively. |
ICCHP |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Roland Glantz, Walter G. Kropatsch |
Plane Embedding of Dually Contracted Graphs. |
DGCI |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Helmut Kofler, Ernst J. Haunschmid, Wilfried N. Gansterer, Christoph W. Ueberhuber |
The Locality Property in Topological Irregular Graph Hierarchies. |
ACPC |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Timothy J. Hickey, Maarten H. van Emden, Huan Wu |
A Unified Framework for Interval Constraints and Interval Arithmetic. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Maria Paola Bonacina, Jieh Hsiang |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Maria Paola Bonacina, Jieh Hsiang |
On Fairness of Completion-Based Theorem Proving Strategies. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Hai H. Nguyen |
Belief Revision in a Fact-Rule Agent's Belief Base. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
Rule contraction, Rule-based agents, Belief revision |
27 | Libor Behounek, Petr Cintula |
Features of Mathematical Theories in Formal Fuzzy Logic. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics |
27 | J. Abdullah, David J. Parish |
Node connectivity index as mobility metric for GA based QoS routing in MANET. |
Mobility Conference |
2007 |
DBLP DOI BibTeX RDF |
contraction and expansion models, node connectivity index, genetic algorithm, performance evaluations, MANET, mobility models, QoS routing |
27 | Fred J. Vermolen, John A. Adam |
A Finite Element Model for Epidermal Wound Healing. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
wound contraction, neo-vascularization, finite elements |
27 | Christian Herrmann |
Erratum: On the Contractions of Vectorial Lattice Representations. |
Order |
2005 |
DBLP DOI BibTeX RDF |
vectorial lattice representation, complemented lattices, contraction, modular lattices |
27 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone |
Knowledge elicitation for query refinement in a semantic-enabled e-marketplace. |
ICEC |
2005 |
DBLP DOI BibTeX RDF |
concept abduction, concept contraction, semantic web, knowledge management, e-commerce, description logics, matchmaking |
27 | Nikolaos Galatos, James G. Raftery |
Adding Involution to Residuated Structures. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution |
27 | Yosi Ben-Asher, Gadi Haber |
Parallel Solutions of Simple Indexed Recurrence Equations. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
Ordinary recurrence equations, indexed recurrence equations, pointer jumping, parallel prefix sums, Livermore Loops benchmark, parallelizing compilers, list ranking, tree contraction, Euler tour |
27 | Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001 |
Data locality enhancement by memory reduction. |
ICS |
2001 |
DBLP DOI BibTeX RDF |
array contraction, loop shifting, data locality, loop fusion |
27 | Hiroyuki Honda, Miki Haseyama, Hideo Kitajima, S. Matsumoto |
Extension of the Collage Theorem. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
collage theorem, fractal image compression, extended collage theorem, IFS algorithm, contraction mappings, data compression, quality, errors, iteration, iterative function system, reconstructed image |
27 | Ingemar J. Cox, Sébastien Roy 0001, Sunita L. Hingorani |
Dynamic histogram warping of image pairs for constant image brightness. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
constant image brightness, image pairs, dynamic histogram warping, stereo database revealed, additive/multiplicative models, nonlinear monotonically increasing relationship, expansion matching, contraction matching, histogram specification, image histograms, computer vision, computer vision, image sequences, optical flow, stereo image processing, artifacts, brightness, biases |
27 | John Esch |
Contexts and Concepts, Abstraction Duals. |
ICCS |
1994 |
DBLP DOI BibTeX RDF |
White Box, Relation Instances, Contexts, Aggregations, Contraction, Concepts, Conceptual Graphs, Expansion, Black Box, Individuals |
Displaying result #1 - #100 of 2394 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|