|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(4), pp. 536-541, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
contraction inference relation, belief contraction, epistemic state, representation theorem |
80 | Neil Tennant |
Contracting Intuitionistic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 369-391, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings, pp. 78-89, 2009, Springer, 978-3-642-10487-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTST ![In: Soft Computing as Transdisciplinary Science and Technology, Proceedings of the fourth IEEE International Workshop, WSTST'05, Muroran, Japan, pp. 604-615, 2005, Springer, 978-3-540-25055-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2004, 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 628-639, 2004, Springer, 3-540-23025-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Horacio L. Arló-Costa, Isaac Levi |
Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(1), pp. 129-154, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 40(1), pp. 35-55, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(9), pp. 1073-1084, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 184-188, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I, pp. 267-275, 2006, Springer, 3-540-34379-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Resource-Bounded Belief Revision and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 141-154, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
58 | Hiroyasu Kamo |
Effective Contraction Theorem and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, pp. 88-100, 2000, Springer, 3-540-42197-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
58 | Maria Paola Bonacina, Jieh Hsiang |
On Semantic Resolution with Lemmaizing and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 372-386, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | John H. Reif, Stephen R. Tate |
Dynamic Parallel Tree Contraction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '94, Cape May, New Jersey, USA, June 27-29, 1994, pp. 114-121, 1994, ACM, 0-89791-671-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, pp. 305-317, 2006, Springer, 3-540-37033-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Information State Change, Iterated Belief Contraction, Belief Change |
57 | Allard M. Tamminga |
Expansion and Contraction of Finite States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(3), pp. 427-442, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 29(4), pp. 440-457, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 408-419, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(2), pp. 159-177, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUE ![In: 2008 International Conference on Multimedia and Ubiquitous Engineering (MUE 2008), 24-26 April 2008, Busan, Korea, pp. 122-125, 2008, IEEE Computer Society, 978-0-7695-3134-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 468-477, 2006, Springer, 3-540-38091-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 39-48, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, New Orleans, Louisiana, USA, January 7-9, 2007, pp. 278-287, 2007, SIAM, 978-0-898716-24-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
49 | Kiyoshi Ando, Atsushi Kaneko, Ken-ichi Kawarabayashi |
Vertices of Degree 5 in a Contraction Critically 5-connected Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 21(1), pp. 27-37, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 155-164, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Jingqi Yan, Pengfei Shi, David Zhang 0001 |
Mesh Simplification with Hierarchical Shape Analysis and Iterative Edge Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 10(2), pp. 142-151, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised Papers, pp. 132-146, 2001, Springer, 3-540-04029-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(3), pp. 44, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 390-394, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings, pp. 63-78, 2002, Springer, 3-540-00303-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, Proceedings, pp. 293-300, 2007, Springer, 978-3-540-74271-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Yll Haxhimusa, Roland Glantz, Walter G. Kropatsch |
Constructing Stochastic Pyramids by MIDES - Maximal Independent Directed Edge Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph Based Representations in Pattern Recognition, 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003, Proceedings, pp. 24-34, 2003, Springer, 3-540-40452-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 54(2), pp. 142-180, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 933-938, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1633-1638, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings, pp. 3-15, 2006, Springer, 3-540-49694-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Tomohiro Yoneda, Chris J. Myers |
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 229-244, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 716-717, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 18(4), pp. 693-708, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Alain Darte, Guillaume Huard |
New Results on Array Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 13th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2002), 17-19 July 2002, San Jose, CA, USA, pp. 359-370, 2002, IEEE Computer Society, 0-7695-1712-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'01), Snowbird, Utah, USA, June 18-20, 2001, pp. 103-112, 2001, ACM, 1-58113-346-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 7th international conference on Supercomputing, ICS 1993, Tokyo, Japan, July 20-22, 1993, pp. 1-10, 1993, ACM, 0-89791-600-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(6), pp. 622-629, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 6th International Conference on Electronic Commerce, ICEC 2004, Delft, The Netherlands, October 25-27, 2004, pp. 41-50, 2004, ACM, 1-58113-930-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings, pp. 45-57, 2007, Springer, 978-3-540-75186-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 2nd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2004, Singapore, June 15-18, 2004, pp. 50-57, 2004, ACM, 1-58113-883-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph-Based Representations in Pattern Recognition, 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings, pp. 273-282, 2009, Springer, 978-3-642-02123-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos |
Contraction Bidimensionality: The Accurate Picture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, pp. 706-717, 2009, Springer, 978-3-642-04127-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental Algorithms, 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30-June 1, 2008, Proceedings, pp. 319-333, 2008, Springer, 978-3-540-68548-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2405-2412, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I, pp. 775-783, 2007, Springer, 978-3-540-75756-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Nazha Selmaoui |
Algorithm for Crest Detection Based on Graph Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (2) ![In: Pattern Recognition and Image Analysis, Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II, pp. 303-310, 2005, Springer, 3-540-26154-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Mohua Banerjee, Pankaj Singh |
Rough Contraction Through Partial Meets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings, pp. 726-731, 2005, Springer, 3-540-30506-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Seonju Ahn, Shinji Ozawa |
Generating facial expressions based on estimation of muscular contraction parameters from facial feature points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (1) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 660-665, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004, 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I, pp. 737-744, 2004, Springer, 3-540-22976-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Lee Flax |
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 439-451, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September - 1 October 2003, New Orleans, LA, USA, pp. 114-124, 2003, IEEE Computer Society, 0-7695-2021-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Geoff Pike, Paul N. Hilfinger |
Better tiling and array contraction for compiling scientific programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2002 ACM/IEEE conference on Supercomputing, Baltimore, Maryland, USA, November 16-22, 2002, CD-ROM, pp. 13:1-13:12, 2002, IEEE Computer Society, 0-7695-1524-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Roman Englert, Walter G. Kropatsch |
Image Structure from Monotonic Dual Graph Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, pp. 297-308, 1999, Springer, 3-540-67658-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | E. Christopher Lewis, Calvin Lin, Lawrence Snyder |
The Implementation and Evaluation of Fusion and Contraction in Array Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 50-59, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrent C |
31 | Maria Paola Bonacina |
Analysis of Distributed-Search Contraction-Based Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, pp. 107-121, 1998, Springer, 3-540-65141-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Roderic A. Girle |
Tableaux for Expansion and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 387-398, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 7(1), pp. 37-45, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
30 | Kemal Aydin, Rustu Murat Demirer, Coskun Bayrak |
Use of Hilbert Huang Transform in Uterine Contraction Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 10th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2010, Philadelphia, Pennsylvania, USA, May 31-June 3 2010, pp. 314-315, 2010, IEEE Computer Society, 978-0-7695-4083-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: SMI 2010, Shape Modeling International Conference, Aix en Provence, France, June 21-23 2010, pp. 187-197, 2010, IEEE Computer Society, 978-0-7695-4072-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
topology repair, surface reconstruction, contraction, point cloud, laplacian, curve skeleton |
30 | C. T. Kelley |
Contraction-Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 505-509, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Advances in Evolutionary Computation for Combinatorial Optimization ![In: Recent Advances in Evolutionary Computation for Combinatorial Optimization, pp. 167-184, 2008, Springer, 978-3-540-70806-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 15(3), pp. 292-302, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1621-1626, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings, pp. 285-294, 2009, Springer, 978-3-642-01931-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 98(2), pp. 133-143, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Zhengbing Bian, Qian-Ping Gu |
Computing Branch Decomposition of Large Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental Algorithms, 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30-June 1, 2008, Proceedings, pp. 87-100, 2008, Springer, 978-3-540-68548-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece, pp. 25-33, 2008, Springer, 978-3-642-00195-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Hongfeng Xiao, Guanzheng Tan |
Two Dimensions Simplex Evolution Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 313-316, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 97(1), pp. 63-79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Mattias Andersson 0002, Joachim Gudmundsson, Christos Levcopoulos |
Restricted Mesh Simplification Using Edge Contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings, pp. 196-204, 2006, Springer, 3-540-36925-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Maurice Pagnucco |
Knowledge Compilation for Belief Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 90-99, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 21(4), pp. 445-457, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Qinghua Liu, Malgorzata Marek-Sadowska |
Pre-layout Physical Connectivity Prediction with Application in Clustering-Based Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, pp. 31-37, 2005, IEEE Computer Society, 0-7695-2451-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers, pp. 215-229, 2005, Springer, 978-3-540-69329-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Lee Flax |
Algebraic Modelling of Some Cognitive Neuropsychology of Schizophrenia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada, pp. 131-137, 2004, IEEE Computer Society, 0-7695-2190-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Mats Blomquist |
Braille Contractions in WinBraille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 602-609, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Mats Blomquist, Per Burman |
The WinBraille Approach to Producing Braille Quickly and Effectively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 618-619, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Roland Glantz, Walter G. Kropatsch |
Plane Embedding of Dually Contracted Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 9th International Conference, DGCI 2000, Uppsala, Sweden, December 13-15, 2000, Proceedings, pp. 348-357, 2000, Springer, 3-540-41396-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACPC ![In: Parallel Computation, 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia, Salzburg, Austria, February 1999, Proceedings, pp. 437-449, 1999, Springer, 3-540-65641-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Timothy J. Hickey, Maarten H. van Emden, Huan Wu |
A Unified Framework for Interval Constraints and Interval Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 250-264, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Maria Paola Bonacina, Jieh Hsiang |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings, pp. 272-287, 1993, Springer, 3-540-57235-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Maria Paola Bonacina, Jieh Hsiang |
On Fairness of Completion-Based Theorem Proving Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 348-360, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Hai H. Nguyen |
Belief Revision in a Fact-Rule Agent's Belief Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 120-130, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 523-532, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 4th International Conference on Mobile Technology, Applications, and Systems and the 1st International Symposium on Computer Human Interaction in Mobile Technology, Mobility Conference 2007, Singapore, September 10-12, 2007, pp. 104-111, 2007, ACM, 978-1-59593-819-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 70-77, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wound contraction, neo-vascularization, finite elements |
27 | Christian Herrmann |
Erratum: On the Contractions of Vectorial Lattice Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(1), pp. 83-84, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 685-691, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 181-207, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(1), pp. 22-37, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 15th international conference on Supercomputing, ICS 2001, Sorrento, Napoli, Italy, June 16-21, 2001, pp. 50-64, 2001, ACM, 1-58113-410-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 306-309, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 366-369, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings, pp. 175-184, 1994, Springer, 3-540-58328-9. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|