|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 32182 occurrences of 11481 keywords
|
|
|
Results
Found 39012 publication records. Showing 39006 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Harpreet S. Sawhney, John Oliensis, Allen R. Hanson |
Image Description and 3-D Reconstruction From Image Trajectories of Rotational Motion. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
image description, image trajectories, rotational motion, two-stage technique, grouping algorithm, spatio-temporal constraints, discrete point correspondences, curved trajectories, image reconstruction, perspective projection, closed-form solution, 3-D reconstruction |
12 | Tony DeRose, Ronald N. Goldman, Hans Hagen, Stephen Mann |
Functional Composition Algorithms via Blossoming. |
ACM Trans. Graph. |
1993 |
DBLP DOI BibTeX RDF |
Be´zier curves, tensor-product surface patches, triangular Be´zier surface patches, B-splines, free-form deformations, computer-aided geometric design |
12 | Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci |
On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
optimal checkpointing, transaction-oriented systems, checkpointing rollback recovery technique, single critical task, Laplace-Stieltjes transform form, checkpointing strategies, performance criteria, maximum system unavailability, real-time systems, optimisation, database management systems, transaction processing, probability distribution, moments, overhead, real time constraints, Laplace transforms, inversion methods |
12 | Juyang Weng, Paul R. Cohen, Marc Herniou |
Camera Calibration with Distortion Models and Accuracy Evaluation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
distortion models, mean-square discrepancy, observed image points, inferred image projections, computer vision, computer vision, optimisation, calibration, accuracy, camera calibration, cameras, nonlinear optimization, optical information processing, objective function, closed-form solution, CCD image sensors, CCD camera |
12 | Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl |
Proving Total Correctness of Programs in Weak Second-Order Logic. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands |
12 | Michael E. Wolf, Monica S. Lam |
A Loop Transformation Theory and an Algorithm to Maximize Parallelism. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
loop transformation theory, general loops, dependence vectors, lexicographically positive, compound transformations, coarsest fully permutable loop nests, fully permutable nests, parallel algorithm, parallel algorithms, parallel programming, heuristics, program compilers, precedence constraints, legality, code transformation, fine-grain parallelism, canonical form, wavefront, coarse grain parallelism, loop iterations, maximum degree |
12 | Anant Agarwal |
Limits on Interconnection Network Performance. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
buffered networks, interconnection network performance, wiredelays, two-dimensionalnetwork, switch delays, four-dimensional networks, networkbandwidth requirements, multiprocessor interconnection networks, latency, direct networks, network contention, performanceevaluation, closed-form expression, packet size, communication locality |
12 | William Henderson, Peter G. Taylor |
Embedded Processes in Stochastic Petri Nets. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
embedded discrete time processes, closed-form equilibrium distribution, probabilistic output bags, colored tokens, arbitrarily distributing enabling, firing times, aggregation procedure, performance evaluation, Petri nets, stochastic processes, stochastic Petri nets |
12 | Patrick J. Flynn, Anil K. Jain 0001 |
CAD-Based Computer Vision: From CAD Models to Relational Graphs. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
CAD-based computer vision, relational graphs, 3-D object recognition systems, mechanical CAD systems, manufacturing database, industry-standard IGES form, polyhedral approximation, geometric inferencing, view-independent information, view-dependent information, patch areas, synthetic views, computer vision, solid modelling, solid modelling, CAD/CAM, CAD/CAM |
12 | Mark N. Wegman, F. Kenneth Zadeck |
Constant Propagation with Conditional Branches. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
procedure integration, type determination, abstract interpretation, code optimization, control flow graph, interprocedural analysis, static single assignment form, constant propagation |
12 | Tinsley A. Galyean, John F. Hughes |
Sculpting: an interactive volumetric modeling technique. |
SIGGRAPH |
1991 |
DBLP DOI BibTeX RDF |
3D interaction, antialiasing, volumetric data, sculpting, free-form modeling |
12 | Franz-Josef Brandenburg |
The Equivalence of Boundary and Confluent Graph Grammars on Graph Languages of Bounded Degree. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
boundary and confluent graph grammars, operator normal form, graph languages of bounded degree, graph grammars |
12 | R. T. Jacob, Ivor P. Page |
Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
mutual exclusion solutions, binary semaphores, graphical form, mutual exclusion constraint, edge semaphore solution, edge solvable, entry, exit sections, graph theory, operating systems (computers), graph grammar, efficient algorithm, vertex, forbidden subgraph, mutual exclusion problem |
12 | Neil C. Rowe |
Absolute Bounds on Set Intersection and Union Sizes from Distribution Information. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
union sizes, distribution information, closed-form bounds, rule-based system architecture, statistical analysis, statistical analysis, database theory, set theory, set theory, Boolean algebra, Boolean algebra, file organisation, file organisation, set intersection, database access |
12 | Chao-Chih Yang, Guang Li, Peter A. Ng |
An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
subset closures, relational database scheme, elementary key normal form, subset closures, computational complexity, relational databases, time complexity, database theory, functional dependences, set theory, Hamiltonian cycles |
12 | Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta |
Modeling Priority Schemes. |
SIGMETRICS |
1985 |
DBLP DOI BibTeX RDF |
head-of-the-line, preemptive resume, product-form queueing networks, reorientation, time-out, priorities, generalized stochastic Petri nets |
12 | Rajan Suri, Gregory W. Diehl |
A New 'Building Block' for Performance Evaluation of Queueing Networks with Finite Buffers. |
SIGMETRICS |
1984 |
DBLP DOI BibTeX RDF |
Performance modelling, Performance prediction, Queueing networks, Blocking, Approximate analysis, Product form networks |
12 | Elie Georges Hayeck |
User-computer interaction employing block mode data transfer. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
Video display terminal, block mode, data deletion, data display, form, data update, patient record, modular approach, data entry |
12 | Magesh Jayapandian, H. V. Jagadish |
Automating the Design and Construction of Query Forms. |
IEEE Trans. Knowl. Data Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Qinhua Zhu, Yongquan Yu, Wen Cai |
Extension Set and the Research of the Extension ADD Transformation. |
ICITA (1) |
2005 |
DBLP DOI BibTeX RDF |
extension set, matter element, extension transformation, thermal piles, permafrost |
12 | Millist W. Vincent |
Semantic Foundations of 4NF in Relational Database Design. |
Acta Informatica |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Shamkant B. Navathe, Alan G. Merten |
Investigations into the Application of the Relational Model to Data Translation. |
SIGMOD Conference |
1975 |
DBLP DOI BibTeX RDF |
normal forms of data, relational model of data, data base, data translation, data definition, data restructuring |
12 | E. M. Boehm, Thomas B. Steel Jr. |
The Share 709 System: Machine Implementation of Symbolic Programming. |
J. ACM |
1959 |
DBLP DOI BibTeX RDF |
|
11 | Felipe Bacim, Nicholas F. Polys, Jian Chen 0020, Mehdi Setareh, Ji Li, Lee Ma |
Cognitive scaffolding in Web3D learning systems: a case study for form and structure. |
Web3D |
2010 |
DBLP DOI BibTeX RDF |
Web3D learning tools, usability engineering |
11 | Ingo M. Weber, Hye-Young Paik, Boualem Benatallah, Zifei Gong, Liangliang Zheng, Corren Vorwerk |
FormSys: form-processing web services. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
service-enabled forms, web services, documents, processes |
11 | Amer M. Magableh, Mustafa M. Matalgah |
Closed-form expression for the BER performance in cooperative communication systems with MRC over Rayleigh fading channels. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
preferable link, switching combining, cooperative, fading |
11 | James Deen, Seungyon Claire Lee, BoHao Li, Thad Starner |
Improving the form factor of a wrist-based mobile gesture interface. |
CHI Extended Abstracts |
2010 |
DBLP DOI BibTeX RDF |
wearable interface, design iteration |
11 | Kwang-Ho Bae, David Belton, Derek D. Lichti |
A Closed-Form Expression of the Positional Uncertainty for 3D Point Clouds. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Yuichiro Goto, Akihiro Yamakita, Fumiaki Maehara |
Simple Series Form Formula of BER Performance of M-ary QAM/OFDM Signals Over Nonlinear Fading Channels. |
MCSS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Thu-Ha Dao-Thi, Jean-Michel Fourneau |
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor. |
ASMTA |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Adriana Muñoz, David Sankoff |
Rearrangement Phylogeny of Genomes in Contig Form. |
ISBRA |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens |
A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization. |
BNCOD |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Iddo Hanniel, Kirk Haller |
Solving global geometric constraints on free-form curves. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Yaakov Navon, Ella Barkan, Boaz Ophir |
A Generic Form Processing Approach for Large Variant Templates. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Il-Min Kim, Dongwoo Kim 0001 |
Closed-Form Exact BER and Optimization of Generalized Orthogonal STBCs. |
IEEE Trans. Wirel. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Arash Abadpour, Attahiru Sule Alfa, Anthony C. K. Soong |
Closed Form Solution for Maximizing the Sum Capacity of Reverse-Link CDMA System with Rate Constraints. |
IEEE Trans. Wirel. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Xiaochun Yang 0001, Yiu-Kai Ng |
Answering form-based web queries using the data-mining approach. |
J. Intell. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Query-rewriting approach, Inferred rules, Query interface |
11 | Afshin Abdollahi, Massoud Pedram |
Symmetry Detection and Boolean Matching Utilizing a Signature-Based Canonical Form of Boolean Functions. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Vandana Pursnani Janeja, Vijayalakshmi Atluri |
Random Walks to Identify Anomalous Free-Form Spatial Scan Windows. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Anat Levin, Dani Lischinski, Yair Weiss |
A Closed-Form Solution to Natural Image Matting. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Interactive Image Editing, Spectral Segmentation, Matting |
11 | Hing-Cheung So, Yiu Tong Chan, Frankie K. W. Chan |
Closed-Form Formulae for Time-Difference-of-Arrival Estimation. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Qiong Luo 0001, Jeffrey F. Naughton, Wenwei Xue |
Form-based proxy caching for database-backed web sites: keywords and functions. |
VLDB J. |
2008 |
DBLP DOI BibTeX RDF |
Web proxy caching, Database-backed web sites |
11 | Leszek Klukowski |
Estimation of the Preference Relation on the Basis of Medians from Pairwise Comparisons in the Form of Difference of Ranks. |
Computer Recognition Systems 2 |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Gerard Oleksik, Lorna M. Brown |
Sonic gems: exploring the potential of audio recording as a form of sentimental memory capture. |
BCS HCI (1) |
2008 |
DBLP DOI BibTeX RDF |
audio capture, memories, audio, sound |
11 | Pakorn Ubolkosold, Gustave Franck Tchere, Stefan Knedlik, Otmar Loffeld |
A New Closed-Form Frequency Estimator in the Presence of Fading-Induced Multiplicative Noise. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Michel Fourneau |
Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ozan Cakmakci, Sophie Vo, Simon Vogl, Rupert Spindelbalker, Alois Ferscha, Jannick P. Rolland |
Optical free-form surfaces in off-axis head-worn display design. |
ISMAR |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sufyan Ababneh, Rashid Ansari, Ashfaq A. Khokhar |
Improved image authentication using closed-form compensation and spread-spectrum watermarking. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
The Essence of Form Abstraction. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Dmitry Kinoshenko, Vladimir Mashtalir, Elena Yegorova |
Block-diagonal form of distance matrix for region-based image retrieval. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Beibei Ren, Shuzhi Sam Ge, Tong Heng Lee, Chun-Yi Su |
Adaptive neural control for uncertain nonlinear systems in pure-feedback form with hysteresis input. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Manuel Arenaz, Pedro Amoedo, Juan Touriño |
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers. |
Euro-Par |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Takeshi Chusho, Noriyuki Yagi |
Modeling by Form Transformation for End-User Initiative Development. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Benevides da Costa, Michel Daoud Yacoub |
Accurate Closed-Form Approximations to the Sum of Generalized Random Variables and Applications. |
WCNC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Gianluigi Zavattaro |
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
11 | L. L. Liu |
A Business Application Form Triggered Service Model. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Shahram Izadi, Alex Butler, Steve Hodges 0001, Darren West, Malcolm Hall, Bill Buxton, Mike Molloy 0002 |
Experiences with building a thin form-factor touch and tangible tabletop. |
Tabletop |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Shengshuang Chen, Lijuan Wen, Jia Hu, Shijun Li |
Fuzzy Synthetic Evaluation on Form Mapping in Deep Web Integration. |
CSSE (4) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yanbing Gong, Jiguo Zhang |
A Method for Fuzzy Multi-attribute Decision Making with Preference Information in the Form of Fuzzy Complementary Judgment Matrix. |
FSKD (3) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Nathan Huntley, Matthias C. M. Troffaes |
An Efficient Normal Form Solution to Decision Trees with Lower Previsions. |
SMPS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Israel Herraiz, Daniel M. Germán, Jesús M. González-Barahona, Gregorio Robles |
Towards a simplification of the bug report form in eclipse. |
MSR |
2008 |
DBLP DOI BibTeX RDF |
bug tracking system, msr challenge, eclipse, bug report |
11 | Jaewook Chung, M. Anwar Hasan |
Low-Weight Polynomial Form Integers for Efficient Modular Multiplication. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Mersenne numbers, the Montgomery reduction, the Barrett reduction, Cryptography, RSA, elliptic curve cryptosystems, modular multiplication |
11 | Hak-Keung Lam, Frank H. F. Leung |
LMI-Based Stability and Performance Conditions for Continuous-Time Nonlinear Systems in Takagi-Sugeno's Form. |
IEEE Trans. Syst. Man Cybern. Part B |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Jian Ni, Sekhar Tatikonda |
Analyzing Product-Form Stochastic Networks Via Factor Graphs and the Sum-Product Algorithm. |
IEEE Trans. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
11 | K. C. Ho 0001, Ming Sun 0002 |
An Accurate Algebraic Closed-Form Solution for Energy-Based Source Localization. |
IEEE Trans. Speech Audio Process. |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Georg Pisinger, Tobias Hanning |
Closed Form Monocular Re-Projective Pose Estimation. |
ICIP (5) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Rui Yang, Dan Li, Wei Zhou |
A Study on the Form of Representation of the User's Mental Model-Oriented Ancient Map of China. |
HCI (1) |
2007 |
DBLP DOI BibTeX RDF |
ancient map, mental model, information representation |
11 | HyeJin Ryu, Sonya S. Kwak, Myungsuk Kim |
A Study on External Form Design Factors for Robots as Elementary School Teaching Assistants. |
RO-MAN |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Ana Busic, Nihal Pekergin |
Closed Form Absorption Time Bounds. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Luigi Sassoli, Enrico Vicario |
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Azahar Tekchand Machwe, Ian C. Parmee |
Supporting free-form design using a component based representation: an overview. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
interactive evolutionary design, software agents, aesthetics |
11 | Lee Spector, Jon Klein, Mark Feinstein |
Division blocks and the open-ended evolution of development, form, and behavior. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
breve, division blocks, open-ended evolution, development, artificial life, morphology, recurrent networks |
11 | Kevin Köser, Bogumil Bartczak, Reinhard Koch |
An Analysis-by-Synthesis Camera Tracking Approach Based on Free-Form Surfaces. |
DAGM-Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Rachel McDonnell, Sophie Jörg, Jessica K. Hodgins, Fiona N. Newell, Carol O'Sullivan |
Virtual shapers & movers: form and motion affect sex perception. |
APGV |
2007 |
DBLP DOI BibTeX RDF |
perception, motion capture, virtual humans |
11 | Zhaohui Fu, Sharad Malik |
Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Ekaterina Shemyakova, Franz Winkler 0001 |
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
Linear Partial Differential Operators, Gauge transformations, Invariants |
11 | Qiusheng An, Gaoping Wang, Wenxiu Zhang |
The Study of Normal Form of Relational Database Based on Rough Sets Theory. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Frédéric Messine, Ahmed Touhami |
A General Reliable Quadratic Form: An Extension of Affine Arithmetic. |
Reliab. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Philip Brisk, Foad Dabiri, Roozbeh Jafari, Majid Sarrafzadeh |
Optimal register sharing for high-level synthesis of SSA form programs. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Kyunbyoung Ko, Myonghee Park, Daesik Hong |
Performance analysis of asynchronous MC-CDMA systems with a guard period in the form of a cyclic prefix. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | George K. Karagiannidis, Nikos C. Sagias, Theodoros A. Tsiftsis |
Closed-form statistics for the sum of squared Nakagami-m variates and its applications. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Olga A. Karpenko, John F. Hughes |
SmoothSketch: 3D free-form shapes from complex sketches. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Zhi-Yong Tao, Zhen-Qiu Lu, Xinlong Wang |
Acoustical diffraction tomography in a finite form based on the Rytov transform. |
IEEE Trans. Image Process. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Shihong Shi, Keyun Di, Anjun Wang |
The Coverage form of Surface Coating and Crack of Basal Body Under Multi-Impact Loads. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
Laser coat, cladding structure, repeated-impact crack |
11 | Trent McConaghy, Georges G. E. Gielen |
Double-strength CAFFEINE: fast template-free symbolic modeling of analog circuits via implicit canonical form functions and explicit introns. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Mouad Ben Mamoun, Nihal Pekergin, Sana Younès |
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Søren B. Lassen |
Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Sebastian Vogel, Martin D. F. Wong |
Closed form solution for optimal buffer sizing using the Weierstrass elliptic function. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Oskar M. Skrinjar |
Point-Based Registration with Known Correspondence: Closed Form Optimal Solutions and Properties. |
WBIR |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Nancy Milik, Melinda Marshall, Antonija Mitrovic |
Responding to Free-Form Student Questions in ERM-Tutor. |
Intelligent Tutoring Systems |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Chung-Hsing Yeh, Yang-Cheng Lin |
Neural Network Models for Transforming Consumer Perception into Product Form Design. |
ISNN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia |
FORM : A Federated Rights Expression Model for Open DRM Frameworks. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Difei Lu, Ying Zhang, Xiuzi Ye |
A New Method of Interactive Marker-Driven Free form Mesh Deformation. |
GMAI |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Shihai Zhang, Shujun Liu, Dong Wang, Jinping Ou, Guangyuan Wang |
Knowledge Discovery of Improved Apriori-Based High-Rise Structure Intelligent Form Selection. |
ISDA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Lun Li, Mitchell A. Thornton, Marek A. Perkowski |
A Quantum CAD Accelerator Based on Grover's Algorithm for Finding the Minimum Fixed Polarity Reed-Muller Form. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Anat Levin, Dani Lischinski, Yair Weiss |
A Closed Form Solution to Natural Image Matting. |
CVPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Leu-Shing Lan |
M-SVC (mixed-norm SVC) - a novel form of support vector classifier. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Rafael Escovar, Salvador Ortiz 0002, Roberto Suaya |
Mutual inductance between intentional inductors: closed form expressions. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Shunsuke Yamaki, Masahide Abe, Masayuki Kawamata |
A closed form solution to L2-sensitivity minimization of second-order state-space digital filters. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Adrian M. Peter, Anand Rangarajan 0001 |
A New Closed-Form Information Metric for Shape Analysis. |
MICCAI (1) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|