Search results for "Formulation"

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