Search results for "Nelson"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Fei Liu 0018, Wataru Ohyama, Tetsushi Wakabayashi, Fumitaka Kimura	Automatic Assembling of Cadastral Maps Based on Generalized Hough Transformation.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Pingping Xiu, Liangrui Peng, Xiaoqing Ding, Hua Wang	Offline Handwritten Arabic Character Segmentation with Probabilistic Model.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Shijian Lu, Chew Lim Tan, Weihua Huang	Language Identification in Degraded and Distorted Document Images.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Michael Flaster, Bruce Hillyer, Tin Kam Ho	Exploratory Analysis System for Semi-structured Engineering Logs.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Tomohiro Nakai, Koichi Kise, Masakazu Iwamura	Use of Affine Invariants in Locally Likely Arrangement Hashing for Camera-Based Document Image Retrieval.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Kumar Chellapilla, Michael Shilman, Patrice Y. Simard	Combining Multiple Classifiers for Faster Optical Character Recognition.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Saleh A. Alrashed	Finding Hidden Semantics of Text Tables.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	A. Balasubramanian, Million Meshesha, C. V. Jawahar	Retrieval from Document Image Collections.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Jean-Luc Bloechle, Maurizio Rigamonti, Karim Hadjar, Denis Lalanne, Rolf Ingold	XCDF: A Canonical and Structured Document Format.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Gopal Datt Joshi, Saurabh Garg 0003, Jayanthi Sivaswamy	Script Identification from Indian Documents.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Shijian Lu, Chew Lim Tan	The Restoration of Camera Documents Through Image Segmentation.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Yoshinobu Hotta, Jun Sun 0004, Yutaka Katsuyama, Satoshi Naoi	Robust Chinese Character Recognition by Selection of Binary-Based and Grayscale-Based Classifier.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Peeta Basa Pati, A. G. Ramakrishnan	HVS Inspired System for Script Identification in Indian Multi-script Documents.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF	Gabor filter, prototype selection, script identification
23	Noorazrin Zakaria, Jean-Marc Ogier, Josep Lladós 0001	The Fuzzy-Spatial Descriptor for the Online Graphic Recognition: Overlapping Matrix Algorithm.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Apostolos Antonacopoulos, Dimosthenis Karatzas, David Bridson	Ground Truth for Layout Analysis Performance Evaluation.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Kengo Terasawa, Takeshi Nagasaki, Toshio Kawashima	Automatic Keyword Extraction from Historical Document Images.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Hervé Déjean, Jean-Luc Meunier	A System for Converting PDF Documents into Structured XML Format.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Kyoung Min Kim, Buhm Lee, Nam Sup Choi, Gwan Hee Kang, Joong Jo Park, Ching Y. Suen	Gray-Scale Thinning Algorithm Using Local Min/Max Operations.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Luiz Antônio Pereira Neves, João Marques de Carvalho, Jacques Facon, Flávio Bortolozzi, Sérgio Aparecido Ignácio	Handwritten Artefact Identification Method for Table Interpretation with Little Use of Previous Knowledge.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Qi Qiang, Qinming He	A Multiclass Classification Framework for Document Categorization.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Bo Yuan, Leong Kwoh, Chew Lim Tan	Finding the Best-Fit Bounding-Boxes.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Fadoua Drira, Frank Le Bourgeois, Hubert Emptoz	Restoring Ink Bleed-Through Degraded Document Images Using a Recursive Unsupervised Classification Technique.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Shuvendu K. Lahiri, Madanlal Musuvathi	An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
23	Norihiro Kamide	Natural deduction systems for Nelson's paraconsistent logic and its neighbors.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
23	Magdalena Ortiz 0001, Mauricio Osorio 0001	Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.	Answer Set Programming	2005	DBLP BibTeX RDF
23	Thomas Hillenbrand	A Superposition View on Nelson-Oppen.	IJCAR Doctoral Programme	2004	DBLP BibTeX RDF
23	Sergei P. Odintsov	Algebraic Semantics for Paraconsistent Nelson's Logic.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
23	James R. Wilson	A Multiplicative Decomposition Property of the Screening-and-Selection Procedures of Nelson et al.	Oper. Res.	2001	DBLP DOI BibTeX RDF
23	Alcides Lanza	Phil Winsor, Jon Christopher Nelson, Yu-Cheng Tseng, Michael Thompson, Joseph Klein, Thomas Clark, Larry Austin: CEMIsonics: The Threshold of Sound (CDMC Vol. 27) Compact disc, 1998, Centaur CRC 2407; available from Centaur Records, Inc., 8867 Highland Rd., Suite 206, Baton Rouge, Louisiana 70808, USA; telephone (225) 336-4877; fax (225) 336-9678; electronic mail info@centaurrecords.com; World Wide Web www.centaurrecords.com.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
23	Piero Pagliani	Rough Sets and Nelson Algebras.	Fundam. Informaticae	1996	DBLP DOI BibTeX RDF
23		The law of entertainment and broadcasting: By Vincent Nelson, 1995, hard-cover, Sweet & Maxwell, London, 559 pp., £79.00, ISBN 0421501502.	Comput. Law Secur. Rev.	1996	DBLP DOI BibTeX RDF
23	Alexander Verbraeck (eds.)	EUROMEDIA 1996 featuring WEBTEC-MEDIATEC-COMTEC-APTEC, Holiday Inn Nelson Dock, London, UK, December 19-21, 1996.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Bruce Pukema	Dutch Nelson, galaxy guy.	SIGGRAPH Visual Proceedings	1996	DBLP DOI BibTeX RDF
23	Cesare Tinelli, Mehdi T. Harandi	A New Correctness Proof of the {Nelson-Oppen} Combination Procedure.	FroCoS	1996	DBLP BibTeX RDF
23	Domenico Falcone, Fabio De Felice	Problems Relative to the Development of a Multimedia Package: A Proposal of a User Interface.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Peter J. H. Hinssen	Using Groupware to support Teleworking.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Jang Rai Roh, Gyo Ho Lee, Kyoung Mook Kook, Byung Do Ko	A Dynamic Session Management for the Distributed Multimedia-On-Demand System.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Jan-Willem van Aalst, Charles van der Mast	Analysis of Problems during Multimedia Development projects.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Wilhelm Dangelmaier, Stephan Kress, Rüdiger Wenski	Workflow Management in Telematics: A New Approach to Increase Productivity by the Use of a Flexible Time Management of Teleworkers.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Wolfgang Broll	Realizing Shared Virtual Worlds with VRML.	EUROMEDIA	1996	DBLP BibTeX RDF
23	José Neves 0001, José Machado 0001	The Application of Web-Based Multi-Agent Technology to Simulation Modelling.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Prasanna Ghali, Claude Comair	An Integrated Fault-Tolerance Scheme for Multimedia Applications.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Anton Eliëns, Frank Niessink, Bastiaan Schönhage, Jacco van Ossenbruggen, Paul Nash	Support for Business Process Redesign: Simulation, Hypermedia and the Web.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Maarten van de Ven, Ton Riemslag, Jan Zuidema	Multimedia Instructions for Laboratory Exercises in Materials Engineering.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Jean-Marc Reynders, Christel Knops	Interworking between CORBA distributed Applications and the World Wide Web.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Hassan A. Nour Eldin, H.-J. Nern, A. Strummer, J. Wassermann	Dynamic Generation of HTML-Pages by Using Complex Database Structures.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Alessandro Genco, Giuseppe Lo Re	Video-on-Demand Multiplexing Optimisation.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Jens Hoheisel, Klaus-Dieter Thoben, Frithjof Weber, Volker Wiehle	Concept and Application of a Software Tool for Creative Problem Solving in Groups.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Steven M. Furnell, Mark Green, Stephen Hope, Joseph P. Morrissey, Paul L. Reynolds	Non-Intrusive Security Arrangements to Support Terminal and Personal Mobility.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Alessandro Genco, Giuseppe Lo Re	Improving Process Migration by Local Naming Policy.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Feico Dillema, Paul J. M. Havinga, Paul Sijben, Gerard J. M. Smit	Audio Source Location for a Digital TV¬-director.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Miltos D. Grammatikakis, Martina Johl	Clock Level Simulation of an ATM Switch.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Elisabeth André, Jochen Müller 0001, Thomas Rist	WIP/PPP: Knowledge-Based Methods for Automated Multimedia Authoring.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Charles van der Mast, Martin van den Berg	Evaluation of Supermarket Designs using Virtual Reality.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Stephan Wurst, Klaus-Dieter Thoben, Roland Oehlmann	Java Applets for Remote Database Access.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Mara Nikolaidou, Dimosthenis Anagnostopoulos, E. Spyropoulos	Using Lotus Notes as an Internet Exploring Tool.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Mitja Lenic, Nikolaj Korbar, Milan Ojstersek, Viljem Zumer	A New Approach in Building City Information System.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Léon J. M. Rothkrantz, Robert J. van Vark, A. J. S. I. K. Bos, D. J. A. Pauw	An Educational Site on the World Wide Web.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Steven Furnell, D. A. Hill, I. Rosewall, Matthew J. Warren	A Telematics Security Training Application.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Paul J. M. Havinga, Gerard J. M. Smit, Arne Helme	Survey of Electronic Payment Methods and Systems.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Lubos Mikusiak, Miroslav Adámy	Viewing Formal Specifications in Z on World Wide Web.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Kyou-Ho Lee, Young-Wook Cha, Jong-Oh Kim	Towards Multimedia Services for the Residences.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Christian Geiger 0001, Ralf Hunstock, Volker Paelke	Rapid Prototyping of Animated 3-D Objects.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Youssef Monsef	Towards an Interactive and Cooperative Multimedia Editing using Cognitive Simulation Interface.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Dieter Spath, Markus Posur, Gebhard Selinger	Efficient Task Performance by Nomadic¬-Cooperative Work.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Rik Min	Parallelism in Working-, Learning-, and Do-Environments: The Parallel Instruction Theory for Coaching in Open Learning Environments for Simulation.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Uwe M. Borghoff, Pierre-Yves Chevalier, Jutta Willamowski	Adaptive Refinement of Search Patterns for Distributed Information Gathering.	EUROMEDIA	1996	DBLP BibTeX RDF
23	G. Henri ter Hofte, Hermen J. van der Lugt, Maurice A. W. Houtsma	CO4: A Comprehensive Model of Groupware Functionality.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Elizabeth M. Joyce, Steven M. Furnell, Paul L. Reynolds, Peter W. Sanders	Addressing Security in an Integrated Service Engineering Environment.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Eugene J. H. Kerckhoffs, Hans Vangheluwe	A Multi-Agent Architecture for Sharing Knowledge and Experimental Data about Water Treatment Plants through the Internet.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Alain Legault, Janet Matey	PC¬-Based Open Architecture Standards: An Overview.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Krzysztof Amborski	Access Networks for Broadband Services.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Alain Legault, Janet Matey	Mathematically Lossless Motion-¬JPEG: Better Than Uncompressed Video.	EUROMEDIA	1996	DBLP BibTeX RDF
23	Adam Engst	Xanadu light: a report on Ted Nelson's talk at Hypertext '93.	SIGWEB Newsl.	1994	DBLP DOI BibTeX RDF
23		The Neal Nelson Database BenchmarkTM: A Benchmark Based on the Realities of Business.	The Benchmark Handbook	1993	DBLP BibTeX RDF
23	H. Reza Taheri	An Analysis of the Neal Nelson Business Benchmark.	SIGMETRICS Perform. Evaluation Rev.	1990	DBLP DOI BibTeX RDF
23	Andrzej Sendlewski	Nelson algebras through Heyting ones: I.	Stud Logica	1990	DBLP DOI BibTeX RDF
23	Hans Walter Buff	ω-Konservativität der Nonstandardmengenlehre von Nelson BezüGlich ZF + Kompaktheitssatz.	Math. Log. Q.	1984	DBLP DOI BibTeX RDF
23	Stephen W. Smoliar	Review of "Literary machines" by Ted Nelson. 1983.	ACM SIGSOFT Softw. Eng. Notes	1983	DBLP DOI BibTeX RDF
23	Maria-Angelika Hanne	Zur Entwicklung von Unternehmungen im dynamischen Wettbewerb, die Aussagefähigkeit evolutionärer Modelle am Beispiel des Modells von Nelson und Winter.		1983	RDF
23	Richard A. V. Diener	The Social and Psychological Distortion of Information. Charles K. West. Chicago: Nelson-Hall; 1981: 147 pp. Price: $17.95 (8.95 paper).	J. Am. Soc. Inf. Sci.	1982	DBLP DOI BibTeX RDF
23	Jan De Geus, Frans Mulder, Bert Zuurke, Marilyn M. Levine	A replication of the Nelson and Mitroff experiment in teaching "bothsides" thinking.	J. Am. Soc. Inf. Sci.	1982	DBLP DOI BibTeX RDF
23	Stephen W. Smoliar	Two books named "Software reliability": review of "Software reliability" by Thomas A. Thayer, Myron Lipow, Eldred C. Nelson. North-Holland 1978. and "Software relibaility" by Hermann Kopetz. Springer-Verlag 1980.	ACM SIGSOFT Softw. Eng. Notes	1981	DBLP DOI BibTeX RDF
23	James Mulligan	Review of "Computers, Computers, Computers: In Fiction and In Verse, by D. Van Tassel"; Thomas Nelson, Inc.	SIGART Newsl.	1978	DBLP DOI BibTeX RDF
23	Diana Brignole	Equational characterization of Nelson algebra.	Notre Dame J. Formal Log.	1969	DBLP DOI BibTeX RDF
23	Robert W. House, Tibor Rado	A Generalization of Nelson's Algorithm for Obtaining Prime Implicants.	J. Symb. Log.	1965	DBLP DOI BibTeX RDF
13	Wim De Pauw, Steve Heisig	Visual and algorithmic tooling for system trace analysis: a case study.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
13	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
13	James Goulding, Tim J. Brailsford, Helen Ashman	Hyperorders and transclusion: understanding dimensional hypertext.	HT	2010	DBLP DOI BibTeX RDF	hyperorder, hyperstructure, set theory, transclusion, zigzag, hypermedia structure
13	Dmitry G. Korzun, Andrei V. Gurtov	A local equilibrium model for P2P resource ranking.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
13	Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao	A randomized interleaved DRAM architecture for the maintenance of exact statistics counters.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
13	Sipat Triukose, Zhihua Wen, Michael Rabinovich	Content delivery networks: how big is big enough?	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
13	Alma Riska, Erik Riedel	Evaluation of disk-level workloads at different time scales.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
13	David A. Patterson 0001	Viewpoint - Your students are your legacy.	Commun. ACM	2009	DBLP DOI BibTeX RDF
13	Lillian Smith, Frame Demchak	Project Chicago: green research.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	input and interaction, user experience design/ experience design, visualization, collaboration, interaction design, graphical user interface, technologies, sustainability, product design
13	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Combinable Extensions of Abelian Groups.	CADE	2009	DBLP DOI BibTeX RDF
13	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.	TACAS	2009	DBLP DOI BibTeX RDF
13	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Data Structures with Arithmetic Constraints: A Non-disjoint Combination.	FroCoS	2009	DBLP DOI BibTeX RDF
13	Ashish Tiwari 0001	Combining Equational Reasoning.	FroCoS	2009	DBLP DOI BibTeX RDF
13	Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli	A comprehensive combination framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	modal and description logics, decision procedures, Combination, higher-order logic, satisfiability modulo theory