|
|
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 |
14 | |
Case Report Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 309, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Miller, Victor Reiner |
Differential Posets and Smith Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(3), pp. 197-228, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Invariant factors, Differential poset, Dual graded graphs, Smith normal form |
14 | Chris E. Weaver |
Conjunctive Visual Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(6), pp. 929-936, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos |
Using Third Party Services to Adapt Learning Material: A Case Study with Google Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Learning in the Synergy of Multiple Disciplines, 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, Nice, France, September 29 - October 2, 2009, Proceedings, pp. 744-750, 2009, Springer, 978-3-642-04635-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
adaptive educational systems, service integration, IMS Learning Design |
14 | John Zimmerman, Kathryn Rivard, Ian Hargraves, Anthony Tomasic, Ken Mohnkern |
User-created forms as an effective method of human-agent communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 1869-1878, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
information retrieval, agents, interaction design, mixed-initiative |
14 | Mi Li, Yangyang Song, Shengfu Lu, Ning Zhong 0001 |
The Layout of Web Pages: A Study on the Relation between Information Forms and Locations Using Eye-Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMT ![In: Active Media Technology, 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009. Proceedings, pp. 207-216, 2009, Springer, 978-3-642-04874-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Robert C. Kirby, Anders Logg |
Benchmarking Domain-Specific Compiler Optimizations for Variational Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 35(2), pp. 10:1-10:18, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FErari, FFC, complexity-reducing relations, variational form, optimization, compiler, Finite element method |
14 | George A. Ropokis, Athanasios A. Rontogiannis, P. Takis Mathiopoulos |
Quadratic forms in normal RVs: theory and applications to OSTBC over hoyt fading channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(12-1), pp. 5009-5019, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ruihu Li, Zongben Xu, Xueliang Li 0001 |
Standard Forms of Stabilizer and Normalizer Matrices for Additive Quantum Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(8), pp. 3775-3778, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wenqin Zhou, David J. Jeffrey |
Fraction-free matrix factors: new forms for LU and QR factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(1), pp. 67-80, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fraction free LU factoring, fraction free Gaussian elimination, fraction free QR factoring, complexity analysis |
14 | Artur Przelaskowski, Katarzyna Sklinda, Grzegorz Ostrek |
Stroke Display Extensions: Three Forms of Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Technologies in Biomedicine ![In: Information Technologies in Biomedicine, pp. 139-148, 2008, Springer, 978-3-540-68167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Kimmo Kettunen 0001 |
Automatic Generation of Frequent Case Forms of Query Keywords in Text Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GoTAL ![In: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings, pp. 222-236, 2008, Springer, 978-3-540-85286-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Qiming Chen, Meichun Hsu |
SQL TVF Controlling Forms - Express Structured Parallel Data Intensive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 106-115, 2008, Springer, 978-3-540-85653-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Lassina Dembélé, Steve Donnelly |
Computing Hilbert Modular Forms over Fields with Nontrivial Class Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: Algorithmic Number Theory, 8th International Symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008, Proceedings, pp. 371-386, 2008, Springer, 978-3-540-79455-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Gudmund Skovbjerg Frandsen, Piotr Sankowski |
Dynamic Normal Forms and Dynamic Characteristic Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, pp. 434-446, 2008, Springer, 978-3-540-70574-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | André Kushniruk, Elizabeth M. Borycki, James G. Anderson, Marilyn M. Anderson |
Combining two forms of simulation to predict the potential impact of interface design on technology-induced error in healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 497-504, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clinical simulations, technology-induced error, usability, healthcare, medical error |
14 | Joan Boyar, Philip Matthews, René Peralta 0001 |
On the Shortest Linear Straight-Line Program for Computing Linear Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 168-179, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hong Linh Truong 0001, Schahram Dustdar, Dino Baggio, Stephane Corlosquet, Christoph Dorn 0001, Giovanni Giuliani, Robert Gombotz, Yi Hong 0005, Pete Kendal, Christian Melchiorre, Sarit Moretzky, Sebastien Peray, Axel Polleres, Stephan Reiff-Marganiec, Daniel Schall 0001, Simona Stringa, Marcel Tilly, HongQing Yu |
inContext: A Pervasive and Collaborative Working Environment for Emerging Team Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: Proceedings of the 2008 International Symposium on Applications and the Internet, SAINT 2008, 28 July - 1 August 2008, Turku, Finland, pp. 118-125, 2008, IEEE Computer Society, 978-0-7695-3297-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Huaigu Cao, Venu Govindaraju |
Processing and retrieving handwritten medical forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 9th Annual International Conference on Digital Government Research, Partnerships for Public Innovation, DG.O 2008, Montreal, Canada, May 18-21, 2008, pp. 371-372, 2008, Digital Government Research Center, 978-1-60558-099-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
information retrieval, OCR, Markov random fields |
14 | Sheau-Wen Shiah, Pai-Yu Chang, Tzeng-Yuan Heh, Po-Hung Lin |
Real-Time Neural Networks Application of Micro-Electroforming for Different Geometry Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings, pp. 21-31, 2008, Springer, 978-3-540-78581-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Micro-Electroforming, Neural Networks, Real-Time |
14 | Robert C. Kirby, Anders Logg |
Efficient compilation of a class of variational forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 33(3), pp. 17, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
loop hoisting, monomials, variational form, compiler, automation, finite element, granularity, BLAS |
14 | Sanghamitra Roy, Weijen Chen, Charlie Chung-Ping Chen, Yu Hen Hu |
Numerically Convex Forms and Their Application in Gate Sizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(9), pp. 1637-1647, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu |
Towards Translation of Legal Sentences into Logical Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers, pp. 349-362, 2007, Springer, 978-3-540-78196-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Zhoulin Dai, Gu Yi, Liu Jun, Xu Yi Jie |
Experiences in Accurately Estimating Electronic Forms Conversion Services with a Spiral Estimate Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 497-500, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Miriam Weinel, Chun Hu |
Social presence and student perceptions in the blend of synchronous and asynchronous communication forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007, Niigata, Japan, July 18-20, 2007, pp. 701-703, 2007, IEEE Computer Society, 978-0-7695-2916-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Bernd Stadlhofer, Peter Salhofer |
Automatic generation of e-government forms from semantic descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007, Macao, China, December 10-13, 2007, pp. 12-19, 2007, ACM, 978-1-59593-822-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GEA, XSD, semantic web, e-government, OWL, RDF, XForms |
14 | Kimmo Kettunen 0001 |
Management of keyword variation with frequency based generation of word forms in IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 691-692, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
management of morphological variation, monolingual information retrieval, word form generation, evaluation |
14 | Iris Karvonen, Iiro Salkari, Martin Ollus |
Identification Of Forms And Components Of Vo Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Enterprises and Collaborative Networks ![In: Establishing The Foundation of Collaborative Networks, IFIP TC 5 Working Group 5.5 Eighth IFIP Working Conference on Virtual Enterprises, September 10-12, 2007, Guimarães, Portugal, pp. 253-262, 2007, Springer, 978-0-387-73797-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Teng Lv, Ping Yan |
XML Normal Forms Based on Constraint-Tree-Based Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 348-357, 2007, Springer, 978-3-540-72908-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, Functional dependency, Normal form |
14 | Huaigu Cao, Venu Govindaraju |
Vector Model Based Indexing and Retrieval of Handwritten Medical Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pp. 88-92, 2007, IEEE Computer Society, 978-0-7695-2822-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Marius George Linguraru, Nicholas Ayache, Éric Bardinet, Miguel Ángel González Ballester, Damien Galanaud, Stéphane Haïk, Baptiste Faucheux, J.-J. Hauw, Patrick Cozzone, Didier Dormont, Jean-Philippe Brandel |
Differentiation of sCJD and vCJD forms by automated analysis of basal ganglia intensity distribution in multisequence MRI of the brain-definition and evaluation of new MRI-based ratios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 25(8), pp. 1052-1067, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Marcus Brazil, Doreen A. Thomas, Jia F. Weng, Martin Zachariasen |
Canonical Forms and Algorithms for Steiner Trees in Uniform Orientation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 44(4), pp. 281-300, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Uniform orientation metric, Fixed topology, Steiner tree problem |
14 | Yiying Tong, Pierre Alliez, David Cohen-Steiner, Mathieu Desbrun |
Designing quadrangulations with discrete harmonic forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Geometry Processing ![In: Proceedings of the Fourth Eurographics Symposium on Geometry Processing, Cagliari, Sardinia, Italy, June 26-28, 2006, pp. 201-210, 2006, Eurographics Association. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Dimov 0001, Vassil Alexandrov 0001, Simon Branford, Christian Weihrauch |
Error Analysis of a Monte Carlo Algorithm for Computing Bilinear Forms of Matrix Powers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III, pp. 632-639, 2006, Springer, 3-540-34383-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bertrand Coüasnon |
What can we learn from the processing of 165, 000 forms from the 19th century? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL ![In: Second International Workshop on Document Image Analysis for Libraries (DIAL 2006), 27-28 April 2006, Lyon, France, pp. 172-179, 2006, IEEE Computer Society, 0-7695-2531-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Christian Borgelt |
Canonical Forms for Frequent Graph Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Advances in Data Analysis, Proceedings of the 30th Annual Conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8-10, 2006, pp. 337-349, 2006, Springer, 978-3-540-70980-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Tharmalingam Ratnarajah, Rémi Vaillancourt |
Quadratic forms on complex random matrices and multiple-antenna systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(8), pp. 2976-2984, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Shuhei Miyashita, Satoshi Murata |
Topology Changes Enable Reaction-Diffusion to Generate Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings, pp. 159-168, 2005, Springer, 3-540-28848-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
geometric topology, reaction-diffusion, morphogenesis |
14 | Matthew Curtis-Maury, Tanping Wang |
Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 199-209, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yunwen Ye |
Dimensions and Forms of Knowledge Collaboration in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 805-812, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yue-Sun Kuo, N. C. Shih, Lendle Tseng, Hsun-Cheng Hu |
Forms-XML: Generating Form-Based User Interfaces for XML Vocabularies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings, pp. 925-925, 2005, Springer, 3-540-29227-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yali Ge, Rafal Rzepka, Kenji Araki |
Support for Internet-Based Commonsense Processing - Causal Knowledge Discovery Using Japanese "If" Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 950-956, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
commonsense, causal knowledge discovery, human-computer interface |
14 | Stefano Aguzzoli, Brunella Gerla |
Normal Forms for the One-Variable Fragment of Hájek's Basic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada, pp. 284-289, 2005, IEEE Computer Society, 0-7695-2336-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Gord Davison, Steve Murphy, Rebecca Wong |
The use of eBooks and interactive multimedia as alternative forms of technical documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 23rd Annual International Conference on Design of Communication: documenting & Designing for Pervasive Information, SIGDOC 2005, Coventry, UK, September 21-23, 2005, pp. 108-115, 2005, ACM, 1-59593-175-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
visualization, animation, human factors, documentation, audio, diagrams, user testing, graphic design, illustrations, eBook |
14 | Jonathan I. Maletic, Giuliano Antoniol, Jane Cleland-Huang, Jane Huffman Hayes |
3rd international workshop on traceability in emerging forms of software engineering (TEFSE 2005). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 462, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Robert Milewski, Srirangaraj Setlur, Venu Govindaraju |
A Lexicon Reduction Strategy in the Context of Handwritten Medical Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea, pp. 1146-1150, 2005, IEEE Computer Society, 0-7695-2420-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Fangjian Huang, Shengli Chen |
Schur partition for symmetric ternary forms and readable proof to inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 185-192, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Schur partition, positive semi-definite, symmetric inequality, ternary symmetric form |
14 | Ming Kang 0001, Mohamed-Slim Alouini |
Quadratic forms in complex Gaussian matrices and performance analysis of MIMO systems with cochannel interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 3(2), pp. 418-431, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Antonio Di Nola, Ada Lettieri |
On normal forms in Lukasiewicz logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(6), pp. 795-823, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
McNaughton function, Separation of variables |
14 | Yang-Cheng Lin, Hsin-Hsi Lai, Chung-Hsing Yeh |
Consumer Oriented Design of Product Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2004, International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part II, pp. 898-903, 2004, Springer, 3-540-22843-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | V. A. Vasenin, E. E. Dolgalev |
ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 29(5), pp. 277-282, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jan Flusser, Jirí Boldys, Barbara Zitová |
Moment Forms Invariant to Rotation and Blur in Arbitrary Number of Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 25(2), pp. 234-246, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
N-D imaging, blur invariants, group representation theory, image matching, rotation invariants |
14 | Marcelo Arenas, Leonid Libkin |
An information-theoretic approach to normal forms for relational and XML data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA, pp. 15-26, 2003, ACM, 1-58113-670-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
XML |
14 | Nicholas Kushmerick |
Learning to Invoke Web Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 997-1013, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | John Case, Sanjay Jain 0001, Franco Montagna, Giulia Simi, Andrea Sorbi |
On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Computational Learning Theory and Kernel Machines, 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings, pp. 699-713, 2003, Springer, 3-540-40720-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Peter G. Harrison |
Product-forms from a CAT and DOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 30(3), pp. 41-43, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Debabrata Dey, Sumit Sarkar |
Generalized Normal Forms for Probabilistic Relational Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(3), pp. 485-497, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
stochastic dependency, probabilistic normal form, functional dependency, belief network, data uncertainty, Probabilistic relational model |
14 | Peter Thiemann 0001 |
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 192-208, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CGI Programming, Haskell, Monads |
14 | Kalyanamalini Sahoo |
A Deterministic Finite State Automaton for the Oriya Negative Verbal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Engineering Conference ![In: 2002 Language Engineering Conference (LEC 2002), 13-15 December 2002, Hyderabad, India, pp. 110, 2002, IEEE Computer Society, 0-7695-1885-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | K. J. Adams, J. McGregor |
Comparison of Different Features of Quaternary Reed-Muller Canonical Forms and Some New Statistical Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 83-88, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | R. N. Bhaumik |
On Some Weaker Forms of Fuzzy Compactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFSS ![In: Advances in Soft Computing - AFSS 2002, 2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002, Proceedings, pp. 515-519, 2002, Springer, 3-540-43150-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Bruce P. Graham |
Multiple Forms of Activity-Dependent Plasticity Enhance Information Transfer at a Dynamic Synapse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks - ICANN 2002, International Conference, Madrid, Spain, August 28-30, 2002, Proceedings, pp. 45-50, 2002, Springer, 3-540-44074-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Maeve Gallagher |
A review of government support for new forms of working. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 15(1-2), pp. 149-159, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Government programmes, National initiatives, Reform, Evaluation, Partnership, Europe |
14 | Steve De Backer, Paul Scheunders |
Multispectral image fusion and merging using multiscale fundamental forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 902-905, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Claudio Zandron, Claudio Ferretti, Giancarlo Mauri |
Two Normal Forms for Rewriting P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings, pp. 153-164, 2001, Springer, 3-540-42121-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Petr Somol, Pavel Pudil, Jirí Grim |
Branch & Bound Algorithm with Partial Prediction for Use with Recursive and Non-recursive Criterion Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPR ![In: Advances in Pattern Recognition - ICAPR 2001, Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001, Proceedings, pp. 230-239, 2001, Springer, 3-540-41767-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
subset search, recursive criteria, feature selection, search tree, subset selection, optimal search |
14 | Toshihiko Yamasaki, Tadashi Shibata |
An analog similarity evaluation circuit featuring variable functional forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 561-564, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Rob Baltrusch |
Exploring Organizational Learning in Virtual Forms of Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
virtual organizations, organizational learning, organizational memory |
14 | Mário Amado Alves |
Safe Web Forms and XML Processing with Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, pp. 349-358, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
web services development, XML, Ada, HTML, CGI |
14 | Wing Seong Wong, Nasser Sherkat, Tony Allen |
Contextual Focus for Improved Recognition of Hand-Filled Forms. ![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. 748-752, 2001, IEEE Computer Society, 0-7695-1263-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Eric Clavier, Éric Trupin, M. Laurent, Sébastien Diana, Jacques Labiche |
Classifiers Combination for Forms Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 1932-1935, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Daniel J. Dougherty, Claudio Gutierrez 0001 |
Normal Forms and Reduction for Theories of Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 95-109, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Manfred Kudlek, Victor Mitrana |
Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000], pp. 135-146, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Claudia Bianchi |
Three Forms of Contextual Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 67-76, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Shan-Hwei Nienhuys-Cheng, Wim Van Laer, Jan Ramon, Luc De Raedt |
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, pp. 245-256, 1999, Springer, 3-540-66109-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Yuki Hirayama |
A Framework for Forms Processing using Enhanced-Line-Shared-Adjacent Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Fifth International Conference on Document Analysis and Recognition, ICDAR 1999, 20-22 September, 1999, Bangalore, India, pp. 103-106, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Bruni, Fabio Gadducci, Ugo Montanari |
Normal Forms for Partitions and Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 31-47, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Anne Bottreau, Yves Métivier |
Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 110-124, 1998, Springer, 3-540-64300-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Nonnengart, Georg Rock, Christoph Weidenbach |
On Generating Small Clause Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 397-411, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Schwentick, Klaus Barthelmann |
Local Normal Forms for First-Order Logic with Applications to Games and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings, pp. 444-454, 1998, Springer, 3-540-64230-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Michael D. Garris |
Intelligent System for Reading Handwriting on Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 233-242, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Jung-Hsien Chiang, Paul D. Gader |
Recognition of handprinted numerals in VISA® card application forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 10(3), pp. 144-149, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Neural networks, Computer vision, OCR, Self-organization, Handwriting recognition |
14 | Song Chun Zhu, Alan L. Yuille |
FORMS: A flexible object recognition and modelling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 20(3), pp. 187-212, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Michael Bertol, Volker Diekert |
Trace Rewriting: Computing Normal Forms in Time O(n log n). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 269-280, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
rewriting modulo a partial commutation, Mazurkiewicz traces |
14 | Cathy Escazut, Philippe Collard |
Learning Disjunctive Normal Forms in a Dual Classifier System (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-95, 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25-27, 1995, Proceedings, pp. 271-274, 1995, Springer, 3-540-59286-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Leonard A. Hermens, Jeffrey C. Schlimmer |
A Machine-Learning Apprentice for the Completion of Repetitive Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 9(1), pp. 28-33, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Juan J. Navarro, Toni Juan, Tomás Lang |
MOB forms: a class of multilevel block algorithms for dense linear algebra operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, pp. 354-363, 1994, ACM, 0-89791-665-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Limsoon Wong |
Normal Forms and Conservative Properties for Query Languages over Collection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 26-36, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | C. J. Date 0001, Ronald Fagin |
Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(3), pp. 465-476, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
5NF, BCNF, Boyce-Codd normal form, PJ/NF, fifth normal form, fourth normal form 4NF, projection-join normal form, simple key, relational database, normalization, database design, functional dependency, multivalued dependency, join dependency |
14 | Chong-Huah Lo, Hon-Son Don |
3-D Moment Forms: Their Construction and Application to Object Identification and Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(10), pp. 1053-1064, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
3D moment method, Clebsch-Gordon expansion, pattern recognition, pattern recognition, motion estimation, picture processing, picture processing, perturbation, tensor, object identification, group theory, group theory, complex moments |
14 | Aart Middeldorp |
Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings, pp. 263-277, 1989, Springer, 3-540-51081-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Valtteri Niemi |
Maximal Dense Intervals of Grammar Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings, pp. 424-438, 1988, Springer, 3-540-19488-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Viliam Geffert |
Context-Free-Like Forms for the Phrase-Structure Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings, pp. 309-317, 1988, Springer, 3-540-50110-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Vít Ochozka, Olga Stepánková, Petr Stepánek |
Normal Forms and the Complexity of Computations of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings, pp. 357-371, 1988, Springer, 3-540-51659-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Serge Abiteboul, Richard Hull 0001 |
Restructuring of Complex Objects and Office Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'86, International Conference on Database Theory, Rome, Italy, September 8-10, 1986, Proceedings, pp. 54-72, 1986, Springer, 3-540-17187-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Dario Bini |
Border Rank of a pxqx2 Tensor and the Optimal Approximation od a Pair of Bilinear Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings, pp. 98-108, 1980, Springer, 3-540-10003-2. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
14 | Ronald Fagin |
Normal Forms and Relational Database Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30 - June 1., pp. 153-160, 1979, ACM, 0-89791-001-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
14 | Je-ho Oh, So-young Kim, Seunghun Kim, Chungkon Shi |
A Study of Interactive Art in the Narrative Form of "Magic Monkey". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Eighth International Conference on Computer Graphics, Imaging and Visualization, CGIV 2011, Singapore, August 17-19, 2011, pp. 39-46, 2011, IEEE Computer Society, 978-1-4577-0981-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
narrative forms, Kinect, the Magic Monkey, Interactive art, interactive storytelling |
14 | Karam Park, Joon-Sang Park, Won Woo Ro |
On Improving Parallelized Network Coding with Dynamic Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 21(11), pp. 1547-1560, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Conversion from sequential to parallel forms, parallel algorithms, concurrent programming, data communications, network communications |
14 | Bastian Laubner |
Capturing Polynomial Time on Interval Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 199-208, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
capturing of polynomial time, fixed-point logic with counting, interval graphs, canonical forms, modular decomposition |
Displaying result #401 - #500 of 11554 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|