|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9644 occurrences of 4451 keywords
|
|
|
Results
Found 33924 publication records. Showing 33924 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Sven Beuchler |
A Domain Decomposition Preconditioner for p-FEM Discretizations of Two-dimensional Elliptic Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 74(4), pp. 299-317, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
solution of discretized equations, finite elements, Domain decomposition |
17 | Q. Hu |
Numerical Integrations and Unit Resolution Multipliers for Domain Decomposition Methods with Nonmatching Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 74(2), pp. 101-129, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
nonmatching grids, mortar element, unit resolution multiplier, smooth basis, error estimate, Domain decomposition, numerical integration |
17 | Chang Beom Lee, Hyuk Ro Park, Cheolyoung Ock |
Significant Sentence Extraction by Euclidean Distance Based on Singular Value Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Natural Language Processing - IJCNLP 2005, Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings, pp. 636-645, 2005, Springer, 3-540-29172-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Principal component analysis, Singular value decomposition, Text summarization |
17 | Biplab K. Sikdar, Arijit Sarkar, Samir Roy, Debesh K. Das |
Synthesis of Testable Finite State Machine Through Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 398-403, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
emitability, FSM state encoding, decomposition, reachability, degree-of-freedom |
17 | Francesco Lo Presti |
Joint congestion control: routing and media access control optimization via dual decomposition for ad hoc wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montréal, Quebec, Canada, October 10-13, 2005, pp. 298-306, 2005, ACM, 1-59593-188-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dual decomposition, congestion control, cross-layer design, convex optimization, ad hoc wireless networks |
17 | Wenceslas Fernandez de la Vega, Marek Karpinski, Ravi Kannan, Santosh S. Vempala |
Tensor decomposition and approximation schemes for constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 747-754, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
approximation scheme, tensor decomposition |
17 | Sebti Foufou, Dominique Michelucci, Jean-Paul Jurzak |
Numerical decomposition of geometric constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the Tenth ACM Symposium on Solid and Physical Modeling 2005, Cambridge, Massachusetts, USA, June 13-15, 2005, pp. 143-151, 2005, ACM, 1-59593-015-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
constraints decomposition and solving, geometry provers, geometric constraints |
17 | Monia Rekik, Jean-François Cordeau, François Soumis |
Using Benders Decomposition to Implicitly Model Tour Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 128(1-4), pp. 111-133, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
tour scheduling, Benders decomposition, implicit model, shifts, breaks |
17 | Javad Sadr, Roland P. Malhamé |
Unreliable Transfer Lines: Decomposition/Aggregation and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 125(1-4), pp. 167-190, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
transfer lines, manufacturing flow control, KANBAN optimization, hedging policies, dynamic programming, decomposition techniques |
17 | Seyed M. R. Iravani, K. Louis Luangkesorn, David Simchi-Levi |
A General Decomposition Algorithm for Parallel Queues with Correlated Arrivals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 47(4), pp. 313-344, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
correlated arrivals, assemble-to-order, produce-to-stock, matrix decomposition approach, heuristics |
17 | David R. White 0001, Sunil Saigal, Steven J. Owen |
CCSweep: automatic decomposition of multi-sweep volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 20(3), pp. 222-236, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-sweep, Hexahedral, Volume decomposition, Mesh generation, Sweeping |
17 | Petko Yanev, Paolo Foschi, Erricos John Kontoghiorghes |
Algorithms for Computing the QR Decomposition of a Set of Matrices with Common Columns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 39(1), pp. 83-93, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Minimum spanning tree, QR decomposition, Givens rotations |
17 | Michela Mortara, Giuseppe Patanè 0001, Michela Spagnuolo, Bianca Falcidieno, Jarek Rossignac |
Blowing Bubbles for Multi-Scale Analysis and Decomposition of Triangle Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 38(1), pp. 227-248, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-scale shape feature extraction, Shape description, Shape indexing, Shape decomposition |
17 | Petros Drineas, Alan M. Frieze, Ravi Kannan, Santosh S. Vempala, V. Vinay |
Clustering Large Graphs via the Singular Value Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 56(1-3), pp. 9-33, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
randomized algorithms, Singular Value Decomposition, k-means clustering |
17 | Shi-Huang Chen, Jhing-Fa Wang |
Speech Enhancement Using Perceptual Wavelet Packet Decomposition and Teager Energy Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 36(2-3), pp. 125-139, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
perceptual wavelet packet decomposition (PWPD), teager energy operator (TEO), time-adaptive thresholding (TAT), speech enhancement |
17 | Edgar den Boef, Wim F. J. Verhaegh, Jan H. M. Korst |
Bus and Buffer Usage in In-Home Digital Networks: Applying the Dantzig-Wolfe Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 7(2), pp. 119-131, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
in-home digital network, linear programming, resource management, buffer, transmission schedule, Dantzig-Wolfe decomposition, bandwidth smoothing |
17 | S. Alireza Aghili, Ozgur D. Sahin, Divyakant Agrawal, Amr El Abbadi |
Efficient Filtration of Sequence Similarity Search Through Singular Value Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 19-21 March 2004, Taichung, Taiwan, pp. 403-410, 2004, IEEE Computer Society, 0-7695-2173-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Approximate String Search, Sequence Homology, Bioinformatics, Singular Value Decomposition, Comparative genomics |
17 | Tomohiro Yoneda, Hiroomi Onda, Chris J. Myers |
Synthesis of Speed Independent Circuits Based on Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 19-23 April 2004, Crete, Greece, pp. 135-145, 2004, IEEE Computer Society, 0-7695-2133-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
abstraction, synthesis, Decomposition, STGs, speed-independent circuits |
17 | Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar |
Min-cut program decomposition for thread-level speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 59-70, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
partitioning, chip multiprocessor, thread-level speculation, min-cut, program decomposition |
17 | Hayong Shin, Deok-Soo Kim |
Optimal Direction for Monotone Chain Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II, pp. 583-591, 2004, Springer, 3-540-22056-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
monotone chain, monotone decomposition |
17 | Yihong Gong, Xin Liu 0046 |
Video summarization and retrieval using singular value decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 9(2), pp. 157-168, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Singular value decomposition, Video retrieval, Video summarization, Color histograms |
17 | Hans L. Bodlaender, Udi Rotics |
Computing the Treewidth and the Minimum Fill-In with the Modular Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 36(4), pp. 375-408, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Minimum fill-in, Minimal separators, Graph algorithms, Treewidth, Polynomial algorithms, Modular decomposition |
17 | Vittorio Castelli, Alexander Thomasian, Chung-Sheng Li |
CSVD: Clustering and Singular Value Decomposition for Approximate Similarity Search in High-Dimensional Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(3), pp. 671-685, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
clustering, principal component analysis, singular value decomposition, multimedia indexing, Multidimensional indexing, curse of dimensionality |
17 | Aiman H. El-Maleh, Yahya E. Osais |
Test vector decomposition-based static compaction algorithms for combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 8(4), pp. 430-459, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Static compaction, class-based clustering, independent fault clustering, test vector decomposition, taxonomy, combinational circuits |
17 | Zhangxin Chen, Richard E. Ewing |
Degenerate Two-Phase Incompressible Flow IV: Local Refinement and Domain Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 18(3), pp. 329-360, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
degenerate elliptic-parabolic system, locally refined grids, stability, finite element, error estimate, domain decomposition, Porous media |
17 | Xiao-Shan Gao, Gui-Fang Zhang |
Geometric constraint solving via C-tree decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Proceedings of the Eighth ACM Symposium on Solid Modeling and Applications 2003, Seattle, Washington, USA, June 16 - 20, 2003, pp. 45-55, 2003, ACM, 1-58113-752-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
general construction sequence, generalized Stewart platform, parametric CAD, assembly, geometric constraint solving, decomposition tree |
17 | Alan Mishchenko, Tsutomu Sasao |
Large-scale SOP minimization using decomposition and functional properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 149-154, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SOP minimization, disjoint-support decomposition, orthodox functions, BDDs, divide-and-conquer strategy |
17 | Qinghua Zou, Wesley W. Chu, David B. Johnson 0003, Henry Chiu |
A Pattern Decomposition Algorithm for Data Mining of Frequent Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 4(4), pp. 466-482, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Pattern decomposition, Data mining, Frequent pattern, Itemset |
17 | Q. Du, D. Yu |
A Domain Decomposition Method Based on Natural Boundary Reduction for Nonlinear Time-Dependent Exterior Wave Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 68(2), pp. 111-129, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Nonlinear wave equations, natural boundary reduction (NBR), domain decomposition method (DDM), exterior problems |
17 | H. B. Chan, Y. S. Hung |
Matching Patterns of Line Segments by Eigenvector Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIAI ![In: 5th IEEE Southwest Symposium on Image Analysis and Interpretation, SSIAI 2002, Santa Fe, New Mexico, USA, April 7-9, 2002, pp. 286-289, 2002, IEEE Computer Society, 0-7695-1537-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
eigenvector decomposition, line segment matching, proximity matrix, affine transformation |
17 | ZhengQuan Xu, Shaojun Xiao, Zheru Chi |
ART2 Neural Network for Surface EMG Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 10(1), pp. 29-38, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ART2 network, EMG decomposition, Low-pass differential filters, Artificial neural networks |
17 | E. Moyano, Francisco J. Quiles 0001, Antonio Jose Garrido del Solo, José Duato, Luis Orozco-Barbosa |
Efficient 3d Wavelet Transform Decomposition For Video Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Digital and Computational Video ![In: 2nd International Workshop on Digital and Computational Video (DCV 2001), 9 February 2001, Tampa, Florida, USA, pp. 118-125, 2001, IEEE Computer Society, 0-7695-1110-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Temporal Decomposition, Video compression, 3D Wavelet Transform |
17 | Douglas J. Holzhauer, Ian R. Grosse |
Finite Element Analysis using Component Decomposition and Knowledge-Based Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 15(4), pp. 315-325, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Component decomposition, Transient finite element analysis, Blackboard architecture, Knowledge-based control |
17 | Trevor J. Davis |
Fast Decomposition of Digital Curves into Polygons Using the Haar Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 21(8), pp. 786-790, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Haar transform, Haar functions, feature perimeter, digital curves, polygonal decomposition |
17 | Bertil Gustafsson, Lina Hemmingsson-Frändén |
A Fast Domain Decomposition High Order Poisson Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 14(3), pp. 223-243, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
parallel computing, Domain decomposition, Poisson solver |
17 | Giovanni Anelli, Alberto Broggi, Giulio Destri |
Decomposition of Arbitrarily Shaped Binary Morphological Structuring Elements Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(2), pp. 217-224, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
arbitrarily shaped structuring element decomposition, genetic algorithms, Mathematical morphology |
17 | Hans-Gert Gräbe |
Minimal Primary Decomposition and Factorized Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(4), pp. 265-278, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Primary decomposition, Constructive methods |
17 | Abdel Elah Al-Ayyoub, Khaled Day |
Matrix Decomposition on the Star Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(8), pp. 803-812, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel processing, Interconnection networks, star graphs, matrix decomposition |
17 | Octavian V. Sarca, Ioan Tabus, Jaakko Astola |
Threshold Decomposition Based- Locally Adaptive Linear Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 409-412, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
threshold decomposition based-locally adaptive linear filters, extended threshold Boolean filter, observation windows, MSE-optimal design, iterative design algorithm, ETBF, images, adaptive filters, linear filters |
17 | Gundolf Haase |
New Matric-by-Vector Multiplications Based on a Nonoverlapping Domain Decomposition Data Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 726-733, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Parallel Iterative Solvers, Incomplete Factorization, Finite Element Method, Preconditioning, Domain Decomposition |
17 | Michael Gleicher |
Projective registration with difference decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 331-337, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
projective registration, difference decomposition, image region registration, piecewise-projective transformations, nonplanar object motion modeling, performance, image registration, image transformations, prototype implementation, nonlinear transformations |
17 | Monika Kapus-Kolar |
Employing disruptions for more efficient functionality decomposition in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 464-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
functionality decomposition transformation, Basic LOTOS specifications, external behaviour, expected service, specified service actions, pairwise communication, common actions, unbounded reliable first in first out channels, inter component communication, synchronisation message receptions, specification languages, disruptions |
17 | Habib Ammari |
Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 71-80, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
dynamic reverse engineering, dynamic decomposition, dynamic dependency relations, program execution path, dynamic program thread, dynamic lattice, incremental dynamic lattice, Software engineering, debugging |
17 | David N. Kenwright, David A. Lane |
Interactive Time-Dependent Particle Tracing Using Tetrahedral Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 2(2), pp. 120-129, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
streak line, tetrahedral decomposition, scientific visualization, computational fluid dynamics, Particle tracing, time-dependent, curvilinear grid, unsteady flow |
17 | Sue-Hong Chow, Yi-Cheng Ho, TingTing Hwang, C. L. Liu 0001 |
Low power realization of finite state machines - a decomposition approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 1(3), pp. 315-340, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
decomposition of finite state machines, lower power design, state assignment |
17 | Joseph M. Reinhardt, William E. Higgins |
Comparison Between the Morphological Skeleton and Morphological Shape Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(9), pp. 951-957, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
morphological shape decomposition, computer vision, image analysis, Mathematical morphology, shape analysis, shape representation, morphological skeleton |
17 | André Guéziec, Robert A. Hummel |
Exploiting Triangulated Surface Extraction Using Tetrahedral Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 1(4), pp. 328-342, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
tetrahedral decomposition, homology theory, surface curvature, lossless surface compression, Marching Cubes, boundary representation, surface simplification, B-rep |
17 | Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke |
Fault-tolerance on regular decomposition grid applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 358-365, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
regular decomposition grid applications, synchronization data partitioning, high-level support, PUL-RD, fault-tolerance, communication, fault tolerant computing, distribution, heterogeneity, checkpointing, synchronisation, software fault tolerance |
17 | Surya Pemmaraju, Sunanda Mitra, Yao-Yang Shieh, Glenn H. Roberson |
Multiresolution Wavelet Decomposition and Neuro-Fuzzy Clustering for Segmentation of Radiographic Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Eighth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'95), June 9-10, 1995, Lubbock, Texas, USA, pp. 142-, 1995, IEEE Computer Society, 0-8186-7117-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fuzzy neural nets, multiresolution wavelet decomposition, neuro fuzzy clustering, neuro-fuzzy clustering, radiographic image segmentation, tissue abnormalities, multiresolution image representation approach, fuzzy learning rules, image segmentation, wavelet transforms, image analysis, unsupervised learning, image representation, shape analysis, medical image processing, texture segmentation, uncertainty handling, diagnostic radiography, medical image segmentation, contour detection, unsupervised neural network |
17 | Eric Lehman, Yosinori Watanabe, Joel Grodstein, Heather Harkness |
Logic decomposition during technology mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 264-271, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Logic Decomposition, Logic Factorization, Logic Synthesis, Technology Mapping |
17 | Hyesook Lim, Earl E. Swartzlander Jr. |
An efficient systolic array for the discrete cosine transform based on prime-factor decomposition . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 644-649, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
prime-factor decomposition, index mappings, VLSI, discrete cosine transforms, discrete cosine transform, systolic arrays, systolic array, VLSI implementation, array signal processing |
17 | Arie Pikaz, Its'hak Dinstein |
Using Simple Decomposition for Smoothing and Feature Point Detection of Noisy Digital Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(8), pp. 808-813, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
noisy digital curves, smoothed polygonal approximation, curvature function, separation point, smoothed approximation, inflection points, curve points, convex-concave sections, cusps, concave-concave sections, convex-convex sections, local minimal curvature, total curvature graphs, computational complexity, image processing, feature extraction, decomposition, smoothing, complexity analysis, planar curves, feature point detection |
17 | Hillel Rom, Gérard G. Medioni |
Hierarchical Decomposition and Axial Shape Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(10), pp. 973-981, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
smooth local symmetries, parallel symmetries, shape parsing, region information, axial shape description, segmented axial description, curvature sign changes, contour information, image segmentation, stability, robustness, scale, computational efficiency, hierarchical decomposition |
17 | Janusz A. Starzyk, Hong Dai |
A decomposition approach for testing large analog networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(3), pp. 181-195, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
circuit decomposition, large system identification, Analog testing, test programming |
17 | Andrew P. Moore |
The Specification and Verified Decomposition of System Requirements Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 932-948, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements |
17 | J. C. Huang 0001 |
State Constraints and Pathwise Decomposition of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 880-896, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
state constraint, program pathwise, subprograms, execution paths, formal basis, pathwise decomposition, software engineering, computational complexity, verification, testing, program testing, control flow, programming construct, program simplification |
17 | Hany H. Ammar, S. M. Rezaul Islam |
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 809-820, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling |
17 | Stéphane Mallat |
A Theory for Multiresolution Signal Decomposition: The Wavelet Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(7), pp. 674-693, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
multiresolution signal decomposition, pyramidal algorithm, quadrature mirror filters, pattern recognition, pattern recognition, picture processing, picture processing, data compression, data compression, image coding, encoding, encoding, convolutions, texture discrimination, fractal analysis, wavelet representation |
17 | Fred L. Bookstein |
Principal Warps: Thin-Plate Splines and the Decomposition of Deformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(6), pp. 567-585, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
principal warps, curving edges, pattern recognition, computer vision, computer vision, feature extraction, computerised pattern recognition, decomposition, deformations, biomedical images, thin-plate splines, biomedical engineering |
17 | Richard H. Bartels, Gene H. Golub |
The simplex method of linear programming using LU decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(5), pp. 266-268, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
computational stability, linear programming, simplex method, LU decomposition, round-off errors |
17 | Abraham Traoré |
Contribution à la décomposition de données multimodales avec des applications en apprentisage de dictionnaires et la décomposition de tenseurs de grande taille. (Contribution to multimodal data processing with applications to dictionary learning and large-scale decomposition). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
16 | Yang-Ming Zhu, Steven M. Cochoff |
Medical Image Viewing on Multicore Platforms Using Parallel Computing Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Prof. ![In: IT Prof. 12(2), pp. 33-41, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel programming software patterns, pipeline, multicore, data parallelism, task parallelism, task decomposition, data decomposition |
16 | Robert A. Chesebrough, Ivan Turner |
Parallel computing: at the interface of high school and industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 280-284, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
intel parallel studio, threading building blocks, parallelism, concurrency, synchronization, openmp, deadlocks, reductions, domain decomposition, role playing, race conditions, critical sections, high school, task decomposition |
16 | Illya V. Hicks |
Branchwidth and Branch Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 332-339, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Branchwidth, Graph minors theorem, Branch-decomposition-based algorithm, Tangle, Branch decomposition |
16 | Laureano F. Escudero |
Optimization in Water Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2863-2869, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hydrological exogenous inflow, Water demand, Catchment management, Surface and groundwater resources, Environmental targets, Nonanticipativity water resources policies, Full recourse, Splitting variables, Benders decomposition approach, augmented Lagrangian decomposition approach, Stochasticity, Scenario analysis |
16 | Caroline N. Haddad |
Cholesky Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 374-377, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ill-conditioned, Well-conditioned, Matrix decomposition or factorization, Normal equation, Bandwidth, Least squares, Singular, LU-decomposition, Pivot, Pivoting, Symmetric, Banded, Positive definite |
16 | Ding Wang 0003, Li Zhang, Ying Wu 0002 |
The structured total least squares algorithm research for passive location based on angle information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(6), pp. 1043-1054, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
passive location, angle information, constrained total least squares, structured total least squares, singular value decomposition, Kalman filter, least squares, QR decomposition, total least squares |
16 | Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón |
Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 31-38, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cocoalib, irreducible decomposition, koszul homology, monomial ideal, stanley decomposition, betti numbers |
16 | Chu-Yin Chang, Anthony A. Maciejewski, Venkataramanan Balakrishnan, Rodney G. Roberts, Kishor Saitwal |
Quadtree-based eigendecomposition for pose estimation in the presence of occlusion and background clutter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 10(1), pp. 15-31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Background clutter, Object recognition, Singular value decomposition, Pose estimation, Partial occlusion, Quadtree decomposition |
16 | Jieping Ye, Ravi Janardan, Qi Li 0001, Haesun Park |
Feature Reduction via Generalized Uncorrelated Linear Discriminant Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(10), pp. 1312-1322, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
uncorrelated linear discriminant analysis, generalized singular value decomposition, QR-decomposition, Feature reduction |
16 | Matthew Dickerson |
The Inverse of an Automorphism in Polynomial Time ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 82-87, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
multivariate decomposition, K-algebra automorphism, commutative ring, polynomial decomposition algorithm, left composition factor, polynomial-time algorithm, inverse |
16 | Lui Sha, John P. Lehoczky, E. Douglas Jensen |
Modular Concurrency Control and Failure Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(2), pp. 146-159, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery |
16 | Kaoru Katayama, Tatsuro Okawara, Yuka Ito |
A greedy algorithm for constructing a low-width generalized hypertree decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 174-182, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Kolodzinski, Edward Hrynkiewicz |
An utilisation of Boolean differential calculus in variables partition calculation for decomposition of logic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009, April 15-17, 2009, Liberec, Czech Republic, pp. 34-37, 2009, IEEE Computer Society, 978-1-4244-3341-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mingliang Hou, CunHua Li, Yong Zhang |
Texture Retrieval by Scale and Rotation Invariant Directional Empirical Mode Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 1131-1135, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mamadou Moustapha Kanté, Michaël Rao |
Directed Rank-Width and Displit Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers, pp. 214-225, 2009, 978-3-642-11408-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Pierre-Emmanuel Leni, Yohan D. Fougerolle, Frédéric Truchetet |
Kolmogorov Superposition Theorem and Wavelet Decomposition for Image Compression. ![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. 43-53, 2009, Springer, 978-3-642-04696-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Dengji Zhao, Stephan Schiffel, Michael Thielscher |
Decomposition of Multi-player Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 475-484, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jochen Abhau, Zakaria Belhachmi, Otmar Scherzer |
On a Decomposition Model for Optical Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings, pp. 126-139, 2009, Springer, 978-3-642-03640-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Stephen M. Watt |
Algorithms for the Functional Decomposition of Laurent Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 186-200, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Alan Edelman, Brian D. Sutton |
The Beta-Jacobi Matrix Model, the CS Decomposition, and Generalized Singular Value Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 8(2), pp. 259-285, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Navin Kashyap |
A Decomposition Theory for Binary Linear Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(7), pp. 3035-3058, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Zhang |
Steady-State Throughput and Scheduling Analysis of Multicluster Tools: A Decomposition Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(2), pp. 321-336, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Wee Seng Chua, Chau Yuen, Yong Liang Guan 0001, Francois P. S. Chin |
Limited feedback for multi-antenna multi-user communications with Generalized Multi-Unitary Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2008, 15-18 September 2008, Cannes, French Riviera, France, pp. 1-5, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Joey W. Coleman |
Expression Decomposition in a Rely/Guarantee Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 146-160, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Björn Metzler 0001, Heike Wehrheim, Daniel Wonisch |
Decomposition for Compositional Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 105-125, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Hsien-I Lin, C. S. George Lee |
Skill decomposition by self-categorizing stimulus-response units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 3820-3825, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Julia Handl, Simon C. Lovell, Joshua D. Knowles |
Multiobjectivization by Decomposition of Scalar Cost Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings, pp. 31-40, 2008, Springer, 978-3-540-87699-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Tejaswi Gowda, Sarma B. K. Vrudhula |
Decomposition based approach for synthesis of multi-level threshold logic circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 125-130, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Perttu Salmela, Adrian Burian, Harri Sorokin, Jarmo Takala |
Complex-valued QR decomposition implementation for MIMO receivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 1433-1436, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Xiaohong Chen 0001, Zhi Jin |
A Scenario-Based Problem Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1150-1155, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yi-Gang Tai, Chia-Tien Dan Lo, Kleanthis Psarris |
Accelerating matrix decomposition with replications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andrew B. Kahng, Chul-Hong Park, Xu Xu 0001, Hailong Yao |
Layout decomposition for double patterning lithography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008, pp. 465-472, 2008, IEEE Computer Society, 978-1-4244-2820-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
Heap Decomposition for Concurrent Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 363-377, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ioannis Ch. Paschalidis, Wei Lai, Xiangdong Song |
A Decomposition Method for Transmission Scheduling in Multi-Channel Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 2189-2197, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Murong Jiang, Ke Huiling, Wu Qian, Chen Yunmei |
Adaptive Parameter Computing on Structure-Texture Image Decomposition. ![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. 371-373, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Nathan O. Scott, Gerhard W. Dueck |
Pairwise decomposition of toffoli gates in a quantum circuit. ![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. 231-236, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
elementary quantum gates, synthesis, minimization, reversible logic, quantum circuits |
16 | Yimo Guo, Zhengguang Xu |
Local binary pattern with new decomposition method for face recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 2634-2640, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet |
The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, pp. 115-126, 2008, Springer, 978-0-387-09679-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Xin Li 0003, Xianfeng Gu, Hong Qin 0001 |
Surface matching using consistent pants decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2008 ACM Symposium on Solid and Physical Modeling, Stony Brook, New York, USA, June 2-4, 2008, pp. 125-136, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
shape analysis and synthesis, surface matching |
Displaying result #601 - #700 of 33924 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|