The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for contraction with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1979 (15) 1981-1984 (15) 1985-1988 (16) 1989-1991 (31) 1992-1993 (29) 1994 (18) 1995-1996 (32) 1997 (21) 1998 (32) 1999 (29) 2000 (36) 2001 (42) 2002 (42) 2003 (46) 2004 (73) 2005 (86) 2006 (87) 2007 (88) 2008 (92) 2009 (93) 2010 (51) 2011 (52) 2012 (76) 2013 (86) 2014 (98) 2015 (86) 2016 (73) 2017 (91) 2018 (102) 2019 (143) 2020 (144) 2021 (137) 2022 (160) 2023 (140) 2024 (32)
Publication types (Num. hits)
article(1270) data(1) incollection(11) inproceedings(1100) phdthesis(12)
Venues (Conferences, Journals, ...)
CoRR(252) EMBC(61) CDC(50) IEEE Trans. Autom. Control.(31) Stud Logica(27) Axioms(24) Discret. Math.(24) Symmetry(23) SENSORS(21) FIMH(20) Appl. Math. Lett.(18) CinC(18) ACC(17) Autom.(16) Appl. Math. Comput.(15) Comput. Biol. Medicine(15) More (+10 of total 885)
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
130Ping Hou Some Representation Theorems for Recovering Contraction Relations. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF contraction inference relation, belief contraction, epistemic state, representation theorem
80Neil Tennant Contracting Intuitionistic Theories. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partial meet contraction, safe contraction, contraction, intuitionistic logic, revision, classical logic
76Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun Two Approaches to Iterated Belief Contraction. Search on Bibsonomy KSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
76Yukako Nakayama, Koichi Kawahara, Mitsuru Yoneyama Rhythmic contraction and intercellular synchronization of intracellular Ca2+ oscillation in spontaneously beating cultured cardiac myocytes: experimental and modeling studies. Search on Bibsonomy WSTST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Ca2+ oscillation, rhythmic contraction, intercellular synchronization, BVP oscillator
67Hans L. Bodlaender, Arie M. C. A. Koster, Thomas Wolle Contraction and Treewidth Lower Bounds. Search on Bibsonomy ESA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Horacio L. Arló-Costa, Isaac Levi Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment. Search on Bibsonomy Synth. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF entrenchment, withdrawal, contraction, decision theory, belief revision
66Alain Darte, Guillaume Huard New Complexity Results on Array Contraction and Related Problems. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF array contraction, NP-completeness, integer linear programming, code optimization, memory reduction
66Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001 Improving Data Locality by Array Contraction. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF array contraction, loop shifting, optimization, performance, Compiler, memory, optimizing compilers, data locality
66H. Martin Bücker, Arno Rasch Efficient derivative computations in neutron scattering via interface contraction. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF adifor, interface contraction, local preaccumulation, automatic differentiation, forward mode
58Albert 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. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58Natasha Alechina, Mark Jago, Brian Logan 0001 Resource-Bounded Belief Revision and Contraction. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
58Hiroyasu Kamo Effective Contraction Theorem and Its Application. Search on Bibsonomy CCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
58Maria Paola Bonacina, Jieh Hsiang On Semantic Resolution with Lemmaizing and Contraction. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
58John H. Reif, Stephen R. Tate Dynamic Parallel Tree Contraction (Extended Abstract). Search on Bibsonomy SPAA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
57Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction. Search on Bibsonomy KSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Information State Change, Iterated Belief Contraction, Belief Change
57Allard M. Tamminga Expansion and Contraction of Finite States. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF belief contraction, first degree entailment, paraconsistent logic, belief change
57H. Martin Bücker, Arno Rasch Modeling the performance of interface contraction. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF interface contraction, local preaccumulation, performance modeling, Automatic differentiation, forward mode
57Guillaume Damiand, Pascal Lienhardt Removal and Contraction for n-Dimensional Generalized Maps. Search on Bibsonomy DGCI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Removal, contraction, generalized maps, irregular pyramids
55Natasha Alechina, Mark Jago, Brian Logan 0001 Preference-based belief revision for rule-based agents. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reason maintenance systems, Rule-based agents, Preferences, Belief revision
55Keo-Sik Kim, Yang Soo An, Jeong-Hwan Seo, Chul-Gyu Song Ambulatory Urodynamics Monitoring System Using Personal Digital Assistance. Search on Bibsonomy MUE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ambulatory urodynamics monitoring, abdominal pressure, bio-impedance, PDA
54Peng Guo, Guangxi Zhu, Liang Fang An Adaptive Coverage Algorithm for Large-Scale Mobile Sensor Networks. Search on Bibsonomy UIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF adaptive coverage, boundary contraction, random disturbance, mobile sensor networks
54Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi Towards automatic parallelization of tree reductions in dynamic programming. Search on Bibsonomy SPAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF commutative semiring, parallel tree contraction, parallel programming, dynamic programming, code generator, tree
49Erik D. Demaine, Mohammad Taghi Hajiaghayi, Bojan Mohar Approximation algorithms via contraction decomposition. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
49Kiyoshi Ando, Atsushi Kaneko, Ken-ichi Kawarabayashi Vertices of Degree 5 in a Contraction Critically 5-connected Graph. Search on Bibsonomy Graphs Comb. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AMS Subject Classification, 05C40
49Albert 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. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Jingqi Yan, Pengfei Shi, David Zhang 0001 Mesh Simplification with Hierarchical Shape Analysis and Iterative Edge Contraction. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF level of detail, Mesh simplification, shape approximation, object hierarchies
49Yonghong Song, Cheng Wang 0019, Zhiyuan Li 0001 Locality Enhancement by Array Contraction. Search on Bibsonomy LCPC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Oscar Kin-Chung Au, Chiew-Lan Tai, Hung-Kuo Chu, Daniel Cohen-Or, Tong-Yee Lee Skeleton extraction by mesh contraction. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mesh contraction, segmentation, skeleton, smoothing, skinning, Laplacian
48Zhenyu Chen 0001, Baowen Xu, Xiaofang Zhang, Changhai Nie A novel approach for test suite reduction based on requirement relation contraction. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graph contraction, test case reduction, testing requirement optimization
48David 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). Search on Bibsonomy HiPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF High-Performance Algorithm Engineering, Shared Memory, Parallel Graph Algorithms, Expression Evaluation, Tree Contraction
45Laura Igual, Santi Seguí, Jordi Vitrià, Fernando Azpiroz, Petia Radeva Eigenmotion-Based Detection of Intestinal Contractions. Search on Bibsonomy CAIP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Yll Haxhimusa, Roland Glantz, Walter G. Kropatsch Constructing Stochastic Pyramids by MIDES - Maximal Independent Directed Edge Set. Search on Bibsonomy GbRPR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF irregular graph pyramids, maximal independent directed edge set, topology preserving contraction, maximal independent set
40Erik D. Demaine, MohammadTaghi Hajiaghayi, Ken-ichi Kawarabayashi Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner's Contraction. Search on Bibsonomy Algorithmica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bidimensionality, Wagner’s conjecture, Graph algorithms, Treewidth, Graph minors, Grid graphs
40Yewguan 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. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Antônio Padilha Lanari Bó, Philippe Poignet, Dingguo Zhang, Wei Tech Ang FES-controlled co-contraction strategies for pathological tremor compensation. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Erik D. Demaine, Mohammad Taghi Hajiaghayi, Ken-ichi Kawarabayashi Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner's Contraction. Search on Bibsonomy ISAAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Tomohiro Yoneda, Chris J. Myers Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Chris H. Q. Ding, Richard F. Meraz, Xiaofeng He, Stephen R. Holbrook Contraction Graphs for Representation and Analysis of RNA Secondary Structure. Search on Bibsonomy CSB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Jin Akiyama, Kiyoshi Ando, Yoshimi Egawa Graphs G for which both G and G- are Contraction Critically k-Connected. Search on Bibsonomy Graphs Comb. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Alain Darte, Guillaume Huard New Results on Array Contraction. Search on Bibsonomy ASAP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Amy W. Lim, Shih-Wei Liao, Monica S. Lam Blocking and array contraction across arbitrarily nested loops using affine partitioning. Search on Bibsonomy PPoPP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Nashat 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. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
40Shoichiro Yamada, Hirokai Okude, Tamotsu Kasai A hierarchical algorithm for one-dimensional gate assignment based on contraction of nets. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
39Simona 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. Search on Bibsonomy ICEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concept abduction, concept contraction, negotiable constraints, semantic web, e-commerce, description logics, matchmaking
36Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001 On the Computation of Ainfinity-Maps. Search on Bibsonomy CASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference
36Yong Wu, Yuanjun He, Hongming Cai QEM-based mesh simplification with global geometry features preserved. Search on Bibsonomy GRAPHITE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF edge contraction, global geometry features, mesh simplification, quadric error metric
31Hans Meine Annotated Contraction Kernels for Interactive Image Segmentation. Search on Bibsonomy GbRPR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos Contraction Bidimensionality: The Accurate Picture. Search on Bibsonomy ESA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Robert Geisberger, Peter Sanders 0001, Dominik Schultes, Daniel Delling Contraction Hierarchies: Faster and Simpler Hierarchical Routing in Road Networks. Search on Bibsonomy WEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Jin-Myung Won, Fakhreddine Karray A Genetic Algorithm with cycle representation and contraction digraph model for Guideway Network design of Personal Rapid Transit. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Hai 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. Search on Bibsonomy MICCAI (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Nazha Selmaoui Algorithm for Crest Detection Based on Graph Contraction. Search on Bibsonomy IbPRIA (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Mohua Banerjee, Pankaj Singh Rough Contraction Through Partial Meets. Search on Bibsonomy PReMI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Seonju Ahn, Shinji Ozawa Generating facial expressions based on estimation of muscular contraction parameters from facial feature points. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Avan 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. Search on Bibsonomy MICCAI (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Lee Flax An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31John Ng, Dattatraya Kulkarni, Wei Li 0015, Robert Cox, Scott Bobholz Inter-Procedural Loop Fusion, Array Contraction and Rotation. Search on Bibsonomy IEEE PACT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Geoff Pike, Paul N. Hilfinger Better tiling and array contraction for compiling scientific programs. Search on Bibsonomy SC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Roman Englert, Walter G. Kropatsch Image Structure from Monotonic Dual Graph Contraction. Search on Bibsonomy AGTIVE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31E. Christopher Lewis, Calvin Lin, Lawrence Snyder The Implementation and Evaluation of Fusion and Contraction in Array Languages. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Concurrent C
31Maria Paola Bonacina Analysis of Distributed-Search Contraction-Based Strategies. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Roderic A. Girle Tableaux for Expansion and Contraction. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF belief revision, tableaux, paraconsistency
31Tse-Sun Chow, Harold Willis Milnes Boundary Contraction Solution of Laplace's Differential Equation II. Search on Bibsonomy J. ACM The full citation details ... 1960 DBLP  DOI  BibTeX  RDF
30Kemal Aydin, Rustu Murat Demirer, Coskun Bayrak Use of Hilbert Huang Transform in Uterine Contraction Analysis. Search on Bibsonomy BIBE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF HHT, MMG, Uterine Contraction, EMD
30Junjie Cao 0001, Andrea Tagliasacchi, Matt Olson, Hao Zhang 0002, Zhixun Su Point Cloud Skeletons via Laplacian Based Contraction. Search on Bibsonomy Shape Modeling International The full citation details ... 2010 DBLP  DOI  BibTeX  RDF topology repair, surface reconstruction, contraction, point cloud, laplacian, curve skeleton
30C. T. Kelley Contraction-Mapping. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Contraction mapping, Iterative method, Linear equations, Integral equations, Nonlinear equations
30István Juhos, Jano I. van Hemert Contraction-Based Heuristics to Improve the Efficiency of Algorithms Solving the Graph Colouring Problem. Search on Bibsonomy Recent Advances in Evolutionary Computation for Combinatorial Optimization The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Graph Contraction, Evolutionary Computation, Heuristics, Graph Colouring, Graph Representation, Graph Homomorphisms
30Nathan T. Folwell, Scott A. Mitchell Reliable Whisker Weaving via Curve Contraction. Search on Bibsonomy Eng. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Curve contraction, Topology, Mesh generation, Hexahedra, Advancing front
27Mitsuhiro Hayashibe, David Guiraud, Philippe Poignet EMG-to-force estimation with full-scale physiology based muscle model. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Nico H. L. Kuijpers, Huub M. M. ten Eikelder, Sander Verheule Atrial Anatomy Influences Onset and Termination of Atrial Fibrillation: A Computer Model Study. Search on Bibsonomy FIMH The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Atrial anatomy, mechanoelectric feedback, stretch-activated channels, atrial fibrillation
27Tobias Siebert, Christian Rode, Walter Herzog, Olaf Till, Reinhard Blickhan Nonlinearities make a difference: comparison of two common Hill-type models with real muscle. Search on Bibsonomy Biol. Cybern. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Zhengbing Bian, Qian-Ping Gu Computing Branch Decomposition of Large Planar Graphs. Search on Bibsonomy WEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computational study, Graph algorithms, planar graphs, algorithm engineering, branch-decomposition
27Cecilia Laschi, Barbara Mazzolai, Virgilio Mattoli, Matteo Cianchetti, Paolo Dario Design and Development of a Soft Actuator for a Robot Inspired by the Octopus Arm. Search on Bibsonomy ISER The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Hongfeng Xiao, Guanzheng Tan Two Dimensions Simplex Evolution Algorithm. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Michael Günther 0001, Syn Schmitt, Veit Wank High-frequency oscillations as a consequence of neglected serial damping in Hill-type muscle models. Search on Bibsonomy Biol. Cybern. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Mattias Andersson 0002, Joachim Gudmundsson, Christos Levcopoulos Restricted Mesh Simplification Using Edge Contractions. Search on Bibsonomy COCOON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Maurice Pagnucco Knowledge Compilation for Belief Change. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF belief revision and update, common-sense reasoning, knowledge representation and reasoning
27Jianji Su, Xudong Yuan Contractible Edges in 7-Connected Graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Qinghua Liu, Malgorzata Marek-Sadowska Pre-layout Physical Connectivity Prediction with Application in Clustering-Based Placement. Search on Bibsonomy ICCD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Xiaoyang 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. Search on Bibsonomy LCPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Lee Flax Algebraic Modelling of Some Cognitive Neuropsychology of Schizophrenia. Search on Bibsonomy IEEE ICCI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Mats Blomquist Braille Contractions in WinBraille. Search on Bibsonomy ICCHP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Mats Blomquist, Per Burman The WinBraille Approach to Producing Braille Quickly and Effectively. Search on Bibsonomy ICCHP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Roland Glantz, Walter G. Kropatsch Plane Embedding of Dually Contracted Graphs. Search on Bibsonomy DGCI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Helmut Kofler, Ernst J. Haunschmid, Wilfried N. Gansterer, Christoph W. Ueberhuber The Locality Property in Topological Irregular Graph Hierarchies. Search on Bibsonomy ACPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Timothy J. Hickey, Maarten H. van Emden, Huan Wu A Unified Framework for Interval Constraints and Interval Arithmetic. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Maria Paola Bonacina, Jieh Hsiang Distributed Deduction by Clause-Diffusion: The Aquarius Prover. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Maria Paola Bonacina, Jieh Hsiang On Fairness of Completion-Based Theorem Proving Strategies. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Hai H. Nguyen Belief Revision in a Fact-Rule Agent's Belief Base. Search on Bibsonomy KES-AMSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Rule contraction, Rule-based agents, Belief revision
27Libor Behounek, Petr Cintula Features of Mathematical Theories in Formal Fuzzy Logic. Search on Bibsonomy IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics
27J. Abdullah, David J. Parish Node connectivity index as mobility metric for GA based QoS routing in MANET. Search on Bibsonomy Mobility Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF contraction and expansion models, node connectivity index, genetic algorithm, performance evaluations, MANET, mobility models, QoS routing
27Fred J. Vermolen, John A. Adam A Finite Element Model for Epidermal Wound Healing. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF wound contraction, neo-vascularization, finite elements
27Christian Herrmann Erratum: On the Contractions of Vectorial Lattice Representations. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF vectorial lattice representation, complemented lattices, contraction, modular lattices
27Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone Knowledge elicitation for query refinement in a semantic-enabled e-marketplace. Search on Bibsonomy ICEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concept abduction, concept contraction, semantic web, knowledge management, e-commerce, description logics, matchmaking
27Nikolaos Galatos, James G. Raftery Adding Involution to Residuated Structures. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
27Yosi Ben-Asher, Gadi Haber Parallel Solutions of Simple Indexed Recurrence Equations. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
27Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001 Data locality enhancement by memory reduction. Search on Bibsonomy ICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF array contraction, loop shifting, data locality, loop fusion
27Hiroyuki Honda, Miki Haseyama, Hideo Kitajima, S. Matsumoto Extension of the Collage Theorem. Search on Bibsonomy ICIP (2) The full citation details ... 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
27Ingemar J. Cox, Sébastien Roy 0001, Sunita L. Hingorani Dynamic histogram warping of image pairs for constant image brightness. Search on Bibsonomy ICIP The full citation details ... 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
27John Esch Contexts and Concepts, Abstraction Duals. Search on Bibsonomy ICCS The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license