Search results for "terms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Tiago A. Almeida 0001, Akebo Yamakami, Jurandy Almeida	Probabilistic anti-spam filtering with dimensionality reduction.	SAC	2010	DBLP DOI BibTeX RDF	anti-spam filtering, naive Bayes anti-spam filter, terms selection technique, dimensionality reduction
15	Mansoor Ahmed, Amin Anjomshoaa, Muhammad Asfand-e-yar, A Min Tjoa, Abid Khan	Towards an Ontology-Based Solution for Managing License Agreement Using Semantic Desktop.	ARES	2010	DBLP DOI BibTeX RDF	Terms and Conditions, SOPA, Ontologies, Software License, Semantic Desktop
15	Jonathon S. Hare, Paul H. Lewis	Automatically annotating the MIR Flickr dataset: experimental protocols, openly available data and semantic spaces.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	semantic image retrieval, visual-terms, evaluation, semantic spaces, automatic annotation, image content analysis
15	Lyes Limam, David Coquil, Harald Kosch, Lionel Brunie	Extracting User Interests from Search Query Logs: A Clustering Approach.	DEXA Workshops	2010	DBLP DOI BibTeX RDF	Query terms Taxonomy, clustering, log analysis
15	Salvador Nieto Sánchez, Evangelos Triantaphyllou	Optimization in Classifying Text Documents.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Indexing terms, Context descriptors, Document surrogate, Principle of least effort, PLE, One clause at a time algorithm, OCAT, Indexing vocabulary, Optimal indexing vocabulary, Semantic analysis methodologies, Word patterns, Text classification, Document classification, Computational linguistics, Vector space model, Keywords, Conjunctive normal form, CNF, Disjunctive normal form, DNF, VSM
15	Chuanxin Hu, Loong Fah Cheong	Linear Quasi-Parallax SfM Using Laterally-Placed Eyes.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Ego-motion estimation based on optical flow, Quasi-parallax terms, Lateral camera pairs, Compound eyes
15	Tatsuya Saito, Masahiko Sato 0008	Fly! Little Me: Localization of Body-Image within Reduced-Self.	HCI (2)	2009	DBLP DOI BibTeX RDF	Spatialized Display, Localization of Body-Image, Visual somatosensory Intergration, Categories and Subject Desciptors: H.5.2 [User Interfaces]: Evaluation/methodology, General terms: Performance, Security, Design, User-centered design, Human Factors, Theory, Experimentation, Interaction styles, Embodied Interface
15	Huandong Chen, Shulei Wu, Chunhui Song, Mingrui Chen	Research on the Learning Theory of E-learning.	NCM	2009	DBLP DOI BibTeX RDF	Terms
15	Xiaoya Tang	User search characteristics on a specialized digital collection fordomain- and task-specific information.	JCDL	2009	DBLP DOI BibTeX RDF	user study, query, keyword search, terms
15	Kunalè Kudagba, Omar El Beqqali, Hassan Badir	Enriching and Answering Proteomic Queries Using Semantic Knowledges.	OTM Workshops	2009	DBLP DOI BibTeX RDF	?-terms, minimal Transversals, Ontology, XML, Semantic Web, Trees, WordNet, Query Rewriting, Proteomics
15	Christophe Calvès, Maribel Fernández	Nominal Matching and Alpha-Equivalence.	WoLLIC	2008	DBLP DOI BibTeX RDF	?-equivalence, nominal terms, matching, Binders
15	Cesar Analide, António Abelha, José Machado 0001, José Neves 0001	An Agent Based Approach to the Selection Dilemma in CBR.	IDC	2008	DBLP DOI BibTeX RDF	Terms Algorithms, Languages, Theory
15	Hua Hu, Ying Liu, Xun Wang, Xia-jun Zhu, Bin Xu 0004	Road Extraction in Remote Sensing Images Using a New Algorithm.	IIH-MSP	2008	DBLP DOI BibTeX RDF	multi-weighted terms, bridge-link mode, remote sensing image, road extraction
15	Stephan Strodl, Christoph Becker 0001, Robert Neumayer, Andreas Rauber, Eleonora Nicchiarelli Bettelli, Max Kaiser, Hans Hofman, Heike Neuroth, Stefan Strathmann, Franca Debole, Giuseppe Amato 0001	Evaluating Preservation Strategies for Electronic Theses and Dissertations.	DELOS	2007	DBLP DOI BibTeX RDF	General Terms Digital Library, Long Term Access, Digital Preservation
15	Alannah Fitzgerald	Applications for Digital Libraries in Language Learning and the Professional Development of Teachers.	ECDL	2007	DBLP DOI BibTeX RDF	General Terms Case Studies, Educational Issues, Multilingual Issues, Information Retrieval, Multimedia, Computer-Supported Cooperative Work, Interoperability, Educational Applications, Computer-Supported Collaborative Learning, Knowledge Organization, Collection Development
15	Germán Creamer, Ryan Rowe, Shlomo Hershkop, Salvatore J. Stolfo	Segmentation and Automated Social Hierarchy Detection through Email Network Analysis.	WebKDD/SNA-KDD	2007	DBLP DOI BibTeX RDF	General Terms Social Network, Enron, Corporate Householding, Data Mining, Link Mining, Behavior Profile
15	Ketut Fundana, Niels Chr. Overgaard, Anders Heyden	Variational Segmentation of Image Sequences Using Deformable Shape Priors.	SCIA	2007	DBLP DOI BibTeX RDF	interaction terms, deformable shape priors, segmentation, tracking, level sets, region-based, Variational formulation
15	Grzegorz Protaziuk, Marzena Kryszkiewicz, Henryk Rybinski, Alexandre Delteil	Discovering Compound and Proper Nouns.	RSEISP	2007	DBLP DOI BibTeX RDF	multiword terms, compound nouns, proper nouns, frequent word sequences, frequent text patterns, text mining
15	Christopher Richard Wren, Ugur Murat Erdem, Ali Azarbayejani	Functional calibration for pan-tilt-zoom cameras in hybrid sensor networks.	Multim. Syst.	2006	DBLP DOI BibTeX RDF	General Terms Sensor Networks, Adaptive Systems, Video Surveillance
15	Chabane Djeraba, Moncef Gabbouj, Patrick Bouthemy	Multimedia indexing and retrieval: ever great challenges.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	General Terms Multimedia, Design, Algorithms, Human factors, Experimentation
15	Yigal Bejerano, Mark A. Smith, Joseph Naor, Nicole Immorlica	Efficient location area planning for personal communication systems.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	location area planning, terms-approximation algorithms, mobility management, cellular systems, personal communication system
15	Jens H. Krüger, Jens Schneider 0002, Rüdiger Westermann	ClearView: An Interactive Context Preserving Hotspot Visualization Technique.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Terms—Focus & Context, volume raycasting, GPU rendering
15	Ron T. Brown, Sharon W. Bowers	Feasibility of developing curriculum standards metadata.	JCDL	2006	DBLP DOI BibTeX RDF	search terms, teacher perceptions of search, metadata, video
15	Nelly Litvak, Werner R. W. Scheinhardt, Yana Volkovich	Probabilistic Relation between In-Degree and PageRank.	WAW	2006	DBLP DOI BibTeX RDF	General Terms Theory, Algorithms, Verification, Experimentation
15	Antonio Toral Ruiz, Georgiana Puscasu, Lorenza Moreno-Monteagudo, Rubén Izquierdo-Beviá, Estela Saquete Boró	University of Alicante at WiQA 2006.	CLEF	2006	DBLP DOI BibTeX RDF	General Terms Measurement, Performance, Experimentation
15	Ellen Balka	Inside the belly of the beast: the challenges and successes of a reformist participatory agenda.	PDC	2006	DBLP DOI BibTeX RDF	terms of engagement, participatory design, challenges, politics, public sector
15	Josef Kallrath	Solving Planning and Design Problems in the Process Industry Using Mixed Integer and Global Optimization.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	trilinear terms, concave objective functions, origin tracing, shelf life time, petro-chemical industry, optimization under uncertainty, stochastic mixed integer optimization, robust mixed integer optimization, Global Optimization, mixed integer programming, portfolio optimization, convex underestimators
15	Hugh E. Williams, Justin Zobel	Searchable words on the Web.	Int. J. Digit. Libr.	2005	DBLP DOI BibTeX RDF	Word occurrences, Indexing, Web search, Terms
15	Sirisha Kanda, Venu Dasigi	An architecture to automatically store and update MEDLINE data for text mining.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	functional keywords, term-document matrix, documents, terms
15	Xi Tong, Dalu Zhang, Zhe Yang 0003	Efficient Content Location Based On Interest-Cluster in Peer-to-Peer System.	ICEBE	2005	DBLP DOI BibTeX RDF	Terms-Peer-to-Peer, cluster, overlay network, Small-world
15	Nathaniel Good, Rachna Dhamija, Jens Grossklags, David Thaw, Steven Aronowitz, Deirdre K. Mulligan, Joseph A. Konstan	Stopping spyware at the gate: a user study of privacy, notice and spyware.	SOUPS	2005	DBLP DOI BibTeX RDF	EULA, ToS, end user license agreement, notice, security and usability, terms of service, privacy, spyware
15	Stephanie W. Haas, Ron T. Brown, Leo Cao, Jesse Wilbur	Evaluation of the govstat statistical interactive glossary: implications for just-in-time help.	DG.O	2005	DBLP BibTeX RDF	GovStat, statistical terms, animation, online help, help, glossary
15	Miklós Maróti, Ralph McKenzie	Finite basis problems and results for quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite axiomatizability, pseudo-complemented congruence lattices, Willard terms, quasivarieties
15	Eva Armengol, Enric Plaza	Relational Case-based Reasoning for Carcinogenic Activity Prediction.	Artif. Intell. Rev.	2003	DBLP DOI BibTeX RDF	feature terms, lazy learning methods, similarity assessment, toxicology dataset, machine learning
15	Madeline Ann Domino, Alan R. Hevner, Rosann Webb Collins	Applying agile software development processes to global virtual teams: a study of communication modalities.	SIGCPR	2002	DBLP DOI BibTeX RDF	virtual terms, agile software development, communication modes
15	Wim H. Hesselink, Jan Friso Groote	Wait-free concurrent memory management by Create and Read until Deletion (CaRuD).	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Shared memory, Consensus, Wait-free, Reference counting, Concurrent garbage collection, Terms
15	Frank Heile, Andrew Leaver	Hybrid Product Term and LUT Based Architectures Using Embedded Memory Blocks.	FPGA	1999	DBLP DOI BibTeX RDF	product terms, RAM, heterogeneous architecture
15	Yubin Dai, Teck Ee Loh, Christopher S. G. Khoo	A New Statistical Formula for Chinese Text Segmentation Incorporating Contextual Information.	SIGIR	1999	DBLP DOI BibTeX RDF	Chinese text segmentation, multi-word terms, word boundary identification, logistic regression
15	Mary E. Helander, Ming Zhao, Niclas Ohlsson	Planning Models for Software Reliability and Cost.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Budget constraints, cleanroom software development, Budget-Constrained Reliability-Maximization (BCRM) Model, cost planning, failure intensity, reliability allocation, Reliability-Constrained Cost-Minimization (RCCM) Model, software reliability. (*Terms introduced in this paper.), linear programming, software components, certification, nonlinear programming, COCOMO, operational profile, Lagrangian multipliers
15	Keith C. C. Chan, Wai-Ho Au	Mining Fuzzy Association Rules.	CIKM	1997	DBLP DOI BibTeX RDF	data mining, interestingness measure, fuzzy association rules, linguistic terms
15	Dimitris Nikolos, Haridimos T. Vergos	On the Yield of VLSI Processors with on-chip CPU Cache.	EDCC	1996	DBLP DOI BibTeX RDF	Indexing terms On-chip CPU caches, Partially good chips, Fault Tolerance, Yield Enhancement
15	Christophe Bourely, Gilles Défourneaux, Nicolas Peltier	Building Proofs or Counterexamples by Analogy in a Resoluton Framework.	JELIA	1996	DBLP DOI BibTeX RDF	extended resolution, second order terms, generalization, analogy, model building
15	Laurent Bertrand	Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve.	Appl. Algebra Eng. Commun. Comput.	1995	DBLP DOI BibTeX RDF	integration in finite terms, Computer algebra, hyperelliptic curves, elementary functions, jacobian, algebraic functions
15	Benjamin J. Ewy, Joseph B. Evans, Victor Frost, Gary J. Minden	TCP/ATM Experiences in the MAGIC Testbed.	HPDC	1995	DBLP DOI BibTeX RDF	TCP/ATM, MAGIC testbed, cell level pacing, bandwidth capacity, high performance distributed systems, traffic management infrastructureThe limited applicability of block decomposition in cluster computing - Crandall, P.E. Dept. of Comput, Sci. & Eng., Connecticut Univ., Storrs, USA This Paper Appears in : High Performance Distributed Computing, 1995., Proceedings of the Fourth IEEE International Symposium on on Pages: 102 - 109 This Conference was Held : 2-4 Aug. 1995 1995 ISBN: 0-8186-7088-6 IEEE Catalog Number: 95TB8075 Total Pages: xiv+246 Refer, Mathematical characterizations of the communication costs for contiguous partitioning and block decomposition in both a ring-connected and switched network are presented, Simulations of ring and switch technologies indicate that as network speeds increase and as the effects of message-preparation latency dominate, the advantages claimed for block decomposition diminish, Subject Terms: FDDI, block decomposition, high-speed switch technology, mathematical characterizations, contiguous partitioning, ring-connected networks, simulations, performance evaluation, performance evaluation, performance, asynchronous transfer mode, congestion control, cluster computing, local area networks, transport protocols, performance measurements, wide area networks, CT, switched network, FDDI, congestion avoidance, token networks
15	Peter Kornerup	A Systolic, Linear-Array Multiplier for a Class of Right-Shift Algorithms.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	systolic linear-array multiplier, right-shift algorithms, multiplier cell, digit-product terms, least significant digit first, active elements, module-multiplier, Montgomery module-reduction, RSA encryption, modular division, cryptography, logic design, systolic arrays, systolic array, digital arithmetic, multiplying circuits, latches, modular inverses, Hensel codes, digit-serial multiplier
15	Michael Tonndorf	An Efficient Compiler Validation Method for Ada 9X.	Ada-Europe	1993	DBLP DOI BibTeX RDF	Glossary of Terms and Abbreviations ACVC Ada Compiler Validation Capability, AVF Ada Validation Facility, AJPO Ada Joint Program Office, AVO Ada Validation Organisation, AMO ACVC Maintenance Organisation
15	Martin C. Emele, Ulrich Heid, Stefan Momma, Rémi Zajac	Interactions between linguistic constraints: Procedural vs. declarative approaches.	Mach. Transl.	1992	DBLP DOI BibTeX RDF	multilingual generation, typed feature terms, order-sorted unification, constraint solving
15	Nick Roussopoulos	An Incremental Access Method for ViewCache: Concept, Algorithms, and Cost Analysis.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	terms
15	Edward A. Bender, Jon T. Butler	On the Size of PLA's Required to Realize Binary and Multiple-Valued Functions.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	product terms, nonzero output values, PLA size, realizable functions, lower bounds, logic design, upper bounds, variance, switching functions, logic arrays, minimisation of switching nets, multiple-valued functions
15	Corrado Böhm	Functional Programming and Combinatory Algebras.	MFCS	1988	DBLP DOI BibTeX RDF	algebraic programming, combinatory algebras, total recursive mappings on data structures, combinators and -terms in normal form, Functional programming
15	Marco Bellia	Retractions: A Functional Paradigm for Logic Programming.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF	Predicative and functional languages, symbolic expressions, lambda_calculus, Horn clause theories, Herbrand terms, computable sets, relations, retractions
15	Kazuhiro Morita, El-Sayed Atlam, Elmarhomy Ghada, Masao Fuketa, Jun-ichi Aoe	A New Approach for Improving Field Association Term Dictionary Using Passage Retrieval.	KES (2)	2006	DBLP DOI BibTeX RDF
14	Krysta M. Svore, Pallika H. Kanani, Nazan Khan	How good is a span of terms?: exploiting proximity to improve web retrieval.	SIGIR	2010	DBLP DOI BibTeX RDF	BM25, web search, learning to rank, proximity, retrieval models
14	Marek J. Smietanski	Convergence of a generalized Newton and an inexact generalized Newton algorithms for solving nonlinear equations with nondifferentiable terms.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65H10, 65N22
14	Hiroaki Ohshima, Adam Jatowt, Satoshi Oyama, Katsumi Tanaka	Seeing Past Rivals: Visualizing Evolution of Coordinate Terms over Time.	WISE	2009	DBLP DOI BibTeX RDF
14	Fernando E. B. Otero, Alex Alves Freitas, Colin G. Johnson	A Hierarchical Classification Ant Colony Algorithm for Predicting Gene Ontology Terms.	EvoBIO	2009	DBLP DOI BibTeX RDF	Hierarchical classification, ant colony optimisation, protein function prediction
14	Jianer Chen, Yang Liu 0002	An Improved SAT Algorithm in Terms of Formula Length.	WADS	2009	DBLP DOI BibTeX RDF
14	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
14	Xiaorong Fan, Nobuyuki Shimizu, Hiroshi Nakagawa	Automatic extraction of bilingual terms from a Chinese-Japanese parallel corpus.	IUCS	2009	DBLP DOI BibTeX RDF	bilingual corpus, bilingual term, multi-words term, segmentation, word alignment, automatic extraction
14	Murdoch Gabbay, Dominic P. Mulligan	One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.	WoLLIC	2008	DBLP DOI BibTeX RDF
14	Yasufumi Kaneko, Satoshi Nakamura 0002, Hiroaki Ohshima, Katsumi Tanaka	Query Relaxation Based on Users' Unconfidences on Query Terms and Web Knowledge Extraction.	ICADL	2008	DBLP DOI BibTeX RDF	Intent Detection, Web search
14	Simon J. Laing	Applying graphic design terms to image tagging.	CIVR	2008	DBLP DOI BibTeX RDF	information retrieval, metadata, browsing, graphic design
14	Julien Gobeill, Patrick Ruch, Xin Zhou 0002	Query and Document Expansion with Medical Subject Headings Terms at Medical Imageclef 2008.	CLEF	2008	DBLP DOI BibTeX RDF	Cross-Language Image Retrieval, Query Expansion, Text Categorization, Document Expansion
14	Tingting He, Wei Shao, Fang Li 0003, Zongkai Yang, Liang Ma	The Automated Estimation of Content-Terms for Query-Focused Multi-document Summarization.	FSKD (5)	2008	DBLP DOI BibTeX RDF
14	Jun-Bin Yeh, Chung-Hsien Wu	Video News Retrieval Incorporating Relevant Terms Based on Distribution of Document Frequency.	PCM	2008	DBLP DOI BibTeX RDF	Relevant event term, boxplot, TFIDF, Video retrieval, Vector Space Model, Term Extraction
14	Markus Schedl, Tim Pohle	Exploring Music Artists via Descriptive Terms and Multimedia Content.	SAMT	2008	DBLP DOI BibTeX RDF
14	Sabine Broda, Luís Damas	On Principal Types of BCK- lambda -Terms.	WoLLIC	2007	DBLP DOI BibTeX RDF	condensed BCK-logic, Typed lambda-calculus, principal types
14	Lisa M. Guntly, Jennifer L. Leopold, Anne M. Maglia	Determining Domain Similarity and Domain-Protein Similarity Using Functional Similarity Measurements of Gene Ontology Terms.	BIBE	2007	DBLP DOI BibTeX RDF
14	Vibhanshu Abhishek, Kartik Hosanagar	Keyword generation for search engine advertising using semantic similarity between terms.	ICEC	2007	DBLP DOI BibTeX RDF	keyword generation, semantic similarity, sponsored search, search engine optimization
14	Lionel Vaux	On Linear Combinations of lambda -Terms.	RTA	2007	DBLP DOI BibTeX RDF
14	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
14	Thomas Ehrhard, Laurent Regnier	Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.	CiE	2006	DBLP DOI BibTeX RDF
14	Vincent Atassi, Patrick Baillot, Kazushige Terui	Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic.	CSL	2006	DBLP DOI BibTeX RDF
14	Takatsugu Kojima, Takashi Kusumi	How do we judge the acceptability of spatial terms?.	CW	2005	DBLP DOI BibTeX RDF
14	Jae Sung Lee, Hye Mi Yun	Approximate Phrase Match to Compile Synonymous Translation Terms for Korean Medical Indexing.	AIRS	2005	DBLP DOI BibTeX RDF
14	Chorng-Shyong Ong, Jih-Jeng Huang, Gwo-Hshiung Tzeng	Using Rough Set Theory for Detecting the Interaction Terms in a Generalized Logit Model.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
14	Yoshihito Toyama	Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.	RTA	2004	DBLP DOI BibTeX RDF
14	Pawel Rychlikowski, Tomasz Truderung	Set Constraints on Regular Terms.	CSL	2004	DBLP DOI BibTeX RDF
14	James W. Cooper, Anni Coden, Eric W. Brown 0001	Detecting similar documents using salient terms.	CIKM	2002	DBLP DOI BibTeX RDF	duplicate documents, databases, text mining, document similarity, shingles
14	Arantza Casillas, Raquel Martínez-Unanue 0001	Aligning Multiword Terms Using a Hybrid Approach.	CICLing	2002	DBLP DOI BibTeX RDF
14	Chuck C. Liang, Gopalan Nadathur	Tradeoffs in the Intensional Representation of Lambda Terms.	RTA	2002	DBLP DOI BibTeX RDF
14	John Gatej, Lee Song, Carol Pyron, Rajesh Raina, Tom Munns	valuating ATE Features in Terms of Test Escape Rates and Other Cost of Test Culprits.	ITC	2002	DBLP DOI BibTeX RDF
14	John Shawe-Taylor, Nello Cristianini	Generalization Performance of Classifiers in Terms of Observed Covering Numbers.	EuroCOLT	1999	DBLP DOI BibTeX RDF
14	Manabu Ohta, Atsuhiro Takasu, Jun Adachi	Reduction of Expanded Search Terms for Fuzzy English-Text Retrieval.	ECDL	1998	DBLP DOI BibTeX RDF
14	Marco Bernardo 0001	An Algebra-Based Method to Associate Rewards with EMPA Terms.	ICALP	1997	DBLP DOI BibTeX RDF
14	Eva Armengol, Enric Plaza	Induction of Feature Terms With INDIE.	ECML	1997	DBLP DOI BibTeX RDF
14	Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo	A Notion of Correctness with Theories Containing Theoretical Terms.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
14	Stavros S. Cosmadakis	Complete Proof Systems for Algebraic Simply-Typed Terms.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
14	Hassan Aït-Kaci, Andreas Podelski	Logic Programming with Functions over Order-Sorted Feature Terms.	ELP	1992	DBLP DOI BibTeX RDF
14	Sophie Malecki	Generic Terms Having No Polymorphic Types.	ICALP	1990	DBLP DOI BibTeX RDF
14	Andreas Goerdt	On the Expressive Strength of the Finitely Typed Lambda-Terms.	MFCS	1988	DBLP DOI BibTeX RDF
14	Susanne Graf, Joseph Sifakis	A Modal Characterization of Observational Congruence on Finite Terms of CCS.	ICALP	1984	DBLP DOI BibTeX RDF
13	William Acosta, Surendar Chandra	On the need for query-centric unstructured peer-to-peer overlays.	IPDPS	2008	DBLP DOI BibTeX RDF
13	William Acosta, Surendar Chandra	Exploiting the Properties of Query Workload and File Name Distributions to Improve P2P Synopsis-Based Searches.	INFOCOM	2008	DBLP DOI BibTeX RDF
13	Kieran Sullivan, Jim Clarke, Barry P. Mulcahy	Trust-terms ontology for defining security requirements and metrics.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	security, ontologies, privacy, trust, metrics, requirements
13	Judith L. Klavans, Carolyn Sheffield, Eileen G. Abels, Jimmy Lin, Rebecca J. Passonneau, Tandeep Sidhu, Dagobert Soergel	Computational linguistics for metadata building (CLiMB): using text mining for the automatic identification, categorization, and disambiguation of subject terms for image metadata.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Word sense disambiguation (WSD), Image access, Subject cataloging, Natural language processing (NLP), Metadata extraction, Lexical disambiguation
13	Lean Yu, Shouyang Wang, Kin Keung Lai	Forecasting foreign exchange rates with an improved back-propagation learning algorithm with adaptive smoothing momentum terms.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	adaptive smoothing momentum, foreign exchange rates forecasting, heuristic method, back-propagation neural network
13	Joachim De Lataillade	Dinatural Terms in System F.	LICS	2009	DBLP DOI BibTeX RDF
13	Xiaobo Li, Haijun Jiang	Global Exponential Stability of Impulsive Fuzzy Cellular Neural Networks with Delays and Reaction-Diffusion Terms.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Lyapunov functional, Cellular neural networks, Reaction-diffusion, Exponential stability, Equilibrium point
13	Rayner Alfred	A Parallel Hierarchical Agglomerative Clustering Technique for Billingual Corpora Based on Reduced Terms with Automatic Weight Optimization.	ADMA	2009	DBLP DOI BibTeX RDF	Parallel Clustering, Billingual Corpora, Natural Language Processing, Hierarchical Agglomerative Clustering