The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for formulation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1936-1966 (15) 1967-1970 (18) 1971-1974 (21) 1975-1977 (19) 1978-1979 (18) 1980-1981 (23) 1982-1983 (16) 1984-1985 (29) 1986 (20) 1987 (38) 1988 (48) 1989 (48) 1990 (56) 1991 (71) 1992 (73) 1993 (76) 1994 (128) 1995 (141) 1996 (129) 1997 (166) 1998 (155) 1999 (225) 2000 (280) 2001 (324) 2002 (371) 2003 (482) 2004 (638) 2005 (763) 2006 (877) 2007 (953) 2008 (1067) 2009 (636) 2010 (254) 2011 (201) 2012 (209) 2013 (253) 2014 (245) 2015 (270) 2016 (252) 2017 (285) 2018 (304) 2019 (336) 2020 (383) 2021 (409) 2022 (408) 2023 (367) 2024 (103)
Publication types (Num. hits)
article(5762) book(4) incollection(78) inproceedings(6296) phdthesis(63)
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
51Zhen Li, Alexis Michael Tourapis An Estimation-Theoretic Interpretation of Video Rate Distortion Optimization with Lagrangian Formulation. Search on Bibsonomy DCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lagrangian formulation, estimation-theoretic formulation, H.264/AVC, Rate distortion optimization
51Chabane Oussalah, Abdelhak Seriai How to Reuse Former Queries to Facilitate the Formulation of New Ones. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF users query components, reuse, queries, query formulation, query formulation, query complexity
47Guogen Zhang, Wesley W. Chu, Frank Meng, Gladys Kong Query Formulation from High-Level Concepts for Relational Databases. Search on Bibsonomy UIDIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF incremental query formulation, semantic graph search, database query interface, query formulation
43Kuhanandha Mahalingam, Michael N. Huhns An Ontology Tool for Query Formulation in an Agent-Based Context. Search on Bibsonomy CoopIS The full citation details ... 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
38Paul L. Richman Computing a Subinterval of the Image. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
36Richard Smith 0001 Concept formulation techniques for new telecommunications services. Search on Bibsonomy HICSS (3) The full citation details ... 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
32G. Rapin, Gert Lube A Stabilized Three-field Formulation for Advection-diffusion Equations. Search on Bibsonomy Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Nonconforming domain decomposition, advection-diffusion, three-field formulation, Schur complement
32Philippe Refalo Linear Formulation of Constraint Programming Models and Hybrid Solvers. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF linear formulation, hybrid solvers, global constraints
30Manfred Wamsler On the selection of the mode cut-off number in component mode reduction. Search on Bibsonomy Eng. Comput. The full citation details ... 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
30Ying Lu, Ee-Peng Lim On Integrating Existing Bibliographic Databases and Structured Databases. Search on Bibsonomy COMPSAC The full citation details ... 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
30Hui Liu A Visual Interface for Querying a CASE Repository. Search on Bibsonomy VL The full citation details ... 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
28Yunjiang Lou, Tieniu Chen, Yuanqing Wu 0001, Zhibin Li, Shilong Jiang Improved and modified geometric formulation of POE based kinematic calibration of serial robots. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Luis Weruaga, Rafael Verdú, Juan Morales-Sánchez Frequency Domain Formulation of Active Parametric Deformable Models. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Active deformable models, Fast Fourier transform, snakes, frequency domain
28Sina Rezvani, Girijesh Prasad A Hybrid System with Multivariate Data Validation and Case Base Reasoning for an Efficient and Realistic Product Formulation. Search on Bibsonomy ICCBR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Ji-Young Lim, H. Siegfried Stiehl A Generalized Discrete Scale-Space Formulation for 2-D and 3-D Signals. Search on Bibsonomy Scale-Space The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Changjiu Jin, Sourav S. Bhowmick, Xiaokui Xiao, James Cheng, Byron Choi GBLENDER: towards blending visual query formulation and query processing in graph databases. Search on Bibsonomy SIGMOD Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF infrequent subgraphs, visual query formulation, prefetching, graph databases, frequent subgraphs, graph indexing
28Robert D. Carr, Goran Konjevod, Greg Little, Venkatesh Natarajan, Ojas Parekh Compacting cuts: A new linear formulation for minimum cut. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Linear programming formulation complexity, minimum cut problem
28Swapan K. Pandit On the Use of Compact Streamfunction-Velocity Formulation of Steady Navier-Stokes Equations on Geometries beyond Rectangular. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Incompressible viscous flows, Streamfunction-velocity formulation, Compactness, Navier-Stokes equations, Biharmonic equation
28Anna Mastora, Maria Monopoli, Sarantos Kapidakis Exploring Query Formulation and Reformulation: A Preliminary Study to Map Users' Search Behaviour. Search on Bibsonomy ECDL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Search patterns, Query reformulation, Query formulation, Query length, Search behaviour
28Michalis Petropoulos, Alin Deutsch, Yannis Papakonstantinou Interactive query formulation over web service-accessed sources. Search on Bibsonomy SIGMOD Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interactive query formulation, web services, data integration
28Arnon Amir, Marco Berg, Haim H. Permuter Mutual relevance feedback for multimodal query formulation in video retrieval. Search on Bibsonomy Multimedia Information Retrieval The full citation details ... 2005 DBLP  DOI  BibTeX  RDF NIST TRECVID, multimodal search, multimedia, relevance feedback, video retrieval, query formulation, query refinement
28Henar 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. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Chebyshev collocation, thermal convection, primitive variables formulation, pressure boundary conditions
27Kai Yang 0001, Xiaodong Wang 0001, Jon Feldman A New Linear Programming Approach to Decoding Linear Block Codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Liang Sun 0001, Shuiwang Ji, Jieping Ye Hypergraph spectral learning for multi-label classification. Search on Bibsonomy KDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF spectral learning, efficiency, regularization, least squares, hypergraph, multi-label classification, canonical correlation analysis
27Jason Cong, Kirill Minkovich Improved SAT-based Boolean matching using implicants for LUT-based FPGAs. Search on Bibsonomy FPGA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic synthesis, SAT, implicant, boolean matching, FPGA lookup table
27Ho 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. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF peptide and protein design and discovery, in silico sequence selection, de novo protein design, optimization, drug design, structure prediction
27C. Lees, Anna Bodi Cognition as a source of selection pressure in the evolution of computer support systems for executives. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Mathieu Van Vyve, Laurence A. Wolsey Approximate extended formulations. Search on Bibsonomy Math. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Extended formulation, Approximation, Traveling salesman problem, Convex hull, Mixed integer programming, Lot-sizing
27Arthur D. Chtcherba, Deepak Kapur Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system. Search on Bibsonomy ISSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dialytic method, dixon resultant formulation, support hull, support-hull interior point, sylvester-type matrices, support, resultant, variable ordering
27Robert Michael Owens, Raminder Singh Bajwa, Mary Jane Irwin Reducing the number of counters needed for integer multiplication. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 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
24Antonio Garrido 0002, Marlene Arangú, Eva Onaindia A constraint programming formulation for planning: from plan scheduling to plan generation. Search on Bibsonomy J. Sched. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Scheduling, Integration, Constraints, Planning, Constraint programming
24Robert M. Gray A Lagrangian formulation of fixed-rate quantization. Search on Bibsonomy DCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Chunming Li, Chenyang Xu 0001, Changfeng Gui, Martin D. Fox Level Set Evolution without Re-Initialization: A New Variational Formulation. Search on Bibsonomy CVPR (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Daniel G. Brown 0001, Ian M. Harrower A New Integer Programming Formulation for the Pure Parsimony Problem in Haplotype Analysis. Search on Bibsonomy WABI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Sethavidh Gertphol, Viktor K. Prasanna MIP Formulation for Robust Resource Allocation in Dynamic Real-Time Systems. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF resource allocation, robust, mixed integer programming, linearization, dynamic real-time systems
24Arthur D. Chtcherba, Deepak Kapur Conditions for exact resultants using the Dixon formulation. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Amir A. Amini A Scalar Function Formulation for Optical Flow. Search on Bibsonomy ECCV (1) The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Michalis Petropoulos, Alin Deutsch, Yannis Papakonstantinou CLIDE: interactive query formulation for service oriented architectures. Search on Bibsonomy SIGMOD Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interactive query formulation, query capabilities, web services, query rewriting
24Eduard Hoenkamp, Gijs van Dinther Live visual relevance feedback for query formulation. Search on Bibsonomy SIGIR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF visualization, real-time, query formulation
24Y.-C. Shen, Piero P. Bonissone, L. J. Feeser Conceptual Modeling for Design Formulation. Search on Bibsonomy Eng. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Design formulation, Preliminary design, Fuzzy logic, Uncertainty, T-norms, Conceptual structure
24Vipin Kumar 0001, Shashi Shekhar, Minesh B. Amin A Scalable Parallel Formulation of the Backpropagation Algorithm for Hypercubes and Related Architectures. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
23Steffen Rebennack, Artyom G. Nahapetyan, Panos M. Pardalos Bilinear modeling solution approach for fixed charge network flow problems. Search on Bibsonomy Optim. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fixed charge network flow problem, Exact formulation, Bilinear modeling, Concave minimization
23Kamran Munir, Mohammed Odeh, Richard McClatchey Managing the mappings between domain ontologies and database schemas when formulating relational queries. Search on Bibsonomy IDEAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF domain metadata, relational databases, query formulation, domain ontology
23Laleh Haerian Ardekani, Tiru S. Arthanari Traveling Salesman Problem and Membership in Pedigree Polytope - A Numerical Illustration. Search on Bibsonomy MCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Pedigree polytope, Multistage insertion formulation, Membership problem, Combinatorial optimization, Traveling salesman problem
23Eric Zavesky, Shih-Fu Chang CuZero: embracing the frontier of interactive visual search for informed users. Search on Bibsonomy Multimedia Information Retrieval The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cuzero, interactive video search & retrieval, result visualization, query formulation, semantic concepts
23Mathieu Van Vyve Linear-programming extended formulations for the single-item lot-sizing problem with backlogging and constant capacity. Search on Bibsonomy Math. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Constant capacity, Backlogging, Extended formulation, Lot-sizing
23Marc I. Gerritsma Direct Minimization of the Discontinuous Least-Squares Spectral Element Method for Viscoelastic Fluids. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Viscoelastic flows, discontinuous least squares formulation, direct minimization, LSQR, spectral element method
23Shekhar Srivastava, Deep Medhi Traffic engineering of tunnel-based networks with class specific diversity requirements. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Diversity constraint, Tunnel-based networks, Optimization formulation, Lagrangian decomposition algorithm
23Robert P. Bosch Jr., Michael A. Trick Constraint Programming and Hybrid Formulations for Three Life Designs. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hybrid formulation, cellular automata, integer programming, constraint programming, game of Life
23Ahmad Aljamali, Ebad Banissi Normalisation and Exploration Design Method of Islamic Geometric Patterns. Search on Bibsonomy GMAG The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Sub-Motif Grid, Normalisation, Formulation
23Yin-He Su, Ching-Hwa Cheng, Shih-Chieh Chang Novel techniques for improving testability analysis. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
23Nikos Paragios, Rachid Deriche Detecting Multiple Moving Targets Using Deformable Contours. Search on Bibsonomy ICIP (2) The full citation details ... 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
23Arun Balakrishnan, Srimat T. Chakradhar Partial scan design for technology mapped circuits. Search on Bibsonomy VLSI Design The full citation details ... 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
23Yuyan Wu, S. Sitharama Iyengar, Ramesh C. Jain, Santanu Bose A New Generalized Computational Framework for Finding Object Orientation Using Perspective Trihedral Angle Constraint. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
23Kim L. Boyer, Sudeep Sarkar "On the localization performance measure and optimal edge detection". Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF localization performance measure, Canny's formulation, optimal edge detection, edge detection
23Jitendra Malik, Dror E. Maydan Recovering Three-Dimensional Shape from a Single Image of Curved Objects. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
21Ryo Kikuuwe, Hiroaki Tabuchi, Motoji Yamamoto An edge-based computationally efficient formulation of Saint Venant-Kirchhoff tetrahedral finite elements. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Green-Lagrange strain, Saint Venant-Kirchhoff material, Simulation, interactive, haptics, deformation, finite element
21Zhou Yong, Sourav S. Bhowmick, Erwin Leonardi, Klarinda G. Widjanarko XBLEND: Visual XML Query Formulation Meets Query Processing. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Pablo Vanegas, Dirk Cattrysse, Jos Van Orshoven Compactness and Flow Minimization Requirements in Reforestation Initiatives: An Integer Programming (IP) Formulation. Search on Bibsonomy ICCSA (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Site Location, Site Allocation, Flow Minimization, Integer Programming, Exact Methods
21Liang Sun 0001, Shuiwang Ji, Jieping Ye A least squares formulation for a class of generalized eigenvalue problems in machine learning. Search on Bibsonomy ICML The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Roberto Baldacci, Nicos Christofides, Aristide Mingozzi An exact algorithm for the vehicle routing problem based on the set partitioning formulation with additional cuts. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C27, 90C39, 49M29
21Farhad Aghili A gauge-invariant formulation for constrained robotic systems using square-root factorization and unitary transformation. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Markus Chimani, Maria Kandyba, Petra Mutzel A New ILP Formulation for 2-Root-Connected Prize-Collecting Steiner Networks. Search on Bibsonomy ESA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Santosh G. Nagarakatte, R. Govindarajan Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. Search on Bibsonomy CC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21J. Saketha Nath, Chiranjib Bhattacharyya, M. Narasimha Murty Clustering based large margin classification: a scalable approach using SOCP formulation. Search on Bibsonomy KDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF BIRCH, large margin classification, scalability, Gaussian mixture models
21Imran 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. Search on Bibsonomy ICALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Carlos Alzate, Johan A. K. Suykens A Weighted Kernel PCA Formulation with Out-of-Sample Extensions for Spectral Clustering Methods. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Oded Berman, Dmitry Krass An Improved IP Formulation for the Uncapacitated Facility Location Problem: Capitalizing on Objective Function Structure. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Facility Location Models, integer programming, cover problems
21Sing-Hoi Sze, Yue Lu, Qingwu Yang A Polynomial Time Solvable Formulation of Multiple Sequence Alignment. Search on Bibsonomy RECOMB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Aysegül Uçar, Yakup Demir, Cüneyt Güzelis A New Formulation for Classification by Ellipsoids. Search on Bibsonomy TAINN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Kedar S. Namjoshi An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Luis Eduardo Neves Gouveia, João Telhada An Augmented Arborescence Formulation for the Two-Level Network Design Problem. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF spanning trees and steiner trees, multicommodity flow models, network design, linear programming relaxations
21Chandra Chekuri, Sanjeev Khanna, Joseph Naor, Leonid Zosin Approximation algorithms for the metric labeling problem via a new linear programming formulation. Search on Bibsonomy SODA The full citation details ... 2001 DBLP  BibTeX  RDF
21Stefania Bandini, Sara Manzoni CBR Adaptation for Chemical Formulation. Search on Bibsonomy ICCBR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21João José Neto Adaptive Rule-Driven Devices - General Formulation and Case Study. Search on Bibsonomy CIAA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF adaptive devices, rule-driven formalisms, self-modifying machines, adaptive decision tables, adaptive automata
21Chabane Oussalah, Abdelhak Seriai A Reuse-Based Object-Oriented Framework Towards Easy Formulation of Complex Queries. Search on Bibsonomy ER The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Junfeng Wang 0005, Johannes Tausch, Jacob K. White 0001 A wide frequency range surface integral formulation for 3-D RLC extraction. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF FastHenry, PEEC, impedance extraction, surface integral equation, electromagnetics
21Abdelhak Seriai, Mourad Oussalah 0001 Query Reification Based Approach for Object-Oriented Query Formulation Aid. Search on Bibsonomy ICTAI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Dario D'Amore, Paolo Maffezzoni A new diode model formulation for electro-thermal analysis. Search on Bibsonomy ISCAS (6) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21N. 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. Search on Bibsonomy ICIP (1) The full citation details ... 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
21Gilles Dowek Proof Normalization for a First-Order Formulation of Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Alexandre E. Eichenberger, Edward S. Davidson Efficient Formulation for Optimal Modulo Schedulers. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Farhad Aghili Dynamics and control of constrained mechanical systems in terms of reduced quasi-velocities. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Mihai Anitescu, Paul Tseng, Stephen J. Wright 0001 Elastic-mode algorithms for mathematical programs with equilibrium constraints: global convergence and stationarity properties. Search on Bibsonomy Math. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AMS Subject Classifications 49M30, 90C30, 65K05, 90C33, 49M37
19Sebastião C. Pereira, Ulisses T. Mello, Nelson F. F. Ebecken, Rafi L. Muhanna Uncertainty in Thermal Basin Modeling: An Interval Finite Element Approach. Search on Bibsonomy Reliab. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Kojiro Kobayashi, Darin Goldstein On Formulations of Firing Squad Synchronization Problems. Search on Bibsonomy UC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Brian Holland, Karthik Nagarajan, Alan D. George RAT: RC Amenability Test for Rapid Performance Prediction. Search on Bibsonomy ACM Trans. Reconfigurable Technol. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formulation methodology, strategic design methodology, FPGA, reconfigurable computing, performance prediction
19Allison Druin, Elizabeth Foss, Leshell Hatley, Evan Golub, Mona Leigh Guha, Jerry Alan Fails, Hilary Browne Hutchinson How children search the internet with keyword interfaces. Search on Bibsonomy IDC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF internet, search, search engine, children, typing, query formulation, search results
19Chun-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. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Spectral/pseudospectral penalty methods, Multidomain formulation, Maxwell’s equations
19Saurabh Ganeriwal, Laura Balzano, Mani B. Srivastava Reputation-based framework for high integrity sensor networks. Search on Bibsonomy ACM Trans. Sens. Networks The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bayesian formulation, Beta reputation system, Sensor networks, reputation
19Teppei Nakano Flexible shortcuts: designing a new speech user interface for command execution. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF continuous keyword input, functional structure, probabilistic formulation, time-achievement graph, speech user interface
19XiuTeng Ma, Li-Ping Chen, Yun-Qing Zhang RATTLE Method for Dissipative Constrained Hamiltonian Systems. Search on Bibsonomy ICIRA (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hamiltonian formulation, Dissipative constrained systems, Differential algebraic equations (DAEs), RATTLE method, Symplectic
19Ko-An Feng, Chun-Hao Teng, Min-Hung Chen A Pseudospectral Penalty Scheme for 2D Isotropic Elastic Wave Computations. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudospectral penalty methods, Multidomain schemes, Elastic waves, Velocity-stress formulation
19Maosong Huang, Ming Liu, O. C. Zienkiewicz Stabilized Procedures for Finite Element Analysis in Saturated Soils Under Cyclic Loading. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Saturated soils, Cyclic loading, u-p formulation, Incompressible behavior, Stabilization procedures
19Michael Smullen, Colm O'Riordan An attempt to enhance performance in user session based information retrieval. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Query re-formulation, Information retrieval, Context
19Min Li, Christopher J. Hogger A Generic Constraints-Based Framework for Business Modeling. Search on Bibsonomy TEAA The full citation details ... 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. Search on Bibsonomy CODES+ISSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Networks-on-Chip motivation, problem formulation, proposed solutions and open research problems, systems-on-chip, multi-processor systems
19Julia Coleman Prior, Raymond Lister The backwash effect on SQL skills grading. Search on Bibsonomy ITiCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SQL query formulation, learning approaches, online examination, databases, SQL
19Saurabh Ganeriwal, Mani B. Srivastava Reputation-based framework for high integrity sensor networks. Search on Bibsonomy SASN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF bayesian formulation, security, sensor networks, cryptography, trust, framework, reputation
19Johannes Elschner, Rainer Hinder, Gunther Schmidt 0002 Finite Element Solution of Conical Diffraction Problems. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license