Search results for "numeric"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Masanori Anegawa, Osamu Shiku, Akira Nakamura, T. Ohyamat, Hideo Kuroda	A system for recognizing numeric strings from topographical maps.	ICDAR	1995	DBLP DOI BibTeX RDF	automatic recognition stage, interactive recognition stage, uncertain numeric string extraction, map image, cartography, numerals, topographical maps, numeric string recognition
60	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms.	SNC	2007	DBLP DOI BibTeX RDF	multivariate rational function, random matrix, structured matrix, interpolation, probabilistic analysis, condition number, sparse polynomial, symbolic/numeric hybrid method
60	Lihong Zhi	Numerical optimization in hybrid symbolic-numeric computation.	SNC	2007	DBLP DOI BibTeX RDF	numerical optimization, symbolic/numeric hybrid methods
56	J. B. Harvill	Functional Parallelism in an Operand State Saving Computer.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
55	Gregory J. Reid, Jianliang Tang, Lihong Zhi	A complete symbolic-numeric linear method for camera pose determination.	ISSAC	2003	DBLP DOI BibTeX RDF	involutive bases, jet spaces, numeric elimination, numeric jet geometry, polynomial solving, calibration, partial differential equations, numerical linear algebra, camera pose estimation
55	G. Congedo, Giovanni Dimauro, Sebastiano Impedovo, Giuseppe Pirlo	Segmentation of numeric strings.	ICDAR	1995	DBLP DOI BibTeX RDF	numeric strings segmentation, handwritten numeric strings, hypothesis-then-verification strategy, multiple segmentation algorithms, high-confidence segmentation hypotheses, image segmentation, character recognition
55	Hoo-Min D. Toong, Svein O. Strommen, Earl R. Goodrich II	A Gemeral Multi-Microprocessor Interconnection Mechanism for Non-Numeric Processing.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
55	Safwat G. Zaky	Microprocessors for Non-Numeric Processing.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
54	Satoru Nishimura, Masahiro Terabe, Kazuo Hashimoto	Decision Tree Induction from Numeric Data Stream.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	Numeric Data Stream, Hoeffding Tree, Concept Drift
54	Erich L. Kaltofen, Lihong Zhi	Hybrid symbolic-numeric computation.	ISSAC	2006	DBLP DOI BibTeX RDF	symbolic/numeric hybrid methods
54	Denis Gopan, Thomas W. Reps, Shmuel Sagiv	A framework for numeric analysis of array operations.	POPL	2005	DBLP DOI BibTeX RDF	abstract numeric domains, array analysis, canonical abstraction, program analysis, summarization
54	Malek Mouhoub	Reasoning about numeric and symbolic time information.	ICTAI	2000	DBLP DOI BibTeX RDF	symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra
53	Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv	Numeric Domains with Summarized Dimensions.	TACAS	2004	DBLP DOI BibTeX RDF
48	Amar Mukhopadhyay	A Proposal for a Hardware Text Processor.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
48	Forbes J. Burkowski	A Microprogrammed Search Controller for a Text Scanning Processor.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
48	Paul J. Sadowski, Stewart A. Schuster	Exploiting Parallelism in a Relational Associative Processor.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
48	David C. Roberts	A Specialized Computer Architecture for Text Retrieval.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
47	Yu-lung Lo, Ling-yi Tsai	Real-valued feature indexing for music databases.	ICUIMC	2009	DBLP DOI BibTeX RDF	numeric index, string index, content-based retrieval, multimedia database, music database
46	William W. McMillan, Christopher J. Gardiner	A Prolog System for Case-Based Classification (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Prolog
46	Jesús Rodríguez-Millán, Anna Patete, Carla González	Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?	EUROCAST	2007	DBLP DOI BibTeX RDF	Linear control systems, symbolic discretization, numeric integration, hybrid computation, nonlinear control systems
46	John P. May, B. David Saunders, David Harlan Wood	Numerical techniques for computing the inertia of products of matrices of rational numbers.	SNC	2007	DBLP DOI BibTeX RDF	matrix signature, product eigenvalue problem, lie group, symbolic/numeric hybrid method
46	Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes	Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series.	ISSAC	2005	DBLP DOI BibTeX RDF	Geddes series scheme, Geddes-Newton series expansions, approximation of functions, bilinear series, deconstruction/approximation/reconstruction technique (DART), multiple integration, splitting operator, tensor products, symbolic-numeric algorithms
46	Atsushi Hashizume, Yongguang Bao, Xiaoyong Du 0001, Naohiro Ishii	Generating Representative from Clusters of Association Rules on Numeric Attributes.	IDEAL	2003	DBLP DOI BibTeX RDF	Representative rules, Rule clustering, Association rules, Rule generation, Numeric attributes
46	Geoffrey I. Webb	Discovering associations with numeric variables.	KDD	2001	DBLP DOI BibTeX RDF	Impact Rule, Search, Association Rule, Numeric Data
46	Xiaoyong Du 0001, Zhibin Liu, Naohiro Ishii	Mining Association Rules on Related Numeric Attributes.	PAKDD	1999	DBLP DOI BibTeX RDF	Fuzzified relations, Data mining, Association rules, Numeric attributes
45	Yibo Li, Hongjuan Qian	Automatic Recognition System for Numeric Characters on Ammeter Dial Plate.	ICYCS	2008	DBLP DOI BibTeX RDF
45	Sergey Brin, Rajeev Rastogi, Kyuseok Shim	Mining Optimized Gain Rules for Numeric Attributes.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	region bucketing, dynamic programming, Association rules, support, confidence, binary space partitioning, gain
45	Si-Hun Sung, Woo-Sung Chun	Knowledge-Based Numeric Open Caption Recognition for Live Sportscast.	ICPR (2)	2002	DBLP DOI BibTeX RDF
45	Radu Sion, Mikhail J. Atallah, Sunil Prabhakar	On Watermarking Numeric Sets.	IWDW	2002	DBLP DOI BibTeX RDF
41	Tom R. Kibler	APCAM (A Practical Cellular Associative Memory).	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	Jai Menon 0001, David K. Hsiao	Access Control Mechanism of a Database Computer (DBC).	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	Gilles Berger-Sabbatel, Philippe Olivier Alexandre Navaux	Data Base Processor MAGE.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	M. Tamer Özsu, Esen A. Ozkarahan	SYNGLISH - A High-Level Query Language for the RAP Database Machine.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF	Semantic predication analysis, Synthetic english, Very-high-level query language, RAP.3, Relational model, Database machines
41	Kjell Bratbergsengen, Rune Larsen 0001, Oddvar Risnes, Terje Aandalen	A Neighbor Connected Processor Network for Performing Relational Algebra Operations.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	David Elliot Shaw	A Relational Database Machine Architecture.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	Richard D. Greenblatt, Thomas F. Knight, John T. Holloway, David A. Moon	A LISP Machine.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF	LISP
41	Ronnie K. Poon, Kwan Y. Wong	A Flexible Image Processor Using Array Elements.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF	Smalltalk
41	Jayanta Banerjee	Data Structuring and Indexing for Data Base Machines.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	Ellen J. Oliver, P. Bruce Berra	RELACS - A Relational Associative Computer System.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	Roger L. Haskin	Hardware for Searching Very Large Text Datahases.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	George P. Copeland	What if Mass Storage Were Free?	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	V. Vemuri, Raymond A. Liuzzi, Joseph P. Cavano, P. Bruce Berra	Evaluation of Alternative Data Base Machine Designs.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	G. Creutz, F. Kiel	An Approach Towards Information Systems with Very Large Numbers of Subscribers.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	G. Wolf	Associative Mass Storage for Data Bases.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	Roberto Bisiani	The Harpy Machine: A Data Structure-Oriented Architecture.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF	HARPY
41	Leonard J. Laub	Optical Mass Storage Technology.	Computer Architecture for Non-Numeric Processing	1980	DBLP DOI BibTeX RDF
41	John S. Hutchison, W. G. Roman	MADMAN Machine.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF	CODASYL, PDP-11
41	George P. Copeland	String Storage and Searching for Data Base Applications: Implementation of the INDY Backend Kernel.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Mohamed G. Gouda	A Hierarchial Controller for Concurrent Accessing of Distributed Databases.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Bezalel Gavish, Harvey S. Koch	An Extensible Architecture for Data Flow Processing.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Hsu Chang	Bubbles for Relational Database.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Jayanta Banerjee, David K. Hsiao	The Use of a Database Machine for Supporting Relational Databases.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Dante R. Matteucci	A Distributed Structure for the Automization of the Catalog of the National Cultural Heritage: Experiences and Proposals.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Robert R. Korfhage, W. H. E. Day, L. Beck, William F. Appelbe	Data Physics - An Unorthodox View of Data and Its Implications in Data Processors	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Mishell J. Stucki, Jerome R. Cox Jr., Gruia-Catalin Roman, P. N. Turcu	Coordinating Concurrent Access in a Distributed Database Architecture.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Allen Otis, George P. Copeland	Editing Requirements for Data Base Applications and Their Implementation on the INDY Backend Kernel.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Rhon Williams	A Multiprocessing System for the Direct Execution of LISP.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF	LISP
41	R. M. Bird, J. B. Newsbaum, J. L. Trefftzs	Text File Inversion: An Evaluation.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	A. El Masri, Jean Rohmer, Dimitri Tusera	A Machine for Information Retrieval.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	G. Jack Lipovski	Semantic Paging on Intelligent Discs.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
41	Barry M. Landson, Robert G. Sargent	A Comparison of Sequential and Associate Computing of Priority Queues.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	Maniel Vineberg	Implementation of Character String Pattern Matching on a Multiprocessor.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	R. M. Bird, J. C. Tu, R. M. Worthy	Associative/Parallel Processors for Searching Very Large Textual Data Bases.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	Ken J. McDonell	Trends in Non-Software Support for Input-Output Functions.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	David K. Hsiao, Krishnamurthi Kannan	The Architecture of a Database Computer - A Summary.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	Olin Bray	Data Management Requirements: The Similarity of Memory Management, Database Systems, and Message Processing.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	Robert S. Rosenthal	The Data Management Machine, A Classification.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	R. Cerretti, D. Jasilli, Dante R. Matteucci	Ulisse: An Italian project for a multifunctional terminal system.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
41	G. Jack Lipovski	On Imaginary Fields, Token Transfers and Floating Codes in Intelligent Secondary Memories.	Computer Architecture for Non-Numeric Processing	1977	DBLP DOI BibTeX RDF
40	Sylvie Guillaume	Ordinal Association Rules towards Association Rules.	DaWaK	2003	DBLP DOI BibTeX RDF	implicative analysis and numeric attributes, Association rules, interestingness measures
39	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Field-Sensitive Value Analysis by Field-Insensitive Analysis.	FM	2009	DBLP DOI BibTeX RDF
39	Ngoc Binh Nguyen, Tu Bao Ho	A Mixed Similarity Measure in Near-Linear Computational Complexity for Distance-Based Methods.	PKDD	2000	DBLP DOI BibTeX RDF	mixed similarity measure (MSM), distance-based methods, computational complexity, very large databases
39	Carla Limongelli, Marco Temperini	On the Uniform Representation of Mathematical Data Structures.	DISCO	1993	DBLP DOI BibTeX RDF
39	Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi	Simulation versus analytic-numeric methods: illustrative examples.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	analytic-numeric methods, simulation, performance evaluation
39	Alexander Brodsky 0001, Lei Zhang 0004, Sushil Jajodia	Answering Queries Based on Imprecision and Uncertainty Trade-Offs in Numeric Databases.	Secure Data Management	2007	DBLP DOI BibTeX RDF	numeric database, uncertainty, database security, data availability, imprecision
39	Adrien Poteaux	Computing monodromy groups defined by plane algebraic curves.	SNC	2007	DBLP DOI BibTeX RDF	monodromy, algebraic curves, symbolic-numeric computation, Riemann surfaces
39	Cen Li, Gautam Biswas	Unsupervised Learning with Mixed Numeric and Nominal Data.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	mixed numeric and nominal data, knowledge discovery, similarity measures, interpretation, feature weighting, conceptual clustering, Agglomerative clustering
39	Jesús Rodríguez-Millán	Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica.	EUROCAST	2001	DBLP DOI BibTeX RDF	Jacobian and extended linearization, integrated symbolic-graphic-numeric computation, notebooks, Design, Analysis, Mathematica, Nonlinear control systems
39	Todd C. Mowry, Chi-Keung Luk	Predicting Data Cache Misses in Non-Numeric Applications through Correlation Profiling.	MICRO	1997	DBLP DOI BibTeX RDF	cache miss prediction, non-numeric applications, profiling, correlation, latency tolerance
39	Georgios Paliouras, David S. Brée	The Effect of Numeric Features on the Scalability of Inductive Learning Programs.	ECML	1995	DBLP DOI BibTeX RDF	empirical concept learning, numeric features, scalability, decision trees
39	James R. Larus	Loop-Level Parallelism in Numeric and Symbolic Programs.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	symbolic programs, speed improvement, parallelism analyzer, parallelperformance, programcompilers, performance evaluation, parallel programming, parallel computer, parallel execution, dynamic behavior, sequential program, loop level parallelism, numeric programs
37	Stephen Magill, Ming-Hsien Tsai 0001, Peter Lee 0001, Yih-Kuen Tsay	Automatic numeric abstractions for heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	abstraction, program verification, termination, shape analysis, separation logic
37	Björn Gottfried, Arne Schuldt, Otthein Herzog	Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval.	KI	2007	DBLP DOI BibTeX RDF
37	Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez-López, Rafael Ceballos	NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs.	CAEPIA	2007	DBLP DOI BibTeX RDF
37	Amir Ahmad, Lipika Dey	Algorithm for Fuzzy Clustering of Mixed Data with Numeric and Categorical Attributes.	ICDCIT	2005	DBLP DOI BibTeX RDF
37	Detlef D. Nauck	Neuro-fuzzy learning with symbolic and numeric data.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Learning, Fuzzy system, Neuro-fuzzy system
37	Amjad Odet-Allah, Marwan Hassoun	An algorithm for symbolic and numeric architecture determination in a knowledge-based analog-to-digital converter synthesis environment using fuzzy membership functions.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
37	Daniel M. Lavery, Wen-mei W. Hwu	Modulo Scheduling of Loops in Control-intensive Non-numeric Programs.	MICRO	1996	DBLP DOI BibTeX RDF	control-intensive, modulo variable expansion, instruction-level parallelism, software pipelining, speculation, modulo scheduling
37	Apostolos Nikolaos Refenes, Eugene Eberbach, Stephen C. McCabe, Philip C. Treleaven	PARLE: A Parallel Target Language for Integrating Symbolic and Numeric Processing.	PARLE (2)	1989	DBLP DOI BibTeX RDF
37	John F. Palmer	The INTEL® 8087 numeric data processor.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
33	Xiulei Qin, Jun Wei 0001, Wenbo Zhang 0006, Hua Zhong 0001, Tao Huang 0001	A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems.	AINA	2010	DBLP DOI BibTeX RDF	subscription subsumption, subscription subsumption graph(SSG), non-numeric constraints, publish/subscribe, numeric constraints
32	Ioannis Z. Emiris, George M. Tzoumas	A real-time and exact implementation of the predicates for the Voronoi diagram of parametric ellipses.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	parametric ellipse, robust predicate, Voronoi diagram, symbolic-numeric computation
32	Jukka Valkonen, N. Asokan, Kaisa Nyberg	Ad Hoc Security Associations for Groups.	ESAS	2006	DBLP DOI BibTeX RDF	ad hoc group, passkey, numeric comparison, key agreement, security association
32	Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li	A Systematic Search Strategy for Product Configuration.	IEA/AIE	2004	DBLP DOI BibTeX RDF	numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration
32	Patrice Chalin	Improving JML: For a Safer and More Effective Language.	FME	2003	DBLP DOI BibTeX RDF	behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language
32	Sylvie Guillaume	Discovery of Ordinal Association Rules.	PAKDD	2002	DBLP DOI BibTeX RDF	implicative analysis, association rules, interestingness measures, numeric attributes
32	Xiaohua Hu 0001, Nick Cercone	Learning Maximal Generalized Decision Rules via Discretization, Generalization, and Rough Set Feature Selection.	ICTAI	1997	DBLP DOI BibTeX RDF	maximal generalized decision rule learning, rough set feature selection, maximal generalized decision rule mining, primitive values, symbolic attributes, high level concepts, identical tuples, predefined concept hierarchy, context sensitive feature merit measure, redundant condition values, maximal generalized decision rules, UCI data sets, market database, learning accuracy, generalization, deductive databases, rough sets theory, discretization, feature space, numeric attributes, attribute value
32	Robert R. Jueneman	A High Speed Manipulation Detection Code.	CRYPTO	1986	DBLP DOI BibTeX RDF	Manipulation Detection Code (MDC), birthday problem attacks, numeric data processor chip, math coprocessor chip, 8087, 80287, authentication, cryptography, digital signature, encryption, Message Authentication Code (MAC), IBM PC, checksums
31	M. Julia Flores, José A. Gámez 0001, Ana M. Martínez, José Miguel Puerta	GAODE and HAODE: two proposals based on AODE to deal with continuous variables.	ICML	2009	DBLP DOI BibTeX RDF
31	Xiangyang Li, Nong Ye	A Supervised Clustering and Classification Algorithm for Mining Data With Mixed Variables.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF