|
|
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 |
15 | Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux |
Using the witness method to detect rigid subsystems of geometric constraints in CAD. |
Symposium on Solid and Physical Modeling |
2010 |
DBLP DOI BibTeX RDF |
W-decomposition, rigidity theory, witness configuration, geometric constraints solving, Jacobian matrix |
15 | Jianting Zhang, Michael Gertz 0001, Le Gruenwald |
Efficiently managing large-scale raster species distribution data in PostgreSQL. |
GIS |
2009 |
DBLP DOI BibTeX RDF |
species distribution data, window query decomposition, query optimization, quadtrees, PostgreSQL |
15 | James Paul LeSage, Joni S. Charles |
Using home buyers' revealed preferences to define the urban-rural fringe. |
J. Geogr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Blinder-Oaxaca decomposition spatial extension, Bayesian Markov Chain Monte Carlo, Spatial dependence |
15 | Andrew Brzezinski, Eytan H. Modiano |
Achieving 100% throughput in reconfigurable optical networks. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
Birkhoff-von Neumann (BvN), WDM reconfiguration, performance evaluation, queueing network, wavelength division multiplexing (WDM), matrix decomposition, IP-over-WDM, input-queueing |
15 | Andreas Brandstädt, Tilo Klembt, Vadim V. Lozin, Raffaele Mosca |
Independent Sets of Maximum Weight in Apple-Free Graphs. |
ISAAC |
2008 |
DBLP DOI BibTeX RDF |
clique separators, apple-free graphs, polynomial-time algorithm, Maximum independent set, modular decomposition, claw-free graphs |
15 | Alexander Ostertag, Karl F. Doerner, Richard F. Hartl |
A Variable Neighborhood Search Integrated in the POPMUSIC Framework for Solving Large Scale Vehicle Routing Problems. |
Hybrid Metaheuristics |
2008 |
DBLP DOI BibTeX RDF |
Variable Neighborhood Search, Vehicle Routing, Problem Decomposition |
15 | Amine Ben El Haj Ali, Azzeddine Soulaïmani |
Combined Functional and Geometrical Decompositions for Multiphysics Problems with Application to Fluid-Structure Interaction. |
HPCS |
2008 |
DBLP DOI BibTeX RDF |
Spalart-Allmaras model, 3D Navier-Stokes, parallel, distributed, decomposition, Finite Elements, Turbulence, Aerodynamics |
15 | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora |
Disassembling real-time fault-tolerant programs. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition |
15 | Peter Lichodzijewski, Malcolm I. Heywood |
Managing team-based problem solving with symbiotic bid-based genetic programming. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
classification, genetic programming, efficiency, active learning, supervised learning, coevolution, teaming, problem decomposition |
15 | Zeljko Hocenski, Mladen Antunovic, Damir Filko |
Accelerated Gradient Learning Algorithm for Neural Network Weights Update. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
time critical processes, algorithm decomposition, weights update, gradient learning method, neural network, parallel processing |
15 | Chu-Hsing Lin, Jung-Chun Liu, Chih-Hsiong Shih, Yan-Wei Lee |
A Robust Watermark Scheme for Copyright Protection. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
distributed discrete wavelet transformation, image attacks, watermark, singular value decomposition, copyright protection |
15 | Dirk Kukulenz, Christoph Reinke, Nils Hoeller |
Web Contents Tracking by Learning of Page Grammars. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
page decomposition, tracking, pruning |
15 | Alain Horé, François Deschênes, Djemel Ziou |
A New Super-Resolution Algorithm Based on Areas Pixels and the Sampling Theorem of Papoulis. |
ICIAR |
2008 |
DBLP DOI BibTeX RDF |
Papoulis theorem, Image enhancement, Super-resolution, Wavelet decomposition |
15 | Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal |
Timestamping messages and events in a distributed system using synchronous communication. |
Distributed Comput. |
2007 |
DBLP DOI BibTeX RDF |
Timestamping messages and events, Edge decomposition, Vertex cover, Synchronous communication, Vector clocks |
15 | Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya |
Beyond single-appearance schedules: Efficient DSP software synthesis using nested procedure calls. |
ACM Trans. Embed. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
block diagram compiler, hierarchical graph decomposition, procedural implementation, embedded systems, design methodology, memory optimization, Synchronous dataflow |
15 | Felipe Victolla Silveira, Carlos A. Heuser |
A Two Layered Approach for Querying Integrated XML Sources. |
IDEAS |
2007 |
DBLP DOI BibTeX RDF |
query decomposition, XML, data integration, data fragmentation |
15 | Sung Jin Choi, Hee Yong Youn |
MKPS: A Multi-level Key Pre-distribution Scheme for Secure Wireless Sensor Networks. |
HCI (2) |
2007 |
DBLP DOI BibTeX RDF |
LDU decomposition, security, wireless sensor network, Energy efficiency, key pre-distribution |
15 | John A. Berger, Sampsa Hautaniemi, Sanjit K. Mitra, Jaakko Astola |
Jointly Analyzing Gene Expression and Copy Number Data in Breast Cancer Using Data Reduction Models. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
Generalized singular value decomposition, cDNA microarray data, CGH microarray data, DNA copy numbers, gene expression, breast cancer |
15 | Jinbo Xu, Bonnie Berger |
Fast and accurate algorithms for protein side-chain packing. |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
Protein side-chain packing, approximate algorithm, polynomial-time approximation scheme, tree decomposition |
15 | Hee Beng Kuan Tan, Yong Yang 0002, Lei Bian |
Systematic Transformation of Functional Analysis Model into OO Design and Implementation. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
design, model transformation, requirements analysis, object-oriented model, functional decomposition, Functional model |
15 | Yun Chi, Belle L. Tseng, Jun'ichi Tatemura |
Eigen-trend: trend analysis in the blogosphere based on singular value decompositions. |
CIKM |
2006 |
DBLP DOI BibTeX RDF |
higher-order singular value decomposition, singular value ecomposition, blog, trend analysis, blogosphere |
15 | Osama S. Youness, Wail Elkilani, Waiel F. Abd El-Wahed, Fawzy A. Torkey |
A Robust Methodology for Performance Evaluation of Communication Networks Protocols. |
CNSR |
2006 |
DBLP DOI BibTeX RDF |
Performance evaluation, Network protocols, Stochastic Petri nets, Decomposition techniques |
15 | Jean-Charles Faugère, Ludovic Perret |
Cryptanalysis of 2R- Schemes. |
CRYPTO |
2006 |
DBLP DOI BibTeX RDF |
Functional Decomposition Problem (FDP), Gröbner bases, Cryptanalysis, F5 algorithm |
15 | Caifeng Zhu, Weiqiang Wang, Qianhui Ning |
Text Detection in Images Using Texture Feature from Strokes. |
PCM |
2006 |
DBLP DOI BibTeX RDF |
texture, wavelet decomposition, co-occurrence matrix, text detection |
15 | Rameswar Debnath, Masakazu Muramatsu, Haruhisa Takahashi |
An Efficient Support Vector Machine Learning Method with Second-Order Cone Programming for Large-Scale Problems. |
Appl. Intell. |
2005 |
DBLP DOI BibTeX RDF |
support vector machine, quadratic programming, Cholesky factorization, second-order cone programming, eigenvalue decomposition |
15 | Vjeran Hari |
Accelerating the SVD Block-Jacobi Method. |
Computing |
2005 |
DBLP DOI BibTeX RDF |
one-sided block-Jacobi algorithm, CS decomposition, SVD |
15 | Engin Avci, Ibrahim Türkoglu, Mustafa Poyraz |
Intelligent Target Recognition Based on Wavelet Adaptive Network Based Fuzzy Inference System. |
IbPRIA (1) |
2005 |
DBLP DOI BibTeX RDF |
Radar Target Echo Signal, Wavelet adaptive network based fuzzy inference system, Pattern recognition, Feature extraction, Entropy, Intelligent system, Wavelet decomposition |
15 | Joke Lambert, Benny Van Houdt, Chris Blondia |
Dimensioning the Contention Channel of DOCSIS Cable Modem Networks. |
NETWORKING |
2005 |
DBLP DOI BibTeX RDF |
DOCSIS Cable Networks, contention channel, performance evaluation, queueing networks, decomposition algorithm |
15 | Sergey Bereg |
Certifying and constructing minimally rigid graphs in the plane. |
SCG |
2005 |
DBLP DOI BibTeX RDF |
Henneberg construction, rigidity theory, computational geometry, tree decomposition, pseudo-triangulation |
15 | Ramanathan V. Guha, Ravi Kumar 0001, D. Sivakumar 0001, Ravi Sundaram |
Unweaving a web of documents. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
news threads, graph algorithms, graph decomposition |
15 | Jean-François Aujol, Tony F. Chan |
Combined Geometric-Texture Image Classification. |
VLSM |
2005 |
DBLP DOI BibTeX RDF |
geometrical image, Classification, wavelets, texture, decomposition, PDE, level-set, active contour, logic model |
15 | Sung Jin Choi, Hee Yong Youn |
An Efficient Key Pre-distribution Scheme for Secure Distributed Sensor Networks. |
EUC Workshops |
2005 |
DBLP DOI BibTeX RDF |
security, mutual authentication, key pre-distribution, LU decomposition, distributed sensor network |
15 | Chang Beom Lee, Hoseop Choe, Hyuk Ro Park, Cheolyoung Ock |
Extracting the Significant Terms from a Sentence-Term Matrix by Removal of the Noise in Term Usage. |
AIRS |
2005 |
DBLP DOI BibTeX RDF |
Significant Terms, Removal of Noise, Principal Component Analysis, Singular Value Decomposition, Automatic Summarization |
15 | Sunil S. Shah, K. P. Madhavan |
Design of Controllable Batch Processes in the Presence of Uncertainty. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
batch equipment design, generalized Benders decomposition, dynamic optimization |
15 | Pascal Babu, Laurent Péridy, Eric Pinson |
A Branch and Bound Algorithm to Minimize Total Weighted Tardiness on a Single Processor. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
Lagrangian decomposition, scheduling, branch & bound |
15 | Victor Neumann-Lara, Eduardo Rivera-Campo, Jorge Urrutia |
A Note on Convex Decompositions of a Set of Points in the Plane. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
Minimal convex decomposition |
15 | Padmanaban Kesavan, Russell J. Allgor, Edward P. Gatzke, Paul I. Barton |
Outer approximation algorithms for separable nonconvex mixed-integer nonlinear programs. |
Math. Program. |
2004 |
DBLP DOI BibTeX RDF |
Mixed-integer nonconvex nonlinear programming, Global solution, Decomposition algorithms |
15 | Ali M. Roumani, David B. Skillicorn |
Large-Scale Resource Selection in Grids. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
multidimensional search, high dimensional data space, Singular Value Decomposition, Computational grid, nearest neighbor search, distributed resource allocation |
15 | Jos J. M. Trienekens, Rob J. Kusters, Ben Rendering, Kees Stokla |
Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL). |
Business Process Management |
2004 |
DBLP DOI BibTeX RDF |
goal decomposition, measurement, process improvement |
15 | Yon Dourisboure |
Compact Routing Schemes for Bounded Tree-Length Graphs and for k-Chordal Graphs. |
DISC |
2004 |
DBLP DOI BibTeX RDF |
tree-length, chordality, compact routing, tree-decomposition |
15 | Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, Matthias Renz |
Object-relational management of complex geographical objects. |
GIS |
2004 |
DBLP DOI BibTeX RDF |
object decomposition, data management, spatial, object-relational database |
15 | A. Rebaine, F. Fortin, A. Benmeddour |
Parallelization of a Finite Volume CFD Code. |
ICPP Workshops |
2004 |
DBLP DOI BibTeX RDF |
ParMETIS, Multi-level partitioning algorithm, MPI, CFD, Domain Decomposition, Finite Volume method |
15 | Mohammad Mahdi Hosseini 0001 |
Numerical Solution of Linear High-Index DAEs. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
Index reduction techniques, Domain decomposition, Differential-algebraic equations, pseudospectral method |
15 | Shabbir Ahmed 0001, Renan Garcia |
Dynamic Capacity Acquisition and Assignment under Uncertainty. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
capacity expansion, stochastic integer programming, decomposition, branch-and-bound |
15 | Jürgen Forster, Niels Schmitt, Hans Ulrich Simon, Thorsten Suttorp |
Estimating the Optimal Margins of Embeddings in Euclidean Half Spaces. |
Mach. Learn. |
2003 |
DBLP DOI BibTeX RDF |
maximal margins, Euclidean half spaces, singular value decomposition |
15 | Adrian E. Conway, Man Li |
Estimating the Traffic Distribution Matrix of a Packet-Switched Network Using Aggregate Traffic Measurements. |
Telecommun. Syst. |
2003 |
DBLP DOI BibTeX RDF |
measurement, linear programming, decomposition, traffic matrix, packet network |
15 | Gérard Cornuéjols, Xinming Liu, Kristina Vuskovic |
A Polynomial Algorithm for Recognizing Perfect Graphs. |
FOCS |
2003 |
DBLP DOI BibTeX RDF |
odd hole, decomposition, recognition algorithm, perfect graph, cleaning |
15 | Marcelo Bertalmío, Luminita A. Vese, Guillermo Sapiro, Stanley J. Osher |
Simultaneous Structure and Texture Image Inpainting. |
CVPR (2) |
2003 |
DBLP DOI BibTeX RDF |
filling-in, bounded variation, texture, texture synthesis, structure, Inpainting, image decomposition |
15 | M. Alex O. Vasilescu, Demetri Terzopoulos |
Multilinear Subspace Analysis of Image Ensembles. |
CVPR (2) |
2003 |
DBLP DOI BibTeX RDF |
nonlinear subspace analysis, N-mode component analysis, multilinear models, N-mode SVD, dimensionality reduction, tensor decomposition |
15 | Lars Arge, Laura Toma, Norbert Zeh |
I/O-efficient topological sorting of planar DAGs. |
SPAA |
2003 |
DBLP DOI BibTeX RDF |
I/O-efficient algorithms, planar directed graphs, graph algorithms, topological sorting, ear decomposition |
15 | Hongbing Fan, Jiping Liu, Yu-Liang Wu, C. K. Wong |
Reduction design for generic universal switch blocks. |
ACM Trans. Design Autom. Electr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
FPGA architecture design, routing requirement, switch module, universal switch block, routing, decomposition |
15 | Peter Bunus, Peter Fritzson |
A Debugging Scheme for Declarative Equation Based Modeling Languages. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica |
15 | Baltazár Frankovic, Thanh-Tung Dang |
Scheduling of Production Using the Multi-agent Approach by Hierarchical Structure. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
scheduling, Agent, coordination, control, decomposition |
15 | Maritza Bracho de Rodríguez, José Alí Moreno |
Heuristic Algorithm for Robot Path Planning Based on Real Space Renormalization. |
IBERAMIA-SBIA |
2000 |
DBLP DOI BibTeX RDF |
Real Space Renormalization, Approximate Cell Decomposition, Path Planning, Heuristic Algorithm |
15 | Patricia Balbastre, Ismael Ripoll, Alfons Crespo |
Control tasks delay reduction under static and dynamic scheduling policies. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
control task delay reduction, dynamic scheduling policy, static scheduling policy, control action delays, dynamic scheduling policies, data acquisition interval, control action interval, DAI, control design phase, scheduling, delays, control systems, industrial application, data acquisition, data acquisition, scheduling policies, static scheduling, control algorithms, EDF scheduling, industrial control, CAI, worst case response time, task decomposition, control performances, digital control |
15 | Vito Di Gesù, Cesare Valenti |
Representing 2D Digital Objects. |
DGCI |
2000 |
DBLP DOI BibTeX RDF |
shape representation, digital topology, shape description, shape decomposition |
15 | Aluízio Haendchen Filho, Hércules Antônio do Prado, Simão S. Toscani |
Evolving a Legacy Data Warehouse System to an Object-Oriented Architecture. |
SCCC |
2000 |
DBLP DOI BibTeX RDF |
legacy data warehouse evolution, Dimensional Object Model, change tolerant architecture, star-schema decomposition, three-layer architecture, software architecture, object-oriented programming, data warehouses, object-oriented databases, object-oriented database, data management, software reusability, relational models, DOM, life cycle, Object-Oriented Software Engineering |
15 | B. Großer, Bruno Lang |
Using Pentangular Factorizations for the Reduction to Banded Form. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
Bidiagonal reduction, Parallel BLAS, Singular value decomposition, Linear algebra |
15 | Tsutomu Sasao |
Totally Undecomposable Functions: Applications to Efficient Multiple-Valued Decompositions. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
LUT-based FPGA, Multiple-valued logic function, Functional decomposition, Symmetric function |
15 | Lech Józwiak |
Information Relationships and Measures in Application to Logic Design. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
relationships and measures, logic design, information, information modeling, digital systems, functional decomposition |
15 | Mehran Yazdi, André Zaccarin |
Interframe Coding Using Deformable Triangles of Variable Size. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
variable size deformable triangles, interframe coding, videophone sequences, MRI sequences, image slices, affine deformations, quadtree decomposition algorithm, triangle mesh generation, image areas, prediction error energy, variable size triangular patches, motion-compensated image, grid points, regular triangular mesh, motion compensation, motion compensation, rate-distortion theory, SNR, low bit rate coding |
15 | Mariam Kamkar, Patrik Krajina, Peter Fritzson |
Dynamic Slicing of Parallel Message-Passing Programs. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
parallel message-passing programs, program maintenance activities, new functionality, software development resources, computer-supported methods, error sources, parallel MIMD computer, distributed systems, parallel programming, software testing, software maintenance, debugging, message passing, software metrics, program testing, dependence analysis, program debugging, software complexity, dynamic program slicing, program decomposition |
15 | K. Vijayananda |
Distributed fault detection in communication protocols using extended finite state machines. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
distributed fault detection, run-time fault detection, coding defects, memory problems, protocol faults, vocabulary faults, sequencing faults, parallel decomposition method, multiple observers, distributed fault detection mechanism, fault tolerant computing, finite state machines, transport protocols, encoding, communication protocols, fault coverage, extended finite state machines |
15 | Yuping Wang, Yuanlong Cai |
Construction and properties of B-spline wavelet filters for multiscale edge detection. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
B-spline wavelet filters, extrema detection, zero-crossing detection, multiscale decomposition, multiscale reconstruction, stereo vision matching, wavelet transforms, edge detection, image reconstruction, stereo image processing, denoising, filtering theory, FIR filters, splines (mathematics), frequency response, frequency response, impulse response, multiscale edge detection |
15 | Han-Wei Shen, Christopher R. Johnson 0001 |
Sweeping Simplices: A Fast Iso-Surface Extraction Algorithm for Unstructured Grids. |
IEEE Visualization |
1995 |
DBLP DOI BibTeX RDF |
Visualization, Isosurface, Finite element analysis, Unstructured grids, Data Decomposition |
15 | Rolf Drechsler, Bernd Becker 0001 |
Dynamic minimization of OKFDDs. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
dynamic minimization, OKFDDs, small Ordered Kronecker Functional Decision Diagrams, Ordered Functional Decision Diagrams, dynamic variable ordering, decomposition type choice, OKFDD package, Boolean functions, logic design, directed graphs, decision theory, diagrams, minimisation, Ordered Binary Decision Diagrams, PUMA |
15 | Levent V. Orman |
Structural analysis of decision models. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
computer based mathematical models, statistical problems, decision making problems, organizational model bases, micro structure, macro structure, complexity, constraints, decision support systems, abstraction, optimisation, statistical analysis, data models, decomposition, organizations, business data processing, optimization problems, structural analysis, decision models, mathematics computing |
15 | Tao Yang, Hui Li |
TheM/G/1 retrial queue with the server subject to starting failures. |
Queueing Syst. Theory Appl. |
1994 |
DBLP DOI BibTeX RDF |
Probability generating functions, server vacations, server setup times, retrial queues, steady state, stochastic decomposition |
15 | Richard J. Boucherie, Nico M. van Dijk |
A generalization of Norton's theorem for queueing networks. |
Queueing Syst. Theory Appl. |
1993 |
DBLP DOI BibTeX RDF |
global traffic equations, local traffic equations, Norton's theorem, Aggregation, decomposition, queueing networks, blocking, product form |
15 | Alain Cournier, Michel Habib |
An Efficient Algorithm to Recognize Prime Undirected Graphs. |
WG |
1992 |
DBLP DOI BibTeX RDF |
substitution decomposition, autonomous subsets, modules, Undirected graphs, prime graphs |
15 | Craig H. Richardson, Ronald W. Schafer |
A Lower Bound for Structuring Element Decompositions. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
morphological structuring elements, lower bound, picture processing, picture processing, optimisation, decomposition |
15 | Imants D. Svalbe |
The Geometry of Basis Sets for Morphologic Closing. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
texture measure, partial images closing, basis sets, morphologic closing, closing shapes, orthogonal closing decomposition, roughness measure, parallel algorithms, parallel algorithms, picture processing, picture processing, Boolean functions, Boolean functions, geometry, geometry, set theory, filtering and prediction theory, formal logic, formal logic, image filtering, logic functions, primitives, minimal representation |
15 | William E. Howden |
Comments Analysis and Programming Errors. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
comments analysis, decomposition errors, data-processing program, avionics real-time program, event sequence analysis, software engineering, fault detection, software development process, software validation, programming errors |
15 | Yair Wand, Ron Weber |
An Ontological Model of an Information System. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
static properties, predictive power, software engineering, information system, decomposition, system, coupling, ontological model, subsystem, dynamic properties |
14 | Belgacem Ben Youssef |
Using surface effect measures to model parallel performance. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
modeling and simulation, parallel performance |
14 | Faisal R. Al-Osaimi, Mohammed Bennamoun, Ajmal S. Mian |
On Decomposing an Unseen 3D Face into Neutral Face and Expression Deformations. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Dániel Marx |
Approximating fractional hypertree width. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Eduardo Montijano, Carlos Sagüés |
Fast pose estimation for visual navigation using homographies. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Cees Witteveen, Wiebe van der Hoek, Nico Roos |
Concurrently Decomposable Constraint Systems. |
MATES |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Robert Schaefer |
A systems analysis of systems integration. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Pauli Miettinen, Taneli Mielikäinen, Aristides Gionis, Gautam Das 0001, Heikki Mannila |
The Discrete Basis Problem. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | M. Jansen |
Stable Edge-Adaptive Multiscale Decompositions Using Updated Normal Offsets. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Leila De Floriani, Laura Papaleo, Nicoló Carissimi |
A Java3D framework for inspecting and segmenting 3D models. |
Web3D |
2008 |
DBLP DOI BibTeX RDF |
shape semantics, X3D, object segmentation, object manipulation, Java3D |
14 | Jintai Ding, John Wagner |
Cryptanalysis of Rational Multivariate Public Key Cryptosystems. |
PQCrypto |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Scarcello, Georg Gottlob, Gianluigi Greco |
Uniform Constraint Satisfaction Problems and Database Theory. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Martin R. Davies, Sangarapillai Lambotharan, Jonathon A. Chambers, John G. McWhirter |
Broadband MIMO Beamforming for Frequency Selective Channels using the Sequential Best Rotation Algorithm. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoqun Wang |
On the approximation error in high dimensional model representation. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Tony Tong Lee |
The Kraft's Inequality of Scheduling for Packet-Switched Clos Networks. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jianchao Yang, Shuicheng Yan, Yun Fu 0001, Xuelong Li 0001, Thomas S. Huang |
Non-negative graph embedding. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Olexiy O. Kyrgyzov, Deniz Erdogmus |
Geometric structure of sum-of-rank-1 decompositions for n-dimensional order-p symmetric tensors. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Martin Fürer, Shiva Prasad Kasiviswanathan |
Approximately Counting Embeddings into Random Graphs. |
APPROX-RANDOM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Böcker, Zsuzsanna Lipták |
A Fast and Simple Algorithm for the Money Changing Problem. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
14 | John Arhin |
On the structure of 1-designs with at most two block intersection numbers. |
Des. Codes Cryptogr. |
2007 |
DBLP DOI BibTeX RDF |
05B25, AMS Classifications 05B05 |
14 | Sandipan Dey, Ajith Abraham, Sugata Sanyal |
An LSB Data Hiding Technique Using Prime Numbers. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Petr Hlinený, Sang-il Oum |
Finding Branch-Decompositions and Rank-Decompositions. |
ESA |
2007 |
DBLP DOI BibTeX RDF |
Rank-width, fixed parameter tractable algorithm, graph, matroid, clique-width, branch-width |
14 | Daniel Singer, Anthony Monnet |
JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Babak Taati, Michael A. Greenspan, Kamal Gupta 0001 |
A Dynamic Load-Balancing Parallel Search for Enumerative Robot Path Planning. |
J. Intell. Robotic Syst. |
2006 |
DBLP DOI BibTeX RDF |
dynamic load sharing, parallel robot path planning |
14 | Chieh-Neng Young, Chen-Wen Yen, Yi-Hua Pao, Mark L. Nagurka |
One-Class-at-a-Time Removal Sequence Planning Method for Multiclass Classification Problems. |
IEEE Trans. Neural Networks |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Michael Drose, Carsten Clemens, Thomas Sikora |
Extending Single-View Scalable Video Coding to Multi-View Based on H.264/AVC. |
ICIP |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jianhui Li, Zhongwu Zhou, Richard J. Sadus |
Parallelization Algorithms for Three-Body Interactions in Molecular Dynamics Simulation. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
|
|
|