|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2689 occurrences of 1754 keywords
|
|
|
Results
Found 7630 publication records. Showing 7630 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Hristo Nikolov, Todor P. Stefanov, Ed F. Deprettere |
Modeling and FPGA Implementation of Applications Using Parameterized Process Networks with Non-Static Parameters. |
FCCM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Eugene Goldberg |
Equivalence Checking of Circuits with Parameterized Specifications. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Min-Young Nam, Chang-Gun Lee, Kanghee Kim, Marco Caccamo |
Time-Parameterized Sensing Task Model for Real-Time Tracking. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Charalampos Papamanthou, Ioannis G. Tollis |
Applications of Parameterized st-Orientations in Graph Drawing Algorithms. |
GD |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Argyriou, Charles A. Micchelli, Massimiliano Pontil |
Learning Convex Combinations of Continuously Parameterized Basic Kernels. |
COLT |
2005 |
DBLP DOI BibTeX RDF |
|
15 | John See, Madasu Hanmandlu, Shantaram Vasikarla |
Fuzzy-based Parameterized Gaussian Edge Detector Using Global and Local Properties. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
Gaussian edge detector, Gaussian membership function, contrast intensification, entropy optimization, Image enhancement |
15 | Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, Tetsuo Tamai |
A parameterized interpreter for modeling different AOP mechanisms. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
AOP, join point models |
15 | Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov |
A uniform deductive approach for parameterized protocol safety. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
generalized substitutions, safety, assertion, symbolic model checking, reachability |
15 | Yinglei Song, Chunmei Liu, Xiuzhen Huang, Russell L. Malmberg, Ying Xu, Liming Cai |
Efficient Parameterized Algorithm for Biopolymer Structure-Sequence Alignment. |
WABI |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Luca Daniel, Chin Siong Ong, Sok Chay Low, Kwok Hong Lee, Jacob K. White 0001 |
A multiparameter moment-matching model-reduction approach for generating geometrically parameterized interconnect performance models. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Sergei A. Abramov, Anna A. Ryabenko |
Sparse Power Series and Parameterized Linear Operators. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Oskar Mencer, Wayne Luk |
Parameterized High Throughput Function Evaluation for FPGAs. |
J. VLSI Signal Process. |
2004 |
DBLP DOI BibTeX RDF |
FPGAs, function approximation, CORDIC, lookup table, rational approximation |
15 | Jiwu Huang, Junquan Hu, Daren Huang, Yun Q. Shi 0001 |
Improve security of fragile watermarking via parameterized wavelet. |
ICIP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Carmit Hazay, Moshe Lewenstein, Dina Sokol |
Approximate Parameterized Matching. |
ESA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis |
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Zhiyun Chen, Huiqin Qu, Mingming Lu, Hong Zhu 0004 |
A Probabilistic Parameterized Algorithm for Vertex Cover in Sticker Model. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Tomonari Masada, Atsuhiro Takasu, Jun Adachi |
Web Page Grouping Based on Parameterized Connectivity. |
DASFAA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Tomás Barros, Rabéa Boulifa, Eric Madelaine |
Parameterized Models for Distributed Java Objects. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Covington, Mustaque Ahamad, Irfan A. Essa, H. Venkateswaran |
Parameterized Authentication. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park |
A Simple Method for Parameterized Verification of Cache Coherence Protocols. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Marko Samer, Helmut Veith |
Parameterized Vacuity. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Rahul Agarwal, Scott D. Stoller |
Type Inference for Parameterized Race-Free Java. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
15 | E. Allen Emerson, Vineet Kahlon |
Parameterized Model Checking of Ring-Based Message Passing Systems. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi, Davide Patti |
Multi-objective Optimization of a Parameterized VLIW Architecture. |
Evolvable Hardware |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Dániel Marx |
Parameterized Complexity of Constraint Satisfaction Problems. |
CCC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Elena Prieto-Rodriguez, Christian Sloper |
Looking at the Stars. |
IWPEC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Michael R. Fellows, Stefan Szeider, Graham Wrightson |
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. |
IWPEC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Holger Giese, Florian Klein 0001, Sven Burmester |
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Tamarah Arons, Amir Pnueli, Lenore D. Zuck |
Parameterized Verification by Probabilistic Abstraction. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Brian A. Malloy, Peter J. Clarke, Errol L. Lloyd |
A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Michael R. Fellows |
New Directions and New Challenges in Algorithm Design and Complexity, Parameterized. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesh Raman 0001, Saket Saurabh 0001 |
Parameterized Complexity of Directed Feedback Set Problems in Tournaments. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad M. Mansour, Amit Mehrotra |
Efficient core designs based on parameterized macrocells with accurate delay models. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ya-Lan Tsao, Ming Hsuan Tan, Jun-Xian Teng, Shyh-Jye Jou |
Parameterized and low power DSP core for embedded systems. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Makram M. Mansour, Mohammad M. Mansour, Amit Mehrotra |
Parameterized Macrocells with Accurate Delay Models for Core-Based Designs. |
ISQED |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Tony Givargis, Frank Vahid, Jörg Henkel |
System-level exploration for Pareto-optimal configurations in parameterized system-on-a-chip. |
IEEE Trans. Very Large Scale Integr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Viktor S. Lapinskii, Margarida F. Jacome, Gustavo de Veciana |
Application-specific clustered VLIW datapaths: early exploration on a parameterized design space. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Vikraman Arvind, Venkatesh Raman 0001 |
Approximation Algorithms for Some Parameterized Counting Problems. |
ISAAC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Sven Helmer, Carl-Christian Kanne, Guido Moerkotte |
Optimized Translation of XPath into Algebraic Expressions Parameterized by Programs Containing Navigational Primitives. |
WISE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Luca Daniel, Chin Siong Ong, Sok Chay Low, Kwok Hong Lee, Jacob White 0001 |
Geometrically parameterized interconnect performance models for interconnect synthesis. |
ISPD |
2002 |
DBLP DOI BibTeX RDF |
parametrized model order reduction, interconnect synthesis |
15 | Ryutarou Ohbuchi, Tomo Otagiri, Masatoshi Ibato, Tsuyoshi Takei |
Shape-Similarity Search of Three-Dimensional Models Using Parameterized Statistics. |
PG |
2002 |
DBLP DOI BibTeX RDF |
content-based search and retrieval, principal axes, geometric modeling, polygonal mesh, elastic matching |
15 | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
Parameterized object sensitivity for points-to and side-effect analyses for Java. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Annika Hinze, Agnès Voisard |
A Parameterized Algebra for Event Notification Services. |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Fernando De la Torre, Michael J. Black |
Robust Parameterized Component Analysis. |
ECCV (4) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Ying Zhu 0006, Dorin Comaniciu, Stuart C. Schwartz, Visvanathan Ramesh |
Multimodal Data Representations with Parameterized Local Structures. |
ECCV (1) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Bogliolo, Roberto Corgnati, Enrico Macii, Massimo Poncino |
Parameterized RTL power models for soft macros. |
IEEE Trans. Very Large Scale Integr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Michael R. Fellows |
Parameterized Complexity: The Main Ideas and Some Research Frontiers. |
ISAAC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Sang-Eon Park, Carla N. Purdy |
Parameterized Mobile Action Generator for a Wireless PCS Network. |
MASCOTS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jochen Alber, Henning Fernau, Rolf Niedermeier |
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Oskar Mencer, Nicolas Boullis, Wayne Luk, Henry Styles |
Parameterized Function Evaluation for FPGAs. |
FPL |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Ball, Sagar Chaki, Sriram K. Rajamani |
Parameterized Verification of Multithreaded Software Libraries. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Tomoya Kitai, Tomohiro Yoneda |
Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Wayne P. Burleson, Prashant Jain, Subramanian Venkatraman |
Dynamically Parameterized Architectures for Power-Aware Video Coding: Motion Estimation and DCT. |
Workshop on Digital and Computational Video |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Todd Wareham |
The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Marios Iliopoulos, Theodore Antonakopoulos 0001 |
A Methodology for Implementing Medium Access Protocols Using a General Parameterized Architecture. |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
general network architecture, design automation, communication systems |
15 | Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl |
Abstracting WS1S Systems to Verify Parameterized Networks. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka |
Verification of Parameterized Systems Using Logic Program Transformations. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
15 | James J. Carrig Jr., Gerard G. L. Meyer |
A parameterized ordering for cache-, register- and pipeline-efficient Givens QR decomposition. |
Adv. Comput. Math. |
1999 |
DBLP DOI BibTeX RDF |
Givens, 65F25, superscalar processors, 65F05, 65Y10, QR algorithm |
15 | Chu-Song Chen, Chi-Kuo Yu, Yi-Ping Hung |
New Calibration-free Approach for Augmented Reality based on Parameterized Cuboid Structure. |
ICCV |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Zohar Manna, Henny Sipma |
Verification of Parameterized Systems by Dynamic Induction on Diagrams. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Bogliolo, Roberto Corgnati, Enrico Macii, Massimo Poncino |
Parameterized RTL power models for combinational soft macros. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Yakup Genc, Jean Ponce, Yoram Leedan, Peter Meer |
Parameterized Image Varieties and Estimation with Bilinear Constraints. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
Parameter Estimation, Image-Based Rendering, Shape Representation and Recovery |
15 | Michael J. Black |
Explaining Optical Flow Events with Parameterized Spatio-Temporal Models. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
optical flow, human motion, Condensation, Bayes, motion recognition |
15 | Yakup Genc, Jean Ponce |
Point- and Line-Based Parameterized Image Varieties for Image-Based Rendering. |
Workshop on Vision Algorithms |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Michael D. Hutton, Jonathan Rose, Jerry P. Grossman, Derek G. Corneil |
Characterization and parameterized generation of synthetic combinational benchmark circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Kimihiro Ogawa, Michinari Kohno, Fusako Kitamura |
PASTEL: A Parameterized Memory Characterization System. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
automatic characterization, cell library, timing, power, ASIC, LSI, on-chip-memory |
15 | Marco Cesati, Miriam Di Ianni |
Parameterized Parallel Complexity. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Black, Yaser Yacoob, Allan D. Jepson, David J. Fleet |
Learning Parameterized Models of Image Motion. |
CVPR |
1997 |
DBLP DOI BibTeX RDF |
eigenspace methods, non-rigid and articulated motion, learning, Optical flow, motion discontinuities |
15 | E. Allen Emerson, Kedar S. Namjoshi |
Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Taubin, Fernando Cukierman, Steve Sullivan, Jean Ponce, David J. Kriegman |
Parameterized Families of Polynomials for Bounded Algebraic Curve and Surface Fitting. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
bounded algebraic curve fitting, model-based computer vision tasks, bounded zero sets, computer vision, geometric models, polynomials, polynomials, matrix algebra, surface fitting, surface fitting, curve fitting, shape descriptors, data sets |
15 | Konrad Slind |
A Parameterized Proof Manager. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Per Andersson, Lars H. Philipson |
Interaction semantics of a symbolic layout editor for parameterized modules. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
15 | David G. Lowe |
Fitting Parameterized Three-Dimensional Models to Images. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
2D image matching, model based pattern recognition, arbitrary curved surfaces, pattern recognition, picture processing, picture processing, 3D model, curve fitting, motion tracking, Levenberg-Marquardt method |
15 | W. Eric L. Grimson |
On the recognition of parameterized 2D objects. |
Int. J. Comput. Vis. |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Carlo H. Séquin, E. K. Smyrl |
Parameterized Ray-tracing. |
SIGGRAPH |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Richard Barth, Bertrand Serlet, Pradeep S. Sindhu |
Parameterized Schematics. |
DAC |
1988 |
DBLP BibTeX RDF |
|
15 | Andrew P. Witkin, Kurt W. Fleischer, Alan H. Barr |
Energy constraints on parameterized models. |
SIGGRAPH |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing |
On the Parameterized Algebraic Specification of Concurrent Systems. |
TAPSOFT, Vol.1 |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Günter Hornung, Peter Raulefs |
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Fedor V. Fomin, Serge Gaspers, Saket Saurabh 0001, Alexey A. Stepanov |
On Two Techniques of Combining Branching and Treewidth. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
Exact exponential time algorithms, #3-Coloring, #Minimum dominating set, Minimum maximal matching, k-Weighted vertex cover, NP hard problems, Treewidth, Parameterized algorithms |
14 | Yunlong Liu 0001, Jianer Chen, Jianxin Wang 0001 |
On Counting 3-D Matchings of Size k. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
3-D matching, Counting complexity, Approximation algorithm, Randomized algorithm, Parameterized algorithm |
14 | Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch |
Parameterised Coloured Petri Net Channel Models. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
Parameterized Protocol Channel Models, Datagram Congestion Control Protocol, Coloured Petri Nets, Reachability Analysis |
14 | Marko Samer, Stefan Szeider |
Backdoor Sets of Quantified Boolean Formulas. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Backdoor sets, Variable dependencies, Parameterized complexity, Quantified Boolean formulas |
14 | Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh 0001, Dimitrios M. Thilikos |
(Meta) Kernelization. |
FOCS |
2009 |
DBLP DOI BibTeX RDF |
Polynonial Time Preprocessing, Counting Monadic Second Order Logic, Finite Integer Index, Graphs of Bounded Genus, Planar Graphs, Kernelization, Parameterized Algorithms, Finite State |
14 | Sari Onaissi, Khaled R. Heloue, Farid N. Najm |
Clock skew optimization via wiresizing for timing sign-off covering all process corners. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
clock skew optimization, parameterized timing analysis, sign-off, wiresizing, variability |
14 | Michael R. Fellows, Christian Knauer, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Ulrike Stege, Dimitrios M. Thilikos, Sue Whitesides |
Faster Fixed-Parameter Tractable Algorithms for Matching and Packing Problems. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Graph matching, Fixed parameter tractable, Parameterized complexity, Color coding, Set packing |
14 | Daniel Mölle, Stefan Richter 0001, Peter Rossmanith |
Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Enumerate and expand, Exact algorithms, Vertex cover, Parameterized complexity |
14 | María Pilar Tormos, Antonio Luis Lova, Federico Barber, Laura Paola Ingolotti, Montserrat Abril, Miguel A. Salido |
A Genetic Algorithm for Railway Scheduling Problems. |
Metaheuristics for Scheduling in Industrial and Manufacturing Applications |
2008 |
DBLP DOI BibTeX RDF |
Train Timetabling Problem, Parameterized Regret-Based Biased Random Sampling, Real World Instances, Genetic Algorithms, Scheduling |
14 | Michael Lampis, Georgia Kaouri, Valia Mitsou |
On the Algorithmic Effectiveness of Digraph Decompositions and Complexity Measures. |
ISAAC |
2008 |
DBLP DOI BibTeX RDF |
Digraph decompositions, Treewidth, Parameterized Complexity |
14 | Daniel Smith 0003, Robert Cartwright |
Java type inference is broken: can we fix it? |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types |
14 | Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin |
Automated Formal Testing of C API Using T2C Framework. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
compliance testing, parameterized tests, medium-quality tests, Formal testing |
14 | Lance Fortnow, Rahul Santhanam |
Infeasibility of instance compression and succinct PCPs for NP. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
instance compression, succinct PCPs, cryptography, parameterized complexity, polynomial hierarchy |
14 | Kord Eickmeyer, Martin Grohe, Magdalena Grüber |
Approximation of Natural W[P]-Complete Minimisation Problems Is Hard. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
derandomisation, parameterized complexity, inapproximability |
14 | Joachim Giesen, Klaus Mueller 0001, Eva Schuberth, Lujin Wang, Peter Zolliker |
Conjoint Analysis to Measure the Perceived Quality in Volume Rendering. |
IEEE Trans. Vis. Comput. Graph. |
2007 |
DBLP DOI BibTeX RDF |
Volume Visualization, Conjoint Analysis, Parameterized Algorithms |
14 | Fabien Salzenstein, Christophe Collet 0001 |
Fuzzy Markov Random Fields versus Chains for Multispectral Image Segmentation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Markov field, fuzzy Markov chain, parameterized joint density, multispectral image segmentation, missing data |
14 | Natalia Juristo Juzgado, Ana María Moreno 0001, Wolfgang Strigel |
Guest Editors' Introduction: Software Testing Practices in Industry. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
SQA, V&V, agile software testing, parameterized unit testing, testing practice, software testing, unit testing, symbolic execution, scripting language, test coverage, testing tools, test automation, test design, test design |
14 | Dominik Engel, Rade Kutil, Andreas Uhl |
A symbolic transform attack on lightweight encryption based on wavelet filter parameterization. |
MM&Sec |
2006 |
DBLP DOI BibTeX RDF |
ciphertext-only, known-plaintext, secret frequency domain, secret parameterized wavelet filters, attack, JPEG2000 |
14 | David Sheldon, Rakesh Kumar 0002, Frank Vahid, Dean M. Tullsen, Roman L. Lysecky |
Conjoining soft-core FPGA processors. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
conjoined processors, parameterized platforms, soft-core processors, FPGAs, customization, tuning |
14 | Shun Yan Cheung, James J. Lu, Catharine M. Wyss |
Metadata management and relational databases. |
ACM Southeast Regional Conference (1) |
2005 |
DBLP DOI BibTeX RDF |
parameterized and meta-queries, data integration, metadata management |
14 | Martin Reuter 0001, Franz-Erich Wolter, Niklas Peinecke |
Laplace-spectra as fingerprints for shape matching. |
Symposium on Solid and Physical Modeling |
2005 |
DBLP DOI BibTeX RDF |
parameterized surfaces and bodies, shape invariants, fingerprints, copyright protection, shape matching, NURBS, polyhedra, database retrieval, laplace-beltrami operator |
Displaying result #601 - #700 of 7630 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|