|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4933 occurrences of 2774 keywords
|
|
|
Results
Found 9455 publication records. Showing 9455 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Jeremy B. Sussman, Keith Marzullo |
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998, Proceedings, pp. 363-377, 1998, Springer, 3-540-65066-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Karen Laster, Orna Grumberg |
Modular Model Checking of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 20-35, 1998, Springer, 3-540-64356-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Jean Michel Marie-Julie, Hassane Essafi |
Using Ifs and Moments to Build a Quasi Invariant Image Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume I, pp. 578-594, 1998, Springer, 3-540-64569-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Petr Hlinený, Jan Kratochvíl |
Computational Complexity of the Krausz Dimension of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997, Proceedings, pp. 214-228, 1997, Springer, 3-540-63757-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Susana Nascimento, Fernando Moura-Pires |
A Genetic Approach to Fuzzy Clustering with a Validity Measure Fitness Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Reasoning about Data, Second International Symposium, IDA-97, London, UK, August 4-6, 1997, Proceedings, pp. 325-335, 1997, Springer, 3-540-63346-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Sanjeev Khanna, Madhu Sudan 0001, Luca Trevisan |
Constraint Satisfaction: The Approximability of Minimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 282-296, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
complete problems, computational classes, computational complexity, Approximation algorithms, combinatorial optimization |
13 | Chunghee Kim, Hyunchul Shin |
A performance-driven logic emulation system: FPGA network design and performance-driven partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(5), pp. 560-568, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Jason Cong, Wilburt Labio, Narayanan Shivakumar |
Multiway VLSI circuit partitioning based on dual net representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(4), pp. 396-409, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | P. P. Raghu, B. Yegnanarayana 0001 |
Segmentation of Gabor-filtered textures using deterministic relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 5(12), pp. 1625-1636, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Carlos Carreras, Juan Carlos López 0001, María Luisa López Vallejo, Luis Sánchez, Carlos Delgado Kloos, Natividad Martínez Madrid |
A Co-Design Methodology Based on Formal Specification and High-level Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Forth International Workshop on Hardware/Software Codesign, CODES 1996, Pittsburgh, PA, USA, March 18-20, 1996, pp. 28-35, 1996, IEEE Computer Society, 0-8186-7243-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
formal specification, partitioning, estimation, Co-design, LOTOS |
13 | William P. Niedringhaus |
Diffusive dynamic load balancing by terrain parcel swaps for event-driven simulation of communicating vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 166-174, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
military equipment, military communication, diffusive dynamic load balancing, terrain parcel swaps, communicating vehicles, wargaming simulation, battlefield terrain partitioning, communication circle, terrain repartitioning, shape regularization, lopsided dimensions, marked concavities, long thin peninsulas, parallel programming, resource allocation, discrete event simulation, mobile communication, vehicles, telecommunication computing, event-driven simulation, military computing, network bandwidth, simulation parallelization |
13 | David M. Nicol, Shahid H. Bokhari |
Optimal Multiphase Complete Exchange on Circuit-Switched Hypercube Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Vanderbilt University, Nashville, Tennessee, USA, May 16-20, 1994, pp. 252-260, 1994, ACM, 0-89791-659-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Scott W. Hadley, Brian L. Mark, Anthony Vannelli |
An efficient eigenvector approach for finding netlist partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(7), pp. 885-892, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Shan-Hwei Nienhuys-Cheng, Peter A. Flach |
Consistent Term Mappings, Term Partitions and Inverse Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, pp. 361-374, 1991, Springer, 3-540-53816-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Inverse resolution, absorption, substitution |
13 | Christos A. Papachristou, Anil L. Pandya |
A design scheme for PLA-based control tables with reduced area and time-delay cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9(5), pp. 453-472, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Sushil Jajodia, David Mutchler |
Dynamic Voting Algorithms for Maintaining the Consistency of a Replicated Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 15(2), pp. 230-280, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Eugene Pinsky |
Applying Statistical Physics to Performance Analysis of Large-Scale Computing Systems (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 436, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | David G. Kirkpatrick, Maria M. Klawe, Robert Endre Tarjan |
Polygon Triangulation in O(n log log n) Time with Simple Data-Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Sixth Annual Symposium on Computational Geometry, Berkeley, CA, USA, June 6-8, 1990, pp. 34-43, 1990, ACM, 0-89791-362-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima |
On Factoring Multi-Variate Polynomials over Algebraically Closed Fields (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 297, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Bharat K. Bhargava, Shirley Browne |
A Generic Algorithm for Transaction Processing During Network Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 509-519, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Debasis Mitra 0001, James McKenna |
Asymptotic expansions for closed Markovian networks with state-dependent service rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 33(3), pp. 568-592, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
13 | Vishv M. Malhotra, Sanjeev Kumar |
Automatic Retargetable Code Generation: A New Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings, pp. 57-80, 1986, Springer, 3-540-17179-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
13 | Amr El Abbadi, Thomas Räuchle |
A resilient communication structure for local area netowrks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Ninth Symposium on Data Communications, SIGCOMM 1985, Whistler Moutain, British Columbia, Canada, September 10-12, 1985, pp. 140-145, 1985, ACM, 0-89791-164-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
13 | Christos Levcopoulos, Andrzej Lingas |
Bounds on the Length of Convex Partitions of Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings, pp. 279-295, 1984, Springer, 3-540-13883-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
13 | Nathan Goodman, Oded Shmueli |
Tree Queries: A Simple Class of Relational Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 7(4), pp. 653-677, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
acyclic schemes, cyclic schemas, tree schemas, join, semijoin |
13 | Michael Hammer, Bahram Niamir |
A Heuristic Approach to Attribute Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30 - June 1., pp. 93-101, 1979, ACM, 0-89791-001-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
13 | Richard S. Brice, Stephen W. Sherman |
An Extension of the Performance of a Database Manager in a Virtual Memory System Using Partially Locked Virtual Buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 2(2), pp. 196-207, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
double paging, locked buffer, virtual buffer, performance, buffer manager, virtual memory, database management, Database Manager, page faults, page replacement algorithm |
12 | Xiaoyi Lu, Jian Lin 0006, Li Zha, Zhiwei Xu 0002 |
Vega LingCloud: A Resource Single Leasing Point System to Support Heterogeneous Application Modes on Shared Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2011, Busan, Korea, 26-28 May, 2011, pp. 99-106, 2011, IEEE Computer Society, 978-1-4577-0391-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Resource Single Leasing Point System, Vega LingCloud, Molva, Lota, Asset-Leasing Model, Virtual Appliance, Cloud Computing, Partition, Virtual Network, Virtual Cluster |
12 | Keith Grueneberg, David Wood, Xiping Wang, Seraphin B. Calo, Maroun Touma |
Policy Supersession in a Coalition ISR Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011, pp. 178-179, 2011, IEEE Computer Society, 978-1-4244-9879-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
distributed policy repository, ISR, supersession, partition, self-management, coalition, policy management |
12 | Ying Zhang 0001, Xuemin Lin 0001, Wenjie Zhang 0001, Jianmin Wang 0001, Qianlu Lin |
Effectively Indexing the Uncertain Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 22(9), pp. 1247-1261, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
partition, range query, index, Uncertain |
12 | Xiangmin Zhou, Xiaofang Zhou 0001, Lei Chen 0002, Yanfeng Shu, Athman Bouguettaya, John A. Taylor |
Adaptive Subspace Symbolization for Content-Based Video Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 22(10), pp. 1372-1387, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Video detection, subspace symbolization, variable length partition, query optimization |
12 | Jianping Cai, Xuting Wan, Meimei Huo, Jianzhong Wu |
An Algorithm of Micromouse Maze Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1995-2000, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Partition-central Algorithm, Micromouse, Simulator, Maze |
12 | Florian Berger, Rolf Klein |
A traveller's problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 176-182, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
affine mappings, continuous dijkstra, frogger, pseudo-polynomial approximation, computational geometry, partition, np-hardness, motion planning, undecidability |
12 | Josep M. Pujol, Vijay Erramilli, Georgos Siganos, Xiaoyuan Yang 0001, Nikolaos Laoutaris, Parminder Chhabra, Pablo Rodriguez 0001 |
The little engine(s) that could: scaling online social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2010 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, New Delhi, India, August 30 -September 3, 2010, pp. 375-386, 2010, ACM, 978-1-4503-0201-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
social networks, scalability, partition, replication |
12 | Haosong Gou, Younghwan Yoo |
An Energy Balancing LEACH Algorithm for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 822-827, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
LEACH-C, pLEACH, partition, WSNs, LEACH |
12 | Myungsoo Lee, Chonghan Song, Youngyoon Lee, Seokho Yoon |
A Novel ML Decoding Scheme for MIMO Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 867-872, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
maximum-likelihood (ML) detection, partition-based hybrid decoding (PHD), multi-input multi-output (MIMO), Breadth-first searching |
12 | Dezun Dong, Yunhao Liu 0001, Kebin Liu, Xiangke Liao |
Distributed Coverage in Wireless Ad Hoc and Sensor Networks by Topological Graph Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 2010 International Conference on Distributed Computing Systems, ICDCS 2010, Genova, Italy, June 21-25, 2010, pp. 106-115, 2010, IEEE Computer Society, 978-0-7695-4059-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cycle partition, distributed, connectivity, coverage, topological graph, wireless ad hoc and sensor networks |
12 | Tao Lin, Sheqin Dong, Bei Yu 0001, Song Chen 0001, Satoshi Goto |
A revisit to voltage partitioning problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, Providence, Rhode Island, USA, May 16-18 2010, pp. 115-118, 2010, ACM, 978-1-4503-0012-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
quasiconvex assumption, voltage partition |
12 | Dong Wang, Jiangjun Ruan, Zhiye Du, Shoubao Liu, Yujiao Zhang |
Parallel Numerical Computing of Finite Element Model of Conductors and Floating Potentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2010, Taipei, Taiwan, 6-9 September 2010, pp. 57-61, 2010, IEEE Computer Society, 978-1-4244-8095-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
perfect electric conductor, floating potential, parallel computing, partition |
12 | Mohsen Bayati, David Gamarnik, Prasad Tetali |
Combinatorial approach to the interpolation method and scaling limits in sparse random graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 105-114, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
scaling limit, constraint satisfaction problems, random graphs, partition function |
12 | Yushan Zhu |
QBB Global Optimization Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3111-3116, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Simplicial partition, Quadratic underestimation function, Global optimization, Branch-and-bound |
12 | Immanuel M. Bomze |
Standard Quadratic Optimization Problems: Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3690-3692, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Simplicial partition, Branch and bound, Portfolio selection, Maximum weight clique |
12 | Gabriel Cardona, Mercè Llabrés, Francesc Rosselló, Gabriel Valiente |
Metrics for Phylogenetic Networks II: Nodal and Triplets Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 6(3), pp. 454-469, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tree-child phylogenetic network, time consistency, partition distance, nodal distance, triplets distance, Phylogenetic network, temporal representation |
12 | Alessio Botta, Beatrice Lazzerini, Francesco Marcelloni, Dan C. Stefanescu |
Context adaptation of fuzzy systems through a multi-objective evolutionary approach based on a novel interpretability index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(5), pp. 437-449, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy partition interpretability, Multi-objective evolutionary algorithms, Fuzzy rule-based systems, Context adaptation |
12 | Yangfan Zhou, Michael R. Lyu, Jiangchuan Liu |
On Sensor Network Reconfiguration for Downtime-Free System Migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 14(2), pp. 241-252, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sensor system migration, sensor network reconfiguration, network partition |
12 | José Luis Martínez 0001, W. A. Rajitha Jayaruwan Weerakkody, Warnakulasuriya Anil Chandana Fernando, Gerardo Fernández-Escribano, Hari Kalva, Antonio Garrido 0001 |
Distributed Video Coding using Turbo Trellis Coded Modulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(1), pp. 69-82, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Algebraic triangulation, Partition of unity implicits, Orthogonal polynomials |
12 | Meikang Qiu, Meiqin Liu, Fei Hu 0001, Shaobo Liu, Lingfeng Wang |
Energy Aware Loop Scheduling for High Performance Multi-Module Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: NPC 2009, Sixth IFIP International Conference on Network and Parallel Computing, Gold Coast, Australia, October 19-21, 2009, pp. 16-22, 2009, IEEE Computer Society, 978-0-7695-3837-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-module, partition, prefetching, Energy minimization, loop scheduling |
12 | Chaoju Hu, Min Peng |
Association Rules Algorithm Research in Optical Warning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 189-192, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
database partition, MIS-tree, CFP-growth, frequent pattern |
12 | Seigo Karakawa, Ehab Morsy, Hiroshi Nagamochi |
Minmax Tree Cover in the Euclidean Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation, Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings, pp. 202-213, 2009, Springer, 978-3-642-00201-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Minmax Tree Cover, Balanced Partition, Tree Cover, Approximation Algorithms, Graph Algorithms |
12 | Yingying Jiang 0001, Feng Tian 0001, XuGang Wang, Xiaolong Zhang 0001, Guozhong Dai, Hongan Wang |
Structuring and manipulating hand-drawn concept maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 14th International Conference on Intelligent User Interfaces, IUI 2009, Sanibel Island, Florida, USA, February 8-11, 2009, pp. 457-462, 2009, ACM, 978-1-60558-168-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hand-drawn concept map, dynamic programming, graph partition, structure recognition |
12 | Weihong Han, Yan Jia 0001, Shuqiang Yang |
Research of Massive Internet Text Data Real-Time Loading and Index System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 960-965, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data loading, text index, exchange partition, parallel schedule, massive data |
12 | Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari |
Applying AUML and UML 2 in the Multi-agent Systems Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 106-115, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML 2, Use Case Diagram, Internal Use Cases, Combined Fragments, State Machine Diagram, Composite States, Activity Partition, Agents, Actors, Sequence Diagram, Activity Diagram, AUML |
12 | Weihua Hua, Xincai Wu, Xiuguo Liu, Kun Zheng |
The Research of the Arbitrary Excavating Algorithm for the Stratum Structure Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESIAT (1) ![In: 2009 International Conference on Environmental Science and Information Application Technology, ESIAT 2009, Wuhan, China, 4-5 July 2009, 3 Volumes, pp. 93-96, 2009, IEEE Computer Society, 978-0-7695-3682-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
three dimensional stratum structure model, excavation, generation of cross section, partition of geological bodies |
12 | Haishu Lu |
Continuous Selection Theorems and Fixed Point Theorems for Fuzzy Mappings in FC-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 157-161, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transfer open-valued, unity partition, Tychonoff fixed point theorem, FC-spaces, fixed point, continuous selection |
12 | Hongbin Ding, Zheng Sun, Benzheng Xie |
Fuzzy Synthetic Evaluation on Development Effect of Circular Economy in Coal Enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 267-271, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coal enterprises, circular economy, development effect, stage partition, weight, fuzzy synthetic evaluation, index system |
12 | Pablo Suau, Francisco Escolano |
A New Feasible Approach to Multi-dimensional Scale Saliency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 11th International Conference, ACIVS 2009, Bordeaux, France, September 28 - October 2, 2009. Proceedings, pp. 77-88, 2009, Springer, 978-3-642-04696-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scale saliency, KD-partition, multi-dimensional data |
12 | Takashi Matsuhisa |
Fuzzy Communication Leading to Equilibrium through Possibility Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Workshops Proceedings, Bradford, United Kingdom, May 26-29, 2009, pp. 1-6, 2009, IEEE Computer Society, 978-0-7695-3639-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy communication, Partition information, Nash equilibrium, Non-cooperative game, Conjecture |
12 | Zhi Quan Zhou, Arnaldo Sinaga, Lei Zhao, Willy Susilo, Kai-Yuan Cai |
Improving Software Testing Cost-Effectiveness through Dynamic Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 249-258, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software testing, random testing, partition testing, dynamic partitioning |
12 | Yuen-Tak Yu, Eric Ying Kwong Chan, Pak-Lok Poon |
On the Coverage of Program Code by Specification-Based Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 41-50, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
path coverage, specification-based testing, code coverage, classification-tree method, category-partition method |
12 | Maria Ángeles Mendoza, Nicolas Pérez de la Blanca, Manuel J. Marín-Jiménez |
Fitting Product of HMM to Human Motions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings, pp. 824-831, 2009, Springer, 978-3-642-03766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
PoHMM, human action recognition, partition function |
12 | Michael J. Brusco, Douglas L. Steinley |
A Binary Integer Program to Maximize the Agreement Between Partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Classif. ![In: J. Classif. 25(2), pp. 185-193, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Partition agreement, Binary integer programming, Contingency table |
12 | Andreas Björklund, Thore Husfeldt |
Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 52(2), pp. 226-249, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Exact satisfability, Number of perfect matchings, Set cover, Exact algorithms, Set partition |
12 | Yongming Yang, Chao Xu 0006 |
A wavelet packet based block-partitioning image coding algorithm with rate-distortion optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(8), pp. 1039-1054, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
basis selection, bitplane coding, wavelet packet (WP), context modeling, set partition |
12 | Meng-Chiou Wu, Rung-Bin Lin, Shih-Cheng Tsai |
Chip placement in a reticle for multiple-project wafer fabrication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(1), pp. 22:1-22:21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multiple-project wafers (MPW), compatibility graph, reticle floorplanning, shuttle mask, wafer dicing, simulated annealing (SA), set cover, mixed-integer linear programming (MILP), conflict graph, set partition |
12 | Victor L. Selivanov |
Wadge Reducibility and Infinite Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(1), pp. 5-36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wadge reducibility, Baire space, Baire domain, ?-language, k-partition, complexity, topology, computability, automaton |
12 | Julien Robert, Nicolas Schabanel |
Non-clairvoyant scheduling with precedence constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, pp. 491-500, 2008, SIAM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
equi-partition, non-clairvoyant algorithm, fairness, online scheduling, precedences |
12 | Xiaohui Cheng, Yongjian Hu, Youmin Gong |
Design Methodology of Control System with Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (2) ![In: PACIIA 2008, Volume 2, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 403-407, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FPGA, Mutual Exclusion, Control System, Hardware/software Partition, Hardware/software Co-design, Configurable Logics |
12 | Tao Xu 0002, Krishnendu Chakrabarty |
Automated design of digital microfluidic lab-on-chip under pin-count constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2008 International Symposium on Physical Design, ISPD 2008, Portland, Oregon, USA, April 13-16, 2008, pp. 190-198, 2008, ACM, 978-1-60558-048-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
array partition, cross-referencing, lab-on-chip, pin-count constraints, microfluidics |
12 | Jian Kang, Jianjun Pu, Jianchu Huang, Zihou Zhou, Hongji Yang |
Business Intelligence Recovery from Legacy Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 765-770, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Business Intelligence Recovery, Linear Program Partition, Reverse Engineering |
12 | K. Ganeshamoorthy, D. N. Ranasinghe |
On the Performance of Parallel Neural Network Implementations on Distributed Memory Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France, pp. 90-97, 2008, IEEE Computer Society, 978-0-7695-3156-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Parallel neural network, Hybrid partition, VSM, DM |
12 | Ashfiqua T. Connie, Panos Nasiopoulos, Yaser Pourmohammadi Fallah, Victor C. M. Leung |
Sctp-based transmission of data-partitioned H.264 video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMuNeP ![In: WMuNeP'07 - Proceedings of the 4th ACM Workshop on Wireless Multimedia Networking and Performance Modeling, Vancouver, British Columbia, Canada, October 27, 2008, pp. 32-36, 2008, ACM, 978-1-60558-238-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multistreaming, partial reliability, sctp, h.264, data partition |
12 | Meikang Qiu, Jiande Wu |
Energy saving for memory with loop scheduling and prefetching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 155-158, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-module memory, probability, partition, low power design, prefetching, loop scheduling |
12 | René Brandenberg, Lucia Roth |
New Algorithms for k-Center and Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings, pp. 64-78, 2008, Springer, 978-3-540-85096-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
geometric inequalities, diameter partition, SOCP, 2-SAT, approximation algorithms, computational geometry, branch-and-bound, containment, k-center, core-sets |
12 | Lionel C. Briand, Yvan Labiche, Zaheer Bawar |
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 135-144, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
category partition, machine learning, black-box testing |
12 | Thiago Assunção, Vasco Furtado |
A Heuristic Method for Balanced Graph Partitioning: An Application for the Demarcation of Preventive Police Patrol Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings, pp. 62-72, 2008, Springer, 978-3-540-88308-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
balanced connected partition, approximate algorithm, graphs, heuristic method |
12 | Thanh Nguyen, Tuoi Phan |
The effect of semantic index in information retrieval development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 438-441, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
extract semantic index, merge semantic indexes, semantic index, partition, semantic indexing |
12 | Paul T. Darga, Karem A. Sakallah, Igor L. Markov |
Faster symmetry discovery using sparsity of symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 149-154, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
partition refinement, model checking, symmetry, constraint satisfaction problems, Boolean satisfiability, sparsity, graph automorphism |
12 | Vijayalakshmi Atluri, Soon Ae Chun, Ravi Mukkamala, Pietro Mazzoleni |
A decentralized execution model for inter-organizational workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 22(1), pp. 55-83, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Decentralized workflow execution, Self-describing workflow, Workflow partition, Dependency split, Workflow stub, Evaluation of workflow execution |
12 | Antonio Di Nola, Mirko Navara |
MV-Algebras with the Cantor-Bernstein Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 861-868, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra |
12 | Jun Han, Zhaohao Sun, Jinpeng Huai, Xian Li |
An Efficient Node Partitioning Algorithm for the Capacitated Minimum Spanning Tree Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 11-13 July 2007, Melbourne, Australia, pp. 575-580, 2007, IEEE Computer Society, 0-7695-2841-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Partition, Branch and bound, Pruning, Search tree, Neighborhood search |
12 | Julien Robert, Nicolas Schabanel |
Non-clairvoyant Batch Sets Scheduling: Fairness Is Fair Enough. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2007, 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings, pp. 741-753, 2007, Springer, 978-3-540-75519-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Non-clairvoyant algorithm, Equi-partition, Makespan and Overall Set Completion Time minimization, Fairness, Online scheduling, Batch scheduling |
12 | Boris Aronov, Sariel Har-Peled, Micha Sharir |
On approximate halfspace range counting and relative epsilon-approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 23rd ACM Symposium on Computational Geometry, Gyeongju, South Korea, June 6-8, 2007, pp. 327-336, 2007, ACM, 978-1-59593-705-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
approximate range queries, epsilon-approximations, partition trees, range spaces, queries, discrepancy, range, VC-dimension, halfspaces |
12 | Wei Meng, Shengjia Li |
Semicomplete Multipartite Digraphs Whose Every Arc Is Contained in a Hamiltonian Path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 299-304, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Semicomplete multipartite digraph, Semi-partition complete digraphs, Hamiltonian paths |
12 | Max I. Kanovich |
A Note on Rewriting Proofs and Fibonacci Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 284-292, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions |
12 | Jing Du 0002, Xuejun Yang, Guibin Wang, Tao Tang 0001, Kun Zeng |
Architecture-Based Optimization for Mapping Scientific Applications to Imagine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings, pp. 32-43, 2007, Springer, 978-3-540-74741-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
kernel partition, stream forming, scientific application, Imagine |
12 | Victor L. Selivanov |
A Useful Undecidable Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 685-694, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discrete weak semilattice, partition, theory, reducibility, undecidability, Semilattice |
12 | Mohsen Bayati, David Gamarnik, Dimitriy A. Katz, Chandra Nair, Prasad Tetali |
Simple deterministic approximation algorithms for counting matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 122-127, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
correlation decay, matching, partition function, FPTAS |
12 | Christian Delhommé |
Height of a Superposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(2-3), pp. 221-233, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
edge-partition, natural product of ordinals, poset, height |
12 | Michael J. Laszlo, Sumitra Mukherjee |
A Genetic Algorithm Using Hyper-Quadtrees for Low-Dimensional K-means Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(4), pp. 533-543, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
center selection, genetic algorithms, clustering, quadtrees, k-means algorithm, optimal partition |
12 | Daniele Mundici |
A Characterization of the free n-generated MV-algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(2), pp. 239-247, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Free MV-algebra, Chang completeness theorem, McNaughton theorem, standard triangulation of the n-cube, Partition of unity, ?-functor, Singular homology group, Pyramidal function, MV-algebra, piecewise linear function |
12 | Zhuowen Tu, Song Chun Zhu |
Parsing Images into Regions, Curves, and Curve Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 69(2), pp. 223-249, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
curve grouping, data-driven Markov chain Monte Carlo, Metropolized Gibbs sampler, image segmentation, graph partition, perceptual organization |
12 | Wenbo Zhang, Bo Liu 0011, Hongbin Zhang 0009 |
Rate-Distortion Optimized Progressive Geometry Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Third International Conference on Computer Graphics, Imaging and Visualization (CGIV 2006), 26-28 July 2006, Sydney, Australia, pp. 207-210, 2006, IEEE Computer Society, 0-7695-2606-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Rate-distortion optimization, Mesh partition, Progressive compression |
12 | Xiaohu Yang 0001, Ming Mao, Xinyu Wang 0001 |
Data Based Application Partitioning and Workload Balance in Distributed Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 43, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
symmetric cluster, asymmetric cluster, distributed environment, data partition, workload balance |
12 | Sylvain Sicard, Noel De Palma, Daniel Hagimont |
J2EE server scalability through EJB replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 778-785, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
scalability, partition, replication, J2EE, EJB |
12 | Byung-Won On, Ergin Elmacioglu, Dongwon Lee 0001, Jaewoo Kang, Jian Pei |
An effective approach to entity resolution problem using quasi-clique and its application to digital libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 51-52, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
graph partition, name disambiguation, entity resolution |
12 | Andrei Arion, Angela Bonifati, Ioana Manolescu, Andrea Pugliese 0001 |
Path summaries and path partitioning in modern XML databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 1077-1078, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XQuery processing, path partition, path summaries, XML |
12 | Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu |
Efficient Data Distribution Schemes for EKMR-Based Sparse Arrays on Distributed Memory Multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 34(3), pp. 291-313, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data distribution schemes, data compression methods, sparse ratio, partition methods, Karnaugh map |
12 | Ming-Yuan Xia, Tianbing Xia, Jennifer Seberry |
A New Method for Constructing Williamson Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 35(2), pp. 191-209, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
supplementary difference sets, partition, difference sets |
12 | V. C. Ravikumar, Rabi N. Mahapatra, Laxmi N. Bhuyan |
EaseCAM: An Energy and Storage Efficient TCAM-Based Router Architecture for IP Lookup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(5), pp. 521-533, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
partition, Router, compaction, TCAMs, IP lookup, page table |
12 | Stefan Blom, Simona Orzan |
A distributed algorithm for strong bisimulation reduction of state spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(1), pp. 74-86, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Strong bisimulation, Distributed tools, Multirelational coarsest partition problem, Model checking, State space reduction |
|
|