|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6402 occurrences of 3536 keywords
|
|
|
Results
Found 12203 publication records. Showing 12203 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
51 | Zhen Li, Alexis Michael Tourapis |
An Estimation-Theoretic Interpretation of Video Rate Distortion Optimization with Lagrangian Formulation. |
DCC |
2008 |
DBLP DOI BibTeX RDF |
Lagrangian formulation, estimation-theoretic formulation, H.264/AVC, Rate distortion optimization |
51 | Chabane Oussalah, Abdelhak Seriai |
How to Reuse Former Queries to Facilitate the Formulation of New Ones. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
users query components, reuse, queries, query formulation, query formulation, query complexity |
47 | Guogen Zhang, Wesley W. Chu, Frank Meng, Gladys Kong |
Query Formulation from High-Level Concepts for Relational Databases. |
UIDIS |
1999 |
DBLP DOI BibTeX RDF |
incremental query formulation, semantic graph search, database query interface, query formulation |
43 | Kuhanandha Mahalingam, Michael N. Huhns |
An Ontology Tool for Query Formulation in an Agent-Based Context. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
ontology tool, agent-based context, distributed information environment, heterogeneous information environment, dynamic information environment, ontology-based distributed information system, healthcare administrators, Internet, software tools, query formulation, query formulation, client-server architecture, Java language |
38 | Paul L. Richman |
Computing a Subinterval of the Image. |
J. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
36 | Richard Smith 0001 |
Concept formulation techniques for new telecommunications services. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
concept formulation techniques, new telecommunications services, team based technique, participation observation questionnaires, business opportunities, development decisions, organization wide innovation systems, interview, management of change, telecommunication services, research and development management, innovation management, longitudinal case study |
32 | G. Rapin, Gert Lube |
A Stabilized Three-field Formulation for Advection-diffusion Equations. |
Computing |
2004 |
DBLP DOI BibTeX RDF |
Nonconforming domain decomposition, advection-diffusion, three-field formulation, Schur complement |
32 | Philippe Refalo |
Linear Formulation of Constraint Programming Models and Hybrid Solvers. |
CP |
2000 |
DBLP DOI BibTeX RDF |
linear formulation, hybrid solvers, global constraints |
30 | Manfred Wamsler |
On the selection of the mode cut-off number in component mode reduction. |
Eng. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Structural dynamics, Component mode reduction, Component mode synthesis, Mixed Guyan and modal reduction, Craig-Bampton method, Direct solution formulation, Modal solution formulation, Mode cut-off number, Cut-off frequency |
30 | Ying Lu, Ee-Peng Lim |
On Integrating Existing Bibliographic Databases and Structured Databases. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
bibliographic systems, structured databases, bibliographic/structured database integration, digital library applications, bibliographic data, SQL model, bibliographic related attributes, bibliographic related queries, specialized predicates, SQL extensions, query language layer, digital library application development, information retrieval, network, query processing, SQL, query languages, libraries, multimedia computing, query formulation, query formulation, data type, information retrieval systems, structured data, multimedia data, specialized functions, database servers, bibliographic databases, text data, library automation |
30 | Hui Liu |
A Visual Interface for Querying a CASE Repository. |
VL |
1995 |
DBLP DOI BibTeX RDF |
Boolean query formulation, CASE repository, visual query paradigm, graphical query representation system, human-computer interaction techniques, CASE-specific query tasks, arbitrary Boolean queries, information retrieval, database, data structures, graphical user interfaces, computer aided software engineering, query formulation, visual user interface |
28 | Yunjiang Lou, Tieniu Chen, Yuanqing Wu 0001, Zhibin Li, Shilong Jiang |
Improved and modified geometric formulation of POE based kinematic calibration of serial robots. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Luis Weruaga, Rafael Verdú, Juan Morales-Sánchez |
Frequency Domain Formulation of Active Parametric Deformable Models. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
Active deformable models, Fast Fourier transform, snakes, frequency domain |
28 | Sina Rezvani, Girijesh Prasad |
A Hybrid System with Multivariate Data Validation and Case Base Reasoning for an Efficient and Realistic Product Formulation. |
ICCBR |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Ji-Young Lim, H. Siegfried Stiehl |
A Generalized Discrete Scale-Space Formulation for 2-D and 3-D Signals. |
Scale-Space |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Changjiu Jin, Sourav S. Bhowmick, Xiaokui Xiao, James Cheng, Byron Choi |
GBLENDER: towards blending visual query formulation and query processing in graph databases. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
infrequent subgraphs, visual query formulation, prefetching, graph databases, frequent subgraphs, graph indexing |
28 | Robert D. Carr, Goran Konjevod, Greg Little, Venkatesh Natarajan, Ojas Parekh |
Compacting cuts: A new linear formulation for minimum cut. |
ACM Trans. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
Linear programming formulation complexity, minimum cut problem |
28 | Swapan K. Pandit |
On the Use of Compact Streamfunction-Velocity Formulation of Steady Navier-Stokes Equations on Geometries beyond Rectangular. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Incompressible viscous flows, Streamfunction-velocity formulation, Compactness, Navier-Stokes equations, Biharmonic equation |
28 | Anna Mastora, Maria Monopoli, Sarantos Kapidakis |
Exploring Query Formulation and Reformulation: A Preliminary Study to Map Users' Search Behaviour. |
ECDL |
2008 |
DBLP DOI BibTeX RDF |
Search patterns, Query reformulation, Query formulation, Query length, Search behaviour |
28 | Michalis Petropoulos, Alin Deutsch, Yannis Papakonstantinou |
Interactive query formulation over web service-accessed sources. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
interactive query formulation, web services, data integration |
28 | Arnon Amir, Marco Berg, Haim H. Permuter |
Mutual relevance feedback for multimodal query formulation in video retrieval. |
Multimedia Information Retrieval |
2005 |
DBLP DOI BibTeX RDF |
NIST TRECVID, multimodal search, multimedia, relevance feedback, video retrieval, query formulation, query refinement |
28 | Henar Herrero, Sergio Hoyas, Alberto Donoso, Ana M. Mancho, Jesús Miguel Chacón, R. F. Portugués, B. Yeste |
Chebyshev Collocation for a Convective Problem in Primitive Variable Formulation. |
J. Sci. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Chebyshev collocation, thermal convection, primitive variables formulation, pressure boundary conditions |
27 | Kai Yang 0001, Xiaodong Wang 0001, Jon Feldman |
A New Linear Programming Approach to Decoding Linear Block Codes. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Liang Sun 0001, Shuiwang Ji, Jieping Ye |
Hypergraph spectral learning for multi-label classification. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
spectral learning, efficiency, regularization, least squares, hypergraph, multi-label classification, canonical correlation analysis |
27 | Jason Cong, Kirill Minkovich |
Improved SAT-based Boolean matching using implicants for LUT-based FPGAs. |
FPGA |
2007 |
DBLP DOI BibTeX RDF |
logic synthesis, SAT, implicant, boolean matching, FPGA lookup table |
27 | Ho Ki Fung, S. Rao, Christodoulos A. Floudas, Oleg A. Prokopyev, Panos M. Pardalos, Franz Rendl |
Computational Comparison Studies of Quadratic Assignment Like Formulations for the In Silico Sequence Selection Problem in De Novo Protein Design. |
J. Comb. Optim. |
2005 |
DBLP DOI BibTeX RDF |
peptide and protein design and discovery, in silico sequence selection, de novo protein design, optimization, drug design, structure prediction |
27 | C. Lees, Anna Bodi |
Cognition as a source of selection pressure in the evolution of computer support systems for executives. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Mathieu Van Vyve, Laurence A. Wolsey |
Approximate extended formulations. |
Math. Program. |
2006 |
DBLP DOI BibTeX RDF |
Extended formulation, Approximation, Traveling salesman problem, Convex hull, Mixed integer programming, Lot-sizing |
27 | Arthur D. Chtcherba, Deepak Kapur |
Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
dialytic method, dixon resultant formulation, support hull, support-hull interior point, sylvester-type matrices, support, resultant, variable ordering |
27 | Robert Michael Owens, Raminder Singh Bajwa, Mary Jane Irwin |
Reducing the number of counters needed for integer multiplication. |
IEEE Symposium on Computer Arithmetic |
1995 |
DBLP DOI BibTeX RDF |
counting circuits, reasonably small integers, partial product accumulation, aperiodic convolution, convolution algorithms, partial product formulation, fairly large integers, digital arithmetic, multiplying circuits, counters, integer multiplication |
24 | Antonio Garrido 0002, Marlene Arangú, Eva Onaindia |
A constraint programming formulation for planning: from plan scheduling to plan generation. |
J. Sched. |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Integration, Constraints, Planning, Constraint programming |
24 | Robert M. Gray |
A Lagrangian formulation of fixed-rate quantization. |
DCC |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Chunming Li, Chenyang Xu 0001, Changfeng Gui, Martin D. Fox |
Level Set Evolution without Re-Initialization: A New Variational Formulation. |
CVPR (1) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Daniel G. Brown 0001, Ian M. Harrower |
A New Integer Programming Formulation for the Pure Parsimony Problem in Haplotype Analysis. |
WABI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Sethavidh Gertphol, Viktor K. Prasanna |
MIP Formulation for Robust Resource Allocation in Dynamic Real-Time Systems. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
resource allocation, robust, mixed integer programming, linearization, dynamic real-time systems |
24 | Arthur D. Chtcherba, Deepak Kapur |
Conditions for exact resultants using the Dixon formulation. |
ISSAC |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Amir A. Amini |
A Scalar Function Formulation for Optical Flow. |
ECCV (1) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Michalis Petropoulos, Alin Deutsch, Yannis Papakonstantinou |
CLIDE: interactive query formulation for service oriented architectures. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
interactive query formulation, query capabilities, web services, query rewriting |
24 | Eduard Hoenkamp, Gijs van Dinther |
Live visual relevance feedback for query formulation. |
SIGIR |
2005 |
DBLP DOI BibTeX RDF |
visualization, real-time, query formulation |
24 | Y.-C. Shen, Piero P. Bonissone, L. J. Feeser |
Conceptual Modeling for Design Formulation. |
Eng. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Design formulation, Preliminary design, Fuzzy logic, Uncertainty, T-norms, Conceptual structure |
24 | Vipin Kumar 0001, Shashi Shekhar, Minesh B. Amin |
A Scalable Parallel Formulation of the Backpropagation Algorithm for Hypercubes and Related Architectures. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
scalable parallel formulation, network partitioning scheme, checkerboarding, all-to-all broadcastoperation, vertical network partitioning scheme, pattern partitioning technique, hybridscheme, nCUBE, CM5, nonuniform networks, uniform networks, neural networks, performance evaluation, parallel algorithms, parallel architectures, hypercubes, neural nets, hypercube networks, backpropagation, backpropagation algorithm, parallelmachines |
23 | Steffen Rebennack, Artyom G. Nahapetyan, Panos M. Pardalos |
Bilinear modeling solution approach for fixed charge network flow problems. |
Optim. Lett. |
2009 |
DBLP DOI BibTeX RDF |
Fixed charge network flow problem, Exact formulation, Bilinear modeling, Concave minimization |
23 | Kamran Munir, Mohammed Odeh, Richard McClatchey |
Managing the mappings between domain ontologies and database schemas when formulating relational queries. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
domain metadata, relational databases, query formulation, domain ontology |
23 | Laleh Haerian Ardekani, Tiru S. Arthanari |
Traveling Salesman Problem and Membership in Pedigree Polytope - A Numerical Illustration. |
MCO |
2008 |
DBLP DOI BibTeX RDF |
Pedigree polytope, Multistage insertion formulation, Membership problem, Combinatorial optimization, Traveling salesman problem |
23 | Eric Zavesky, Shih-Fu Chang |
CuZero: embracing the frontier of interactive visual search for informed users. |
Multimedia Information Retrieval |
2008 |
DBLP DOI BibTeX RDF |
cuzero, interactive video search & retrieval, result visualization, query formulation, semantic concepts |
23 | Mathieu Van Vyve |
Linear-programming extended formulations for the single-item lot-sizing problem with backlogging and constant capacity. |
Math. Program. |
2006 |
DBLP DOI BibTeX RDF |
Constant capacity, Backlogging, Extended formulation, Lot-sizing |
23 | Marc I. Gerritsma |
Direct Minimization of the Discontinuous Least-Squares Spectral Element Method for Viscoelastic Fluids. |
J. Sci. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Viscoelastic flows, discontinuous least squares formulation, direct minimization, LSQR, spectral element method |
23 | Shekhar Srivastava, Deep Medhi |
Traffic engineering of tunnel-based networks with class specific diversity requirements. |
J. Comb. Optim. |
2006 |
DBLP DOI BibTeX RDF |
Diversity constraint, Tunnel-based networks, Optimization formulation, Lagrangian decomposition algorithm |
23 | Robert P. Bosch Jr., Michael A. Trick |
Constraint Programming and Hybrid Formulations for Three Life Designs. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
hybrid formulation, cellular automata, integer programming, constraint programming, game of Life |
23 | Ahmad Aljamali, Ebad Banissi |
Normalisation and Exploration Design Method of Islamic Geometric Patterns. |
GMAG |
2003 |
DBLP DOI BibTeX RDF |
Sub-Motif Grid, Normalisation, Formulation |
23 | Yin-He Su, Ching-Hwa Cheng, Shih-Chieh Chang |
Novel techniques for improving testability analysis. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
closed-form formulation, implication reasoning, TAIR, tree-structured circuit, logic testing, logic testing, controllability, controllability, built-in self test, automatic test pattern generation, BIST, observability, observability, stuck-at fault, shift registers, testability analysis, test patterns |
23 | Nikos Paragios, Rachid Deriche |
Detecting Multiple Moving Targets Using Deformable Contours. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
multiple moving targets detection, inter-frame difference, energy minimization approach, motion detection problem, front propagation problem, level set formulation, narrow band technique, CPU time reduction, multi-scale approach, real video sequences, image sequences, image sequences, experimental results, statistical approach, geodesic active contours, deformable contours, computational cost reduction, Laplacian distributions |
23 | Arun Balakrishnan, Srimat T. Chakradhar |
Partial scan design for technology mapped circuits. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
technology mapped circuits, scan flip-flops selection, multiple memory elements, library block, integer linear program formulation, production VLSI circuits, VLSI, graph theory, linear programming, design for testability, integer programming, logic design, logic CAD, VLSI design, flip-flops, integrated circuit design, circuit CAD, integrated logic circuits, functional specifications, partial scan design |
23 | Yuyan Wu, S. Sitharama Iyengar, Ramesh C. Jain, Santanu Bose |
A New Generalized Computational Framework for Finding Object Orientation Using Perspective Trihedral Angle Constraint. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
generalized computational framework, perspective trihedral angle constraint, three-dimensional 3D object, single perspective image view, Kanatani's formulation, general analytic technique, shape from inverse perspective projection, angle to angle correspondence information, computer vision, object orientation, noise, closed form solution, simulation experiments, synthetic data, noisy environment |
23 | Kim L. Boyer, Sudeep Sarkar |
"On the localization performance measure and optimal edge detection". |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
localization performance measure, Canny's formulation, optimal edge detection, edge detection |
23 | Jitendra Malik, Dror E. Maydan |
Recovering Three-Dimensional Shape from a Single Image of Curved Objects. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1989 |
DBLP DOI BibTeX RDF |
3D shape recover, curved objects, Lambertian surfaces, point light source, shading constraints, Horn's image irradiance equation, pattern recognition, pattern recognition, image segmentation, picture processing, picture processing, edge, line drawing, global constraints, surface orientation, variational techniques, reflectance map, variational formulation, single image |
21 | Ryo Kikuuwe, Hiroaki Tabuchi, Motoji Yamamoto |
An edge-based computationally efficient formulation of Saint Venant-Kirchhoff tetrahedral finite elements. |
ACM Trans. Graph. |
2009 |
DBLP DOI BibTeX RDF |
Green-Lagrange strain, Saint Venant-Kirchhoff material, Simulation, interactive, haptics, deformation, finite element |
21 | Zhou Yong, Sourav S. Bhowmick, Erwin Leonardi, Klarinda G. Widjanarko |
XBLEND: Visual XML Query Formulation Meets Query Processing. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Pablo Vanegas, Dirk Cattrysse, Jos Van Orshoven |
Compactness and Flow Minimization Requirements in Reforestation Initiatives: An Integer Programming (IP) Formulation. |
ICCSA (1) |
2009 |
DBLP DOI BibTeX RDF |
Site Location, Site Allocation, Flow Minimization, Integer Programming, Exact Methods |
21 | Liang Sun 0001, Shuiwang Ji, Jieping Ye |
A least squares formulation for a class of generalized eigenvalue problems in machine learning. |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Baldacci, Nicos Christofides, Aristide Mingozzi |
An exact algorithm for the vehicle routing problem based on the set partitioning formulation with additional cuts. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C27, 90C39, 49M29 |
21 | Farhad Aghili |
A gauge-invariant formulation for constrained robotic systems using square-root factorization and unitary transformation. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Markus Chimani, Maria Kandyba, Petra Mutzel |
A New ILP Formulation for 2-Root-Connected Prize-Collecting Steiner Networks. |
ESA |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Santosh G. Nagarakatte, R. Govindarajan |
Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | J. Saketha Nath, Chiranjib Bhattacharyya, M. Narasimha Murty |
Clustering based large margin classification: a scalable approach using SOCP formulation. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
BIRCH, large margin classification, scalability, Gaussian mixture models |
21 | Imran A. Zualkernan, Leland Blank, Jamal Abdalla, Abdul-Rahman Al-Ali, Hasan Al-Nashash, Hany El Kadi, Rana Ahmed, Ghassan Z. Qadah |
Using Future Search Conference for e-Learning Strategy Formulation in Higher Education. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Alzate, Johan A. K. Suykens |
A Weighted Kernel PCA Formulation with Out-of-Sample Extensions for Spectral Clustering Methods. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Oded Berman, Dmitry Krass |
An Improved IP Formulation for the Uncapacitated Facility Location Problem: Capitalizing on Objective Function Structure. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
Facility Location Models, integer programming, cover problems |
21 | Sing-Hoi Sze, Yue Lu, Qingwu Yang |
A Polynomial Time Solvable Formulation of Multiple Sequence Alignment. |
RECOMB |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Aysegül Uçar, Yakup Demir, Cüneyt Güzelis |
A New Formulation for Classification by Ellipsoids. |
TAINN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kedar S. Namjoshi |
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Luis Eduardo Neves Gouveia, João Telhada |
An Augmented Arborescence Formulation for the Two-Level Network Design Problem. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
spanning trees and steiner trees, multicommodity flow models, network design, linear programming relaxations |
21 | Chandra Chekuri, Sanjeev Khanna, Joseph Naor, Leonid Zosin |
Approximation algorithms for the metric labeling problem via a new linear programming formulation. |
SODA |
2001 |
DBLP BibTeX RDF |
|
21 | Stefania Bandini, Sara Manzoni |
CBR Adaptation for Chemical Formulation. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
|
21 | João José Neto |
Adaptive Rule-Driven Devices - General Formulation and Case Study. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
adaptive devices, rule-driven formalisms, self-modifying machines, adaptive decision tables, adaptive automata |
21 | Chabane Oussalah, Abdelhak Seriai |
A Reuse-Based Object-Oriented Framework Towards Easy Formulation of Complex Queries. |
ER |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Junfeng Wang 0005, Johannes Tausch, Jacob K. White 0001 |
A wide frequency range surface integral formulation for 3-D RLC extraction. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
FastHenry, PEEC, impedance extraction, surface integral equation, electromagnetics |
21 | Abdelhak Seriai, Mourad Oussalah 0001 |
Query Reification Based Approach for Object-Oriented Query Formulation Aid. |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Dario D'Amore, Paolo Maffezzoni |
A new diode model formulation for electro-thermal analysis. |
ISCAS (6) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | N. E. Doren, Charles V. Jakowatz Jr., Daniel E. Wahl, Paul A. Thompson |
General Formulation for Wavefront Curvature Correction in Polar-Formatted Spotlight-Mode SAR Images Using Space-Variant Post-Filtering. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
wavefront curvature correction, polar-formatted spotlight-mode SAR images, space-variant post-filtering, polar-formatting algorithm, image domain space-variant filter, SAR collection modes, close range imaging, low center frequency, squinted collection mode, broadside modes, squint-mode images, range migration technique, seismic migration, frequency domain replication, computer simulation results, space-variant restoration, algorithms, synthetic aperture radar, post-processing |
21 | Gilles Dowek |
Proof Normalization for a First-Order Formulation of Higher-Order Logic. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre E. Eichenberger, Edward S. Davidson |
Efficient Formulation for Optimal Modulo Schedulers. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Farhad Aghili |
Dynamics and control of constrained mechanical systems in terms of reduced quasi-velocities. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mihai Anitescu, Paul Tseng, Stephen J. Wright 0001 |
Elastic-mode algorithms for mathematical programs with equilibrium constraints: global convergence and stationarity properties. |
Math. Program. |
2007 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications 49M30, 90C30, 65K05, 90C33, 49M37 |
19 | Sebastião C. Pereira, Ulisses T. Mello, Nelson F. F. Ebecken, Rafi L. Muhanna |
Uncertainty in Thermal Basin Modeling: An Interval Finite Element Approach. |
Reliab. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Kojiro Kobayashi, Darin Goldstein |
On Formulations of Firing Squad Synchronization Problems. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Brian Holland, Karthik Nagarajan, Alan D. George |
RAT: RC Amenability Test for Rapid Performance Prediction. |
ACM Trans. Reconfigurable Technol. Syst. |
2009 |
DBLP DOI BibTeX RDF |
formulation methodology, strategic design methodology, FPGA, reconfigurable computing, performance prediction |
19 | Allison Druin, Elizabeth Foss, Leshell Hatley, Evan Golub, Mona Leigh Guha, Jerry Alan Fails, Hilary Browne Hutchinson |
How children search the internet with keyword interfaces. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
internet, search, search engine, children, typing, query formulation, search results |
19 | Chun-Hao Teng, Bang-Yan Lin, Hung-Chun Chang, Hei-Chen Hsu, Chien-Nan Lin, Ko-An Feng |
A Legendre Pseudospectral Penalty Scheme for Solving Time-Domain Maxwell's Equations. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Spectral/pseudospectral penalty methods, Multidomain formulation, Maxwell’s equations |
19 | Saurabh Ganeriwal, Laura Balzano, Mani B. Srivastava |
Reputation-based framework for high integrity sensor networks. |
ACM Trans. Sens. Networks |
2008 |
DBLP DOI BibTeX RDF |
Bayesian formulation, Beta reputation system, Sensor networks, reputation |
19 | Teppei Nakano |
Flexible shortcuts: designing a new speech user interface for command execution. |
CHI Extended Abstracts |
2008 |
DBLP DOI BibTeX RDF |
continuous keyword input, functional structure, probabilistic formulation, time-achievement graph, speech user interface |
19 | XiuTeng Ma, Li-Ping Chen, Yun-Qing Zhang |
RATTLE Method for Dissipative Constrained Hamiltonian Systems. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
Hamiltonian formulation, Dissipative constrained systems, Differential algebraic equations (DAEs), RATTLE method, Symplectic |
19 | Ko-An Feng, Chun-Hao Teng, Min-Hung Chen |
A Pseudospectral Penalty Scheme for 2D Isotropic Elastic Wave Computations. |
J. Sci. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Pseudospectral penalty methods, Multidomain schemes, Elastic waves, Velocity-stress formulation |
19 | Maosong Huang, Ming Liu, O. C. Zienkiewicz |
Stabilized Procedures for Finite Element Analysis in Saturated Soils Under Cyclic Loading. |
International Conference on Computational Science (3) |
2007 |
DBLP DOI BibTeX RDF |
Saturated soils, Cyclic loading, u-p formulation, Incompressible behavior, Stabilization procedures |
19 | Michael Smullen, Colm O'Riordan |
An attempt to enhance performance in user session based information retrieval. |
Artif. Intell. Rev. |
2006 |
DBLP DOI BibTeX RDF |
Query re-formulation, Information retrieval, Context |
19 | Min Li, Christopher J. Hogger |
A Generic Constraints-Based Framework for Business Modeling. |
TEAA |
2006 |
DBLP DOI BibTeX RDF |
logical constraints, business concepts formulation, business modeling |
19 | Ümit Y. Ogras, Jingcao Hu, Radu Marculescu |
Key research problems in NoC design: a holistic perspective. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
Networks-on-Chip motivation, problem formulation, proposed solutions and open research problems, systems-on-chip, multi-processor systems |
19 | Julia Coleman Prior, Raymond Lister |
The backwash effect on SQL skills grading. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
SQL query formulation, learning approaches, online examination, databases, SQL |
19 | Saurabh Ganeriwal, Mani B. Srivastava |
Reputation-based framework for high integrity sensor networks. |
SASN |
2004 |
DBLP DOI BibTeX RDF |
bayesian formulation, security, sensor networks, cryptography, trust, framework, reputation |
19 | Johannes Elschner, Rainer Hinder, Gunther Schmidt 0002 |
Finite Element Solution of Conical Diffraction Problems. |
Adv. Comput. Math. |
2002 |
DBLP DOI BibTeX RDF |
conical diffraction, system of Helmholtz equations, transmission problem, strongly elliptic variational formulation, finite element solution |
Displaying result #1 - #100 of 12203 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|