|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9271 occurrences of 4926 keywords
|
|
|
Results
Found 11554 publication records. Showing 11554 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
45 | Jie-Chi Yang, Yi Lung Lin, Ching-I Chung |
Developing a Film-Based Learning System with English Verbal Reduced Forms for Supporting English Listening Comprehension. |
Edutainment |
2009 |
DBLP DOI BibTeX RDF |
reduced forms, film based learning, listening comprehension, contractions, computer assisted language learning |
45 | Wai Yin Mok |
A Comparative Study of Various Nested Normal Forms. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
nested relation schemes, nested database schemes, nested databases, nested normal forms, conflict-free sets of MVDs, acyclic database schemes, nested database design, design flexibility, algorithms, object-relational databases, nested relations, data redundancy, object-relational database management systems, SQL:1999 |
45 | Boris Oguibénine |
Issues in Combinatorial Analysis of Vedic Verbal and Nominal Forms. |
Sanskrit Computational Linguistics |
2008 |
DBLP DOI BibTeX RDF |
Rigveda, Vedic grammar, Vedic verbal forms, Vedic nominal forms, motif index, morphs, morphology, text analysis, mythology |
45 | Francesca Cesarini, Marco Gori, Simone Marinai, Giovanni Soda |
A system for data extraction from forms of known class. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
information fields, hypothesize-and-verify paradigm, autoassociator-based connectionist model, instruction fields, noisy forms, pattern recognition, data extraction, forms processing, attributed relational graphs |
42 | Eric Chu, Akanksha Baid, Xiaoyong Chai, AnHai Doan, Jeffrey F. Naughton |
Combining keyword search and forms for ad hoc querying of databases. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
query forms, relational databases, keyword search |
42 | I. Ben Salah, Pascal Maroni |
The connection between self-associated two-dimensional vector functionals and third degree forms. |
Adv. Comput. Math. |
2000 |
DBLP DOI BibTeX RDF |
Stieltjes functions, third degree forms, Laguerre-Hahn polynomials, 2-orthogonal polynomials, integral representations, 42C05, 33C45 |
41 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). |
RTA |
1991 |
DBLP DOI BibTeX RDF |
orthogonal term rewriting systems, infinitary rewriting, strong converging reductions, infinite Church-Rosser Properties, Böhm Trees, head normal forms, non-unifiable term rewriting systems, normal forms |
41 | Mohamed Cheriet, Joseph N. Said, Ching Y. Suen |
A formal model for document processing of business forms. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
bank cheques, hybrid-based approach, base lines, hand-printed data, knowledge rules, morphological processing, topological processing, gray-scale cheques, image segmentation, optical character recognition, handwriting recognition, formal model, image enhancement, document image processing, document processing, gray-scale images, business forms, business forms |
38 | Takashi Hirano, Yasuhiro Okada, Fumio Yoda |
Field Extraction Method from Existing Forms Transmitted by Facsimile. |
ICDAR |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Irina Perfilieva |
Normal forms in BL and L-sqcup algebras of functions. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
Conjunctive and additive normal forms, Extensional functions, algebra, BL-algebra, Universal approximation, Disjunctive |
38 | John M. Boyer |
Bulletproof business process automation: securing XML forms with document subset signatures. |
XML Security |
2003 |
DBLP DOI BibTeX RDF |
XFDL, XML signature transforms, secure XML forms, XForms |
38 | Zahia Guessoum, Lilia Rejeb, Rodolphe Durand |
Multi-agent simulation of firms and organizational forms. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
organizational forms, adaptation, agents, tools |
38 | Sriganesh Madhvanath, Venu Govindaraju, Vemulapati Ramanaprasad, Dar-Shyang Lee, Sargur N. Srihari |
Reading handwritten US census forms. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
handwritten US census forms reading, form images, field extraction, phrase recognition, database, feature extraction, handwriting recognition, document image processing, data extraction, lexicons, CEDAR |
38 | Eckehard Schnieder, Géza Tarnai (eds.) |
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010 |
FORMS/FORMAT |
2011 |
DBLP DOI BibTeX RDF |
|
38 | Karol Rástocný, Juraj Ilavský |
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Jens Braband |
On the Justification of a Risk Matrix for Technical Systems in European Railways. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Marc Antoni |
Complementarity between Axle Counters and Tracks Circuits. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Kerstin Hartig, Jens Gerlach, Juan Soto 0001, Jürgen Busse |
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Sonja-Lara Bepperling, Andreas Schöbel |
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle |
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Alexander Kuckelberg, Ekkehard Wendler |
Modeling Computer based, microscopic Dispatching Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto |
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto |
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi |
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Birgit Milius |
Designing a semi-quantitative risk graph. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Klaus-Rüdiger Hase |
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Tao Tang |
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich |
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Stefan Detering, Lars Schnieder |
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | André Sülflow, Rolf Drechsler |
Automatic Fault Localization for Programmable Logic Controllers. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Maria Antova, Dragan Jovicic, Thierry Breyne |
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann |
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe |
A Method of Evaluating Railway Signalling System Based on RAMS Concept. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Ralf Schweinsberg |
Achieving Europe-wide safety through technical harmonization. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | András Pataricza |
Towards Open Modular Critical Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Balázs Polgár, István Ráth, István Majzik |
Model-based Integration Framework for Development and Testing Tool-chains. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi |
Model Checking Interlocking Control Tables. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Margarita Peltekova |
Safety and Security in Transportation Process - Not Just Technical Issue. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Ruzica Piskac, Frank van Harmelen, Ning Zhong 0001 (eds.) |
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th, 2007 |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Stefan Schlobach, E. Blaauw, M. El Kebir, Annette ten Teije, Frank van Harmelen, S. Bortoli, M. C. Hobbelman, K. Millian, Y. Ren, S. Stam, P. Thomassen, R. C. van het Schip, W. van Willigem |
Anytime Classification by Ontology Approximation. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Vlad Tanasescu |
Differences + Triple Spaces = Active Triple Spaces. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Raphael Volz |
Change Paths in Reasoning! |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Valentin Zacharias, Andreas Abecker, Denny Vrandecic, Imen Borgi, Simone Braun, Andreas P. Schmidt |
Mind the Web. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Reto Krummenacher, Elena Simperl, Dieter Fensel |
Towards Scalable Information Spaces. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Carlos Pedrinaci, Tim Smithers, Amaia Bernaras |
Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman |
Sampling and Soundness: Can We Have Both? |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | George Anadiotis, Spyros Kotoulas, Ronny Siebes |
An Architecture for Peer-to-peer Reasoning. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Christian Morbidoni, Axel Polleres, Giovanni Tummarello |
Who the FOAF knows Alice? A Needed Step Toward Semantic Web Pipes. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
38 | Abir Qasem, Dimitre A. Dimitrov, Jeff Heflin |
Efficient Selection and Integration of Data Sources for Answering SemanticWeb Queries. |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
35 | Stijn Dekeyser, Jan Hidders, Richard Watson 0001, Ron Addie |
Peer-to-peer form based web information systems. |
ADC |
2006 |
DBLP BibTeX RDF |
World Wide Web (WWW) |
34 | Rinus Plasmeijer, Peter Achten |
iData for the World Wide Web - Programming Interconnected Web Forms. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
server side web programming, functional programming, web forms |
34 | Hyung-Mok Lee, Kyung Ju Ha, Kyo-Min Ku |
ID-based Multi-party Authenticated Key Agreement Protocols from Multilinear Forms. |
ISC |
2005 |
DBLP DOI BibTeX RDF |
tripartite, multilinear forms, authentication, key agreement protocol, ID-based |
34 | Gershon Elber |
Line Art Illustrations of Parametric and Implicit Forms. |
IEEE Trans. Vis. Comput. Graph. |
1998 |
DBLP DOI BibTeX RDF |
implicit forms, surface coverage, Sketches, NURBs, line drawings, printing, illustrations, freeform surfaces |
34 | Jean-Pierre Cherdieu, Antoine Delcroix, Jean-Claude Mado, Dany-Jack Mercier |
Weight Distribution of the Hermitian Forms Codes. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
He?mitian-forms Codes, Trace Codes, Weight distribution |
34 | Swapna Gupta, J. Scott Hawker, Randy K. Smith |
Acquiring and delivering lessons learned for NASA scientists and engineers: a dynamic approach. |
ACM Southeast Regional Conference (2) |
2005 |
DBLP DOI BibTeX RDF |
dynamic forms, web forms |
34 | Ulrich Bohnacker, Johannes Schacht, Tulug Yucel |
Matching form lines based on a heuristic search. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
form line matching, form reading applications, form field location, form image nonlinear distortions, photocopied forms, facsimile transmission, reference form, filled form, corresponding line pairs, pixel mapping, A*-search algorithm, horizontal lines, vertical lines, rejected form lines, form identification, form structures, complexity, heuristic search, image quality, run time, error rate, business forms, form recognition |
34 | Michael D. Garris, Darrin L. Dimmick |
Form Design for High Accuracy Optical Character Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
Form design, idiosyncratic responses, tax forms, neural networks, optical character recognition, handwriting recognition, forms processing |
34 | Jinhui Liu, Xiaoqing Ding, Youshou Wu |
Description and recognition of form and automated form data entry. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
automated form data entry, form description method, frame lines, printed forms, frame line detection, business forms, form recognition |
31 | Meera Blattner |
Transductions of Context-Free Languages into Sets of Sentential Forms. |
ICALP |
1974 |
DBLP DOI BibTeX RDF |
|
31 | Emmanuel Kounalis |
Pumping Lemmas for Tree Languages Generated by Rewrite Systems. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
Ground normal forms, Finiteness, Language representation, Compiling pattern-matching, Rewrite systems, Equations, Learning from examples, Finite models, Pumping Lemmas, Negation as failure, Proof by induction, Context-sensitive languages |
31 | Guilhem Castagnos, Antoine Joux, Fabien Laguillaumie, Phong Q. Nguyen |
Factoring pq2 with Quadratic Forms: Nice Cryptanalyses. |
ASIACRYPT |
2009 |
DBLP DOI BibTeX RDF |
Factorisation, Binary Quadratic Forms, Homogeneous Coppersmith’s Root Finding, Lattices, Public-key Cryptanalysis |
31 | Caroline Jarrett |
Label placement in forms: what's best? |
BCS HCI (2) |
2008 |
DBLP BibTeX RDF |
web design, forms |
31 | Subhrajit Das, Tom McEwan, Donna Douglas |
Using eye-tracking to evaluate label alignment in online forms. |
NordiCHI |
2008 |
DBLP DOI BibTeX RDF |
online forms, research into practice, usability, e-commerce, eye-tracking |
31 | Franz Waldher, Jürgen Thierry, Simon Grasser |
Aspects of Anatomical and Chronological Sequence Diagrams in Software-Supported Emergency Care Patient Report Forms. |
Mobile Response |
2007 |
DBLP DOI BibTeX RDF |
Emergency patient report forms, chronological sequence diagram, emergency, patient record |
31 | Venu Govindaraju |
Indexing and searching handwritten medical forms. |
DG.O |
2006 |
DBLP DOI BibTeX RDF |
medical forms processing, OCR |
31 | Keith O. Geddes, Ha Q. Le, Ziming Li 0002 |
Differential rational normal forms and a reduction algorithm for hyperexponential func. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
hyperexponential functions, normal forms, rational functions, reduction algorithms |
31 | Vasile Gradinaru, Ralf Hiptmair |
Multigrid for Discrete Differential Forms on Sparse Grids. |
Computing |
2003 |
DBLP DOI BibTeX RDF |
Whitney forms, edge elements, finite elements, multigrid, sparse grids, multilevel methods |
31 | Sergei A. Abramov, Ha Q. Le, Marko Petkovsek |
Rational canonical forms and efficient representations of hypergeometric terms. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
efficient representations, hypergeometric terms, canonical forms, rational functions |
31 | Anuj Srivastava, Xiuwen Liu, Ulf Grenander |
Universal Analytical Forms for Modeling Image Probabilities. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2002 |
DBLP DOI BibTeX RDF |
Image probabilities, Bessel K forms, clutter classification, spectral analysis, Gabor filters, target recognition |
31 | Elena N. Zaitseva, Tatiana Kalganova, Evgeny G. Kochergov |
Logical Not Polynomial Forms to Represent Multiple-Valued Functions. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
logical not polynomial forms of MVL function, fast discrete orthogonal transform, genetic algorithms, MVL function |
31 | Andy C. Downton, S. J. Hanlon, A. Amiri |
A visual programming toolkit demonstrator for offline handwritten forms recognition. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
visual programming toolkit, handwritten forms recognition, postcode recognition, form-specific, alphanumeric character recognition, handwriting recognition, offline |
31 | David W. Embley |
Forms-based automatic program generation. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Administrative forms, Automatic programming, Data abstractions, Very high level languages, Interactive computing |
31 | Matthew Fisher, Peter Schröder, Mathieu Desbrun, Hugues Hoppe |
Design of tangent vector fields. |
ACM Trans. Graph. |
2007 |
DBLP DOI BibTeX RDF |
constrained Laplace and Poisson problems for 1-forms, discrete differential 1-forms, discrete exterior calculus, texture synthesis |
31 | Jiing-Yuh Wang, Liang-Hua Chen, Kuo-Chin Fan, Hong-Yuan Mark Liao |
Separation of Chinese characters from graphics. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
feature point clustering, overlapping line problem, geographic information systems, geographical information systems, optical character recognition, document image processing, line drawings, forms processing, Chinese characters, robust algorithm, business forms |
31 | Peter A. Streufert |
The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
28 | Kimmo Kettunen 0001, Eija Airio |
Is a Morphologically Complex Language Really that Complex in Full-Text Retrieval? |
FinTAL |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Magesh Jayapandian, H. V. Jagadish |
Automating the Design and Construction of Query Forms. |
IEEE Trans. Knowl. Data Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
28 | C. S. Sankar |
A method to document data entry forms. |
SIGDOC |
1983 |
DBLP DOI BibTeX RDF |
|
28 | Seymour Ginsburg, Nancy A. Lynch |
Size complexity in context-free grammars forms. |
J. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
27 | Kivanc M. Ozonat, Donald Young |
Towards a universal marketplace over the web: statistical multi-label classification of service provider forms with simulated annealing. |
KDD |
2009 |
DBLP DOI BibTeX RDF |
multi-label clustering, e-commerce, web forms, statistical classification |
27 | Willian Zalewski, Huei Diana Lee, Adewole M. J. F. Caetano, Ana Carolina Lorena, André Gustavo Maletzke, João José Fagundes, Cláudio Saddy Rodrigues Coy, Feng Chung Wu |
Evaluation of Models for the Recognition of Hadwritten Digits in Medical Forms. |
BSB |
2008 |
DBLP DOI BibTeX RDF |
medical forms, Machine learning, digit recognition |
27 | Michael Brickenstein, Alexander Dreyer |
Gröbner-free normal forms for boolean polynomials. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
boolean polynomials, gröbner, interpolation, normal forms |
27 | Elizabeth L. Mansfield |
Digital atlases and difference forms. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
difference chains, difference forms, lattice variety, local difference potentials, local exactness, symbolic numeric methods, cohomology |
27 | José Miguel Blanco Arbe, Ana Sánchez Ortega, Jesús Ibáñez Mártinez-Conde |
Formal languages through web forms and regular expressions. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
regular expressions, JavaScript, web forms |
27 | Yoshinori Hamahata |
A Note on Modular Forms on Finite Upper Half Planes. |
WAIFI |
2007 |
DBLP DOI BibTeX RDF |
Finite upper half planes, modular forms |
27 | Peter Bürgisser, Peter Scheiblechner |
Differential forms in computational algebraic geometry. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
differential forms, irreducible components, complexity, connected components |
27 | Narayan Veeramani |
Smart Clients versus Web Forms. |
Computer |
2006 |
DBLP DOI BibTeX RDF |
smart clients, software technologies, web forms, Microsoft .NET |
27 | Marcelo Arenas, Leonid Libkin |
An information-theoretic approach to normal forms for relational and XML data. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
normalization algorithms, XML, design, relational databases, Information theory, normal forms |
27 | Emmanuel Beffara, Vincent Danos |
Disjunctive normal forms and local exceptions. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
classical realizability, control structures, disjunctive normal forms |
27 | Alexander A. Davydov, Hubertus Th. Jongen |
Normal Forms in One-Parametric Optimization. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
generalized critical point, normal forms, parametric optimization |
27 | Marc Joye, Christophe Tymen |
Compact Encoding of Non-adjacent Forms with Applications to Elliptic Curve Cryptography. |
Public Key Cryptography |
2001 |
DBLP DOI BibTeX RDF |
smart-cards, Public-key cryptography, elliptic curves, non-adjacent forms |
27 | Gilles Villard |
Fast Parallel Algorithms for Matrix Reduction to Normal Forms. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
???? C 2 K, Matrix normal forms, Unimodular matrices, Similarity matrices, Parallel algorithm |
27 | Zahir Tari, John Stokes, Stefano Spaccapietra |
Object Normal Forms and Dependency Constraints for Object-Oriented Schemata. |
ACM Trans. Database Syst. |
1997 |
DBLP DOI BibTeX RDF |
functional and multivalued dependencies, data model, normal forms, object-oriented paradigm |
27 | Zeljko Zilic, Zvonko G. Vranesic |
Reed-Muller Forms for Incompletely Specified Functions via Sparse Polynomial Interpolation. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
Reed-Muller forms, sparse polynomial interpolation, MVL RM transforms, interpolation, multivalued logic, Reed-Muller codes, polynomial interpolation, incompletely specified functions, computationally efficient algorithm |
27 | Jianxing Yuan, Yuan Yan Tang, Ching Y. Suen |
Four directional adjacency graphs (FDAG) and their application in locating fields in forms. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
four directional adjacency graphs, non-hierarchical spatial data structure, structural analysis, spatial data structures, forms |
27 | Chaya Gurwitz, Michael L. Overton |
A Globally Convergent Algorithm for Minimizing Over the Rotation Group of Quadratic Forms. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1989 |
DBLP DOI BibTeX RDF |
globally convergent algorithm, rotation group, computer vision, convergence, quadratic programming, minimisation, minimisation, sequential quadratic programming, quadratic forms |
27 | H. Allen Curtis |
Simplified Decomposition of Boolean Functions. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
Complex functional canonical forms, decomposition of Boolean functions, decomposition charts and numerical analogs, decomposition classification tables, functional canonical forms, residue functions, residue sets |
25 | Ryo Ohtera, Takahiko Horiuchi |
Faxed Form Identification using Histogram of the Hough-Space. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 11554 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|