|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings, pp. 74-84, 2009, Springer, 978-3-642-03363-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(2), pp. 369-385, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sanskrit Computational Linguistics ![In: Sanskrit Computational Linguistics, First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers, pp. 320-327, 2008, Springer, 978-3-642-00154-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1136-1140, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009, pp. 349-360, 2009, ACM, 978-1-60558-551-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 13(1), pp. 51-77, 2000. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 1-12, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 210-213, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USA, pp. 738-742, 2001, IEEE Computer Society, 0-7695-1263-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Irina Perfilieva |
Normal forms in BL and L-sqcup algebras of functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(4), pp. 291-298, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XML Security ![In: Proceedings of the 2003 ACM Workshop on XML Security, Fairfax, VA, USA, October 31, 2003, pp. 104-111, 2003, ACM, 1-58113-777-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 1000-1001, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 82-85, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![Springer, 978-3-642-14260-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 77-85, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Jens Braband |
On the Justification of a Risk Matrix for Technical Systems in European Railways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 185-193, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Marc Antoni |
Complementarity between Axle Counters and Tracks Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 65-76, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 145-153, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Sonja-Lara Bepperling, Andreas Schöbel |
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 135-143, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 207-215, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Alexander Kuckelberg, Ekkehard Wendler |
Modeling Computer based, microscopic Dispatching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 87-95, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 117-124, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 55-63, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 195-205, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 125-133, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Birgit Milius |
Designing a semi-quantitative risk graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 175-183, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 5-38, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Tao Tang |
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 39, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 237-245, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Stefan Detering, Lars Schnieder |
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 217-225, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | André Sülflow, Rolf Drechsler |
Automatic Fault Localization for Programmable Logic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 247-256, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 167-174, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 155-164, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe |
A Method of Evaluating Railway Signalling System Based on RAMS Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 97-105, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Ralf Schweinsberg |
Achieving Europe-wide safety through technical harmonization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 3-4, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | András Pataricza |
Towards Open Modular Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 41-42, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 227-235, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi |
Model Checking Interlocking Control Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 107-115, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Margarita Peltekova |
Safety and Security in Transportation Process - Not Just Technical Issue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 45-53, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Vlad Tanasescu |
Differences + Triple Spaces = Active Triple Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Raphael Volz |
Change Paths in Reasoning! ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Valentin Zacharias, Andreas Abecker, Denny Vrandecic, Imen Borgi, Simone Braun, Andreas P. Schmidt |
Mind the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Reto Krummenacher, Elena Simperl, Dieter Fensel |
Towards Scalable Information Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Carlos Pedrinaci, Tim Smithers, Amaia Bernaras |
Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman |
Sampling and Soundness: Can We Have Both? ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | George Anadiotis, Spyros Kotoulas, Ronny Siebes |
An Architecture for Peer-to-peer Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Christian Morbidoni, Axel Polleres, Giovanni Tummarello |
Who the FOAF knows Alice? A Needed Step Toward Semantic Web Pipes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Abir Qasem, Dimitre A. Dimitrov, Jeff Heflin |
Efficient Selection and Integration of Data Sources for Answering SemanticWeb Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: 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, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
35 | Stijn Dekeyser, Jan Hidders, Richard Watson 0001, Ron Addie |
Peer-to-peer form based web information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADC ![In: Database Technologies 2006, Proceedings of the 17th Australasian Database Conference, ADC 2006, Hobart, Tasmania, Australia, January 16-19 2006, pp. 79-88, 2006, Australian Computer Society, 1-920682-31-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
World Wide Web (WWW) |
34 | Rinus Plasmeijer, Peter Achten |
iData for the World Wide Web - Programming Interconnected Web Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, pp. 242-258, 2006, Springer, 3-540-33438-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings, pp. 104-117, 2005, Springer, 3-540-29001-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 4(1), pp. 71-81, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(4), pp. 307-314, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (2) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2, pp. 370-375, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic forms, web forms |
34 | Ulrich Bohnacker, Johannes Schacht, Tulug Yucel |
Matching form lines based on a heuristic search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 86-, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(6), pp. 653-656, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 579-582, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings, pp. 511-522, 1974, Springer, 3-540-06841-4. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
31 | Emmanuel Kounalis |
Pumping Lemmas for Tree Languages Generated by Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 369-377, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, pp. 469-486, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction - Volume 2, BCS HCI 2008, Liverpool, United Kingdom, 1-5 September 2008, pp. 229-230, 2008, BCS, 978-1-906124-06-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
web design, forms |
31 | Subhrajit Das, Tom McEwan, Donna Douglas |
Using eye-tracking to evaluate label alignment in online forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, Lund, Sweden, October 20-22, 2008, pp. 451-454, 2008, ACM, 978-1-59593-704-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Response ![In: Mobile Response, First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers, pp. 9-18, 2007, Springer, 978-3-540-75667-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Emergency patient report forms, chronological sequence diagram, emergency, patient record |
31 | Venu Govindaraju |
Indexing and searching handwritten medical forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 7th Annual International Conference on Digital Government Research, DG.O 2006, San Diego, California, USA, May 21-24, 2006, pp. 73-74, 2006, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 183-190, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 71(1), pp. 17-42, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 7-14, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 24(9), pp. 1200-1214, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 302-307, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 707-710, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 972-979, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 26(3), pp. 56, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 948-951, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.12085, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Kimmo Kettunen 0001, Eija Airio |
Is a Morphologically Complex Language Really that Complex in Full-Text Retrieval? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FinTAL ![In: Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006, Proceedings, pp. 411-422, 2006, Springer, 3-540-37334-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Magesh Jayapandian, H. V. Jagadish |
Automating the Design and Construction of Query Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 21(10), pp. 1389-1402, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | C. S. Sankar |
A method to document data entry forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 2nd Annual International Conference on Systems Documentation, SIGDOC 1983, Seattle, Washington, USA, April 28-30, 1983, pp. 89-91, 1983, ACM, 0-89791-129-6. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
28 | Seymour Ginsburg, Nancy A. Lynch |
Size complexity in context-free grammars forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 23(4), pp. 582-598, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1313-1316, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 1295-1304, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSB ![In: Advances in Bioinformatics and Computational Biology, Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings, pp. 178-181, 2008, Springer, 978-3-540-85556-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
medical forms, Machine learning, digit recognition |
27 | Michael Brickenstein, Alexander Dreyer |
Gröbner-free normal forms for boolean polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 55-62, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
boolean polynomials, gröbner, interpolation, normal forms |
27 | Elizabeth L. Mansfield |
Digital atlases and difference forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 3-4, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 39(4), pp. 100-104, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
regular expressions, JavaScript, web forms |
27 | Yoshinori Hamahata |
A Note on Modular Forms on Finite Upper Half Planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIFI ![In: Arithmetic of Finite Fields, First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings, pp. 18-24, 2007, Springer, 978-3-540-73073-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Finite upper half planes, modular forms |
27 | Peter Bürgisser, Peter Scheiblechner |
Differential forms in computational algebraic geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 61-68, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
differential forms, irreducible components, complexity, connected components |
27 | Narayan Veeramani |
Smart Clients versus Web Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 39(8), pp. 93-95, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(2), pp. 246-283, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 203-211, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 101(1-4), pp. 255-265, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography, 4th International Workshop on Practice and Theory in Public Key Cryptography, PKC 2001, Cheju Island, Korea, February 13-15, 2001, Proceedings, pp. 353-364, 2001, Springer, 3-540-41658-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(6), pp. 511-537, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 22(4), pp. 513-569, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 36-43, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 752-755, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(11), pp. 1228-1232, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(10), pp. 1033-1044, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 566-569, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|