Search results for "form"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Yang-Cheng Lin, Hsin-Hsi Lai, Chung-Hsing Yeh, Chen-Hui Hung	A Hybrid Approach to Determining the Best Combination on Product Form Design.	KES (4)	2005	DBLP DOI BibTeX RDF
14	Afshin Abdollahi, Massoud Pedram	A new canonical form for fast boolean matching in logic synthesis and verification.	DAC	2005	DBLP DOI BibTeX RDF
14	Wang-Yeh Lee, Jung-Hong Chuang	Effective Meshing and Form Factor Calculation for Accurate Progressive Radiosity.	TPCG	2004	DBLP DOI BibTeX RDF
14	Barry Merriman	Understanding the Shu-Osher Conservative Finite Difference Form.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	conservative finite difference, essentially non-oscillatory, ENO, conservation law
14	Dirk Draheim, Gerald Weber	Modeling Submit/Response Style Systems with Form Charts and Dialogue Constraints.	OTM Workshops	2003	DBLP DOI BibTeX RDF
14	Won-Sung Sohn, Jae-Kyung Kim, Seung-Kyu Ko, Yoon-Chul Choy, Soon-Bum Lim	Ambiguity Correction Method for Free-Form Annotation in XML Documents.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
14	Mio Matsumoto, Hideki Aoyama	Computer Aided Chair Design System Using Form Features.	IV	2002	DBLP DOI BibTeX RDF
14	Adnan Darwiche	Decomposable negation normal form.	J. ACM	2001	DBLP DOI BibTeX RDF	Boolean functions, satisfiability, propositional logic, model-based diagnosis, knowledge compilation
14	Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez	Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
14	Alexander Wuerz, Stefan K. Gehrig, Fridtjof Stein	Enhanced Stereo Vision Using Free-Form Surface Mirrors.	RobVis	2001	DBLP DOI BibTeX RDF
14	Yungcheol Byun, Joongbae Kim, Yeongwoo Choi, Gyeonghwan Kim, Yillbyung Lee	Knowledge-Based Partial Matching: An Efficient Form Classification Method.	GREC	2001	DBLP DOI BibTeX RDF
14	Juan J. Flores	Complex fans: a representation for vectors in polar form with interval attributes.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	complex fans, abstract data type, qualitative reasoning, interval computation, complex numbers
14	Mary Cryan, Allan Ramsay	Constructing a Normal Form for Property Theory.	CADE	1997	DBLP DOI BibTeX RDF
14	Jong-Deok Choi, Vivek Sarkar, Edith Schonberg	Incremental Computation of Static Single Assignment Form.	CC	1996	DBLP DOI BibTeX RDF
14	Prabhat Jain, Ganesh Gopalakrishnan	Efficient symbolic simulation-based verification using the parametric form of Boolean expressions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
14	Hans-Peter Kriegel, Stephan Heep, Andreas Fahldiek, Norbert Mysliwitz	Query Processing of Geometric Objects with Free Form Boundaries in Spatial Datbases.	DEXA	1993	DBLP DOI BibTeX RDF
14	Alex Pothen, Chin-Ju Fan	Computing the block triangular form of a sparse matrix.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF
14	Daniel R. Baum, H. E. Rushmeire, James M. Winget	Improving radiosity solutions through the use of analytically determined form-factors.	SIGGRAPH	1989	DBLP DOI BibTeX RDF
14	James McKenna	Asymptotic expansions of the sojourn time distribution functions of jobs in closed, product-form queuing networks.	J. ACM	1987	DBLP DOI BibTeX RDF
14	Mark A. Roth, Henry F. Korth	The Design of ¬1NF Relational Databases into Nested Normal Form.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
14	Lawrence A. Rowe, Kurt A. Shoens	FADS - A Form Application Development System.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
14	Dima Grigoriev	Multiplicative Complexity of a Bilinear Form over a Commutative Ring.	MFCS	1981	DBLP DOI BibTeX RDF
14	Walter F. Freiberger, Richard H. Jones	Computation of the Frequency Function of a Quadratic Form in Random Normal Variables.	J. ACM	1960	DBLP DOI BibTeX RDF
13	Yali Dong, JiaoJiao Fan, ShengWei Mei	Quadratic stabilization of switched nonlinear systems.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	switched nonlinear system, quadratic stabilization, uniform normal form, zero dynamics, common quadratic Lyapunov function
13	Sami Baffoun, Jean-Marc Robert 0002, Inès Gargouri	Étude de la performance de quatre modèles de présentation de formulaires sur un assistant numérique personnel.	IHM	2009	DBLP DOI BibTeX RDF	arborescence, e-form, flip zooming, PDA, information presentation, menu
13	Mark Christensen van Langeveld, Robert Kessler	Educational impact of digital visualization and auditing tools on a digital character production course.	FDG	2009	DBLP DOI BibTeX RDF	3D character modeling, academic programs, contour design, digital entertainment industry, interdisciplinary curriculum, education, video games, form, technique, anatomy, machinima
13	Issam Dagher	Quadratic kernel-free non-linear support vector machine.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Geometrical margin, Functional margin, QSVM, Quadratic function, Dual optimization form, Kernel trick, Support Vector Machine (SVM)
13	Milan Petrík	Quine-McCluskey method for many-valued logical functions.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Logical circuit design, Many-valued logic, Normal form, Hardware design
13	Cong Yu 0001, H. V. Jagadish	XML schema refinement through redundancy detection and normalization.	VLDB J.	2008	DBLP DOI BibTeX RDF	Schema design, XML, Functional dependency, Normal form, Data redundancy
13	Ting Wu 0001, Min Zhang, Xiaoliang Xu, Rongbo Wang	Improved Algorithm for Tate Pairing Computation.	ISECS	2008	DBLP DOI BibTeX RDF	Miller's algorithm, Tate pairing, Non-adjacent form
13	Prasad P. Joshi	A Glimpse into the Apadam-Constraint in the Tradition of Sanskrit Grammar.	Sanskrit Computational Linguistics	2008	DBLP DOI BibTeX RDF	Apada, non-inflected form, pada in the P??inian model, Case- Filter Principle, universal application, abstractness
13	Maciej Grzeskowiak	Generating a Large Prime Factor of p4±p2+1 in Polynomial Time.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF	The Gong-Harn Public Key System, CEILIDH Public Key System, Torus-Based Cryptography, primes of a special form
13	Sebastian Hack, Gerhard Goos	Copy coalescing by graph recoloring.	PLDI	2008	DBLP DOI BibTeX RDF	graph coloring, register allocation, ssa form
13	Tennyson X. Chen, Sean Shuangquan Liu, Martin D. Meyer, Donald Gotterbarn	An introduction to functional independency in relational database normalization.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	functional independency, relational database design, sub-domain dependency, decomposition, functional dependency, attribute, normal form
13	David Jao, S. Ramesh Raju, Ramarathnam Venkatesan	Digit Set Randomization in Elliptic Curve Cryptography.	SAGA	2007	DBLP DOI BibTeX RDF	randomized representations, non-adjacent form representations, side channel attack countermeasures, elliptic curve cryptography
13	Xin Li 0009, Marc Moreno Maza	Multithreaded parallel implementation of arithmetic operations modulo a triangular set.	PASCO	2007	DBLP DOI BibTeX RDF	algorithms, parallelization, polynomials, high-performance, normal form
13	Robert C. Kirby, Anders Logg	A compiler for variational forms.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Variational form, compiler, automation, finite element
13	Jae-Sook Cheong, Herman J. Haverkort, A. Frank van der Stappen	Computing All Immobilizing Grasps of a Simple Polygon with Few Contacts.	Algorithmica	2006	DBLP DOI BibTeX RDF	Immobility, Wrench, Form closure, Second-order immobility, Positive basis, Grasp, Fixturing
13	Nikolai P. Osmolovskii, Helmut Maurer	Second Order Optimality Conditions for Controls with Continuous and Bang-Bang Components.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	bang-bang control, Pontryagin minimum principle, second order necessary and sufficient conditions, critical cone, strengthened Legendre condition, quadratic form
13	Giuliano Casale	An efficient algorithm for the exact analysis of multiclass queueing networks with large population sizes.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	multiclass models, product-form queueing networks, computational algorithms, normalizing constant, exact analysis
13	Yutaka Matsuno, Atsushi Ohori	A type system equivalent to static single assignment.	PPDP	2006	DBLP DOI BibTeX RDF	type system, compiler optimization, static single assignment form
13	Billy Bob Brumley	Left-to-Right Signed-Bit tau-Adic Representations of n Integers (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF	joint sparse form, simultaneous elliptic scalar multiplication, digital signatures, elliptic curve cryptography, Koblitz curves
13	Yun Chi, Yirong Yang, Richard R. Muntz	Canonical forms for labelled trees and their applications in frequent subtree mining.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Labelled free tree, Labelled rooted unordered tree, Tree isomorphism, Canonical form, Frequent subtree
13	Erik Dahmen, Katsuyuki Okeya, Tsuyoshi Takagi	An Advanced Method for Joint Scalar Multiplications on Memory Constraint Devices.	ESAS	2005	DBLP DOI BibTeX RDF	joint sparse form, left-to-right, multi-scalar multiplication, shamir method, elliptic curve cryptosystem
13	Junhu Wang	Database Design with Equality-Generating Dependencies.	DASFAA	2005	DBLP DOI BibTeX RDF	equality-generating dependency, XML tree, normalization, database design, functional dependency, relations, normal form, data redundancy
13	Zhiyong Xie, Gerald E. Farin	Image Registration Using Hierarchical B-Splines.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	hierarchical B-splines, optical flow, Image registration, free form deformation, iterative closest point, scattered data approximation
13	Gui-Fang Zhang, Xiao-Shan Gao	Planar Generalized Stewart Platforms and Their Direct Kinematics.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF	Planar generalized Stewart platform, direct kinematics, geometric constraint solving, closed-form solution
13	Zhongke Wu, Feng Lin 0002, Seah Hock Soon	Tunnel-free voxelisation of rational Bézier surfaces.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Rational Bézier, Voxelisation, Algorithm, Volume graphics, Free-form modeling
13	Bart Adams, Philip Dutré	Interactive boolean operations on surfel-bounded solids.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	point-based geometry, surfels, boolean operations, free-form modeling
13	Jian J. Zhang 0001, Lihua You	Rapid Generation of C2 Continuous Blending Surfaces.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF	C2 continuity, sixth order partial differential equation, closed form solution, surface blending
13	Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick	Operator strength reduction.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	loops, static single assignment form, strength reduction
13	Pramod G. Joisha, Abhay Kanhere, Prithviraj Banerjee, U. Nagaraj Shenoy, Alok N. Choudhary	Handling context-sensitive syntactic issues in the design of a front-end for a MATLAB compiler.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF	colon expressions, command-form function invocations, control constructs, single quote character, syntax analysis for MATLAB, assignments, matrices
13	Jian J. Zhang 0001, Lihua You	Surface Representation Using Second, Fourth and Mixed Order Partial Differential Equations.	Shape Modeling International	2001	DBLP DOI BibTeX RDF	free-form surface representation, orders of PDE, partial differential equations
13	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
13	Yonghui Wu, Wenyun Ji, Aoying Zhou	Implementation and Proof for Normalization Design of Object-Oriented Data Schemes.	TOOLS (36)	2000	DBLP DOI BibTeX RDF	Nested Relationship, Object Scheme Tree, Normal Object Scheme Forest, Object Normal Form, Redundancy, Normalization, Path, Object Dependency
13	Pierre Maret, Jean Beney, Paul Rubel	Multimedia Information Interchange: Web Forms Meet Data Servers.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	web client, multimedia, middleware, automation, web server, form, data interchange
13	Richard J. Campbell, Patrick J. Flynn	Eigenshapes for 3D Object Recognition in Range Data.	CVPR	1999	DBLP DOI BibTeX RDF	appearance-based, free-form, synthetic rendering, recognition, range data, model based
13	Mihael Ankerst, Gabi Kastenmüller, Hans-Peter Kriegel, Thomas Seidl 0001	3D Shape Histograms for Similarity Search and Classification in Spatial Databases.	SSD	1999	DBLP DOI BibTeX RDF	3D Shape Similarity Search, Quadratic Form Distance Functions, Spatial Data Mining, Nearest Neighbor Classification
13	Georg Odenthal, Klaus Quibeldey-Cirkel	Using Patterns for Design and Documentation.	ECOOP	1997	DBLP DOI BibTeX RDF	object-oriented design patterns, pattern form, software documentation
13	Jenn-Yih Lin, Chi-Wei Lee, Zen Chen	Identification of business forms using relationships between adjacent frames (*).	Mach. Vis. Appl.	1996	DBLP DOI BibTeX RDF	Adjacent frame, Graph construction, 1-D string, Matching, Business form
13	David Raymond Lutz, Doddaballapur Narasimha-Murthy Jayasimha	Early Zero Detection.	ICCD	1996	DBLP DOI BibTeX RDF	half-adder form, branch penalties, branch resolution, zero detection, speculative execution, ILP
13	Gagan L. Choudhury, Kin K. Leung, Ward Whitt	Calculating Normalization Constants of Closed Queueing Networks by Numerically Inverting Their Generating Functions.	J. ACM	1995	DBLP DOI BibTeX RDF	Euler summation, numerical transform inversion, production-form model, performance analysis, scaling, dimension reduction, generating function, partition function, closed queuing networks, normalization constant
13	A. K. Jain, Mostafa I. H. Abd-El-Barr, R. J. Bolton	Current-Mode CMOS Multiple-Valued Logic Function Realization Using a Direct Cover Algorithm.	ISMVL	1995	DBLP DOI BibTeX RDF	current-mode CMOS multiple-valued logic function realization, heuristic based programs, sum of product form expression, HAMLET, Gold heuristic, current mode CMOS, multiple valued logic function realization, direct cover algorithm, logic design, random sample, multivalued logic, CMOS logic circuits, heuristic programming, MVL function
13	R. Safari, N. Narasimhamurthi, Malayappan Shridhar, M. Alumadi	Document registration using projective geometry.	ICDAR	1995	DBLP DOI BibTeX RDF	document registration, corresponding points, filled-in form, projective geometry, correspondence problem, business forms
13	Gi-Chul Yang, Key-Sun Choi	Automatic hypertext link generation based on conceptual graphs.	ICDAR	1995	DBLP DOI BibTeX RDF	automatic hypertext link generation, high quality hypertext, syntactic information, canonical graph, U-Form, hypermedia, conceptual graphs, semantic information, destination node
13	Masakiyo Miyazawa	On the characterization of departure rules for discrete-time queueing networks with batch movements and its applications.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	batch service, D-rule, reversed-time process, traffic flow, product form, Discrete-time queue, batch arrival, quasi-reversibility
13	Victor Pestien, Subramanian Ramakrishnan	Features of some discrete-time cyclic queueing networks.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	cyclic queueing network, product form, Discrete-time queue, normalization constant
13	Bharadwaj Veeravalli, Debasish Ghose, V. Mani	Optimal Sequencing and Arrangement in Distributed Single-Level Tree Networks with Communication Delays.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	optimalsequencing, distributed single-level tree networks, optimalprocessing time, single-level treearchitecture, optimal load distribution, load sequencing, processor-link arrangement, general case, computationalresults, root processor, front-end processor, optimal arrangement, resource allocation, distributed processing, distributed processing, optimisation, trees (mathematics), communication delays, distributed computing system, communication links, closed-form expressions
13	David Lorge Parnas, Jan Madey, Michal Iglewski	Precise Documentation of Well-Structured Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness
13	David Sinclair, Andrew Blake 0001	Isoperimetric Normalization of Planar Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	closed planar curves, isoperimetric normalization, projective group PGL(2), piecewise smooth closed curve, invariant shape descriptor, image processing, computational geometry, object recognition, edge detection, canonical form
13	Gopalan Ravichandran, David P. Casasent	Advanced In-Plane Rotation-Invariant Correlation Filters.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	multiclass rotation-invariant filter, average correlation plane energy, RI-MACE filter, noise energy, correlation plane signal, pattern recognition, image recognition, invariance, filtering and prediction theory, rotation invariance, correlation methods, closed form solution, correlation filters
13	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
13	Demetri Terzopoulos, Hong Qin 0001	Dynamic NURBS with geometric constraints for interactive sculpting.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	cross-sectional shape design, optimal curve and surface fitting, shape metamorphosis, solid rounding, constraints, dynamics, deformable models, finite elements, NURBS, free-form deformation, CAGD, trimming
13	Helmut Pottmann, Michael G. Wagner	Helix splines as an example of affine Tchebycheffian splines.	Adv. Comput. Math.	1994	DBLP DOI BibTeX RDF	Free-form curve, Tchebycheffian spline, tensor product surface, screw motion, helicoidal surface, quadric surface, B-spline, blossoming, motion design, helix
13	Victor M. Markowitz, Johann A. Makowsky	Identifying Extended Entity-Relationship Object Structures in Relational Schemas.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	extended entity-relationship object structures, relation-schemes, key dependencies, key-based inclusion dependencies, referential integrity constraints, EER schema, EER-convertible, EER object structures, normalization procedure, relational database schemas, object-oriented database schemas, semantics, object-oriented programming, relational databases, database management systems, database theory, normal form, relational schemas
13	David Alex Lamb	Specification of Iterators.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
13	Carlos Alberto Berenstein, David Lavine	On the Number of Digital Straight Line Segments.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	digital straight line segments, asymptotic estimate, computational complexity, computerised picture processing, image registration, closed-form expression, computerized picture processing
13	John Case, Samuel E. Moelius	Independence Results for n-Ary Recursion Theorems.	FCT	2009	DBLP DOI BibTeX RDF
13	Magesh Jayapandian, H. V. Jagadish	Automating the Design and Construction of Query Forms.	ICDE	2006	DBLP DOI BibTeX RDF
13	Hong-Soog Kim, Youngha Yoon, Dong-Soo Han	Parallel Processing of First Order Linear Recurrence on SMP Machines.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	first-order linear recurrence operation, SMP machine, parallel processing, thread
13	Frank P. Kelly, Laurent Massoulié, Neil S. Walton	Resource pooling in congested networks: proportional fairness and product form.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K30, 90K15, 60K25
13	Kishan Chand Gupta, Palash Sarkar 0001	Computing Partial Walsh Transform From the Algebraic Normal Form of a Boolean Function.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
13	Vance Faber, Jörg Liesen, Petr Tichý	On orthogonal reduction to Hessenberg form with small bandwidth.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65F10, 65F25
13	Nicholas J. Tustison, Brian B. Avants, James C. Gee	Directly Manipulated Free-Form Deformation Image Registration.	IEEE Trans. Image Process.	2009	DBLP DOI BibTeX RDF
13	Rainer Konietschke, Gerd Hirzinger	Inverse kinematics with closed form solutions for highly redundant robotic systems.	ICRA	2009	DBLP DOI BibTeX RDF
13	Tongjiang Yan, Li Hong	Constructions of Some Difference-Balanced d-form Functions.	IAS	2009	DBLP DOI BibTeX RDF
13	Maria Chiara Leva, Alison M. Kay, Joan Cahill, Gabriel Losa, Sharon Keating, Diogo Serradas, Nick McDonald	Unique Reporting Form: Flight Crew Auditing of Everyday Performance in an Airline Safety Management System.	HCI (9)	2009	DBLP DOI BibTeX RDF	threat & error management, safety management systems, Human Factors, performance monitoring, task support
13	Jean Mairesse, Hoang-Thach Nguyen	Deficiency Zero Petri Nets and Product Form.	Petri Nets	2009	DBLP DOI BibTeX RDF
13	Jean Vuillemin, Nicolas Gama	Compact Normal Form for Regular Languages as Xor Automata.	CIAA	2009	DBLP DOI BibTeX RDF
13	Chun-Yu Chuang, Wai-Kei Mak	Accurate closed-form parameterized block-based statistical timing analysis applying skew-normal distribution.	ISQED	2009	DBLP DOI BibTeX RDF
13	Richard W. Cottle, Ingram Olkin	Closed-form solution of a maximization problem.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 15A18, 15A63, 90C30, 90C90, 15A23
13	Hoa Nguyen, Eun Yong Kang, Juliana Freire	Automatically Extracting Form Labels.	ICDE	2008	DBLP DOI BibTeX RDF
13	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation for Parametric Polymorphism.	LICS	2008	DBLP DOI BibTeX RDF	LTS, bisimulation, parametric polymorphism, typed lambda calculus
13	Zesheng Chen, Chao Chen 0001	A Closed-Form Expression for Static Worm-Scanning Strategies.	ICC	2008	DBLP DOI BibTeX RDF
13	Yoshihiro Sakayanagi, Shigeki Nakaura, Mitsuji Sampei	Conservativeness of State-Dependent Riccati Inequality : Effect of free parameters of State-Dependent Coefficient form.	CDC	2008	DBLP DOI BibTeX RDF
13	Eitan Altman, Konstantin Avrachenkov, Andrey Garnaev	Closed Form Solutions for Symmetric Water Filling Games.	INFOCOM	2008	DBLP DOI BibTeX RDF
13	Konrad Schindler, Luc Van Gool	Combining Densely Sampled Form and Motion for Human Action Recognition.	DAGM-Symposium	2008	DBLP DOI BibTeX RDF
13	Michael Kaisers, Karl Tuyls, Frank Thuijsman, Simon Parsons	Auction Analysis by Normal Form Game Approximation.	IAT	2008	DBLP DOI BibTeX RDF
13	Ruqian Lu	Knowware: A Commodity Form of Knowledge.	RSKT	2008	DBLP DOI BibTeX RDF
13	Yannick Caulier, Salah Bourennane	Fourier-Based Inspection of Free-Form Reflective Surfaces.	ACIVS	2008	DBLP DOI BibTeX RDF