Search results for "terms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Laurence Anthony F. Park, Christopher Leckie, Kotagiri Ramamohanarao, James C. Bezdek	Adapting Spectral Co-clustering to Documents and Terms Using Latent Semantic Analysis.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF	spectral graph partitioning, document clustering, latent semantic analysis, co-clustering
13	Fidelia Ibekwe-Sanjuan, Eric SanJuan	Use of Multiword Terms and Query Expansion for Interactive Information Retrieval.	INEX	2008	DBLP DOI BibTeX RDF
13	Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß	Context Matching for Compressed Terms.	LICS	2008	DBLP DOI BibTeX RDF	context variables, tree compression, matching, unification
13	Andreas Henrich, Volker Lüdecke, Daniel Blank	Approaches for determining the geographic footprint of arbitrary terms for retrieval and visualization.	GIS	2008	DBLP DOI BibTeX RDF	geographic search engines, vague geographic regions
13	Soon Ae Chun, James Geller	Evaluating Ontologies Based on the Naturalness of Their Preferred Terms.	HICSS	2008	DBLP DOI BibTeX RDF
13	Loet Leydesdorff, Ping Zhou 0001	Nanotechnology as a field of science: Its delineation in terms of journals and patents.	Scientometrics	2007	DBLP DOI BibTeX RDF
13	Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga	A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.	ATVA	2007	DBLP DOI BibTeX RDF
13	Isak Taksa, Sarah Zelikovitz, Amanda Spink	Using Web Search Logs to Identify Query Classification Terms.	ITNG	2007	DBLP DOI BibTeX RDF	web search logs, short text classification, labeled sets, machine learning
13	Miguel E. Ruiz, Aurélie Névéol	Evaluation of Automatically Assigned MeSH Terms for Retrieval of Medical Images.	CLEF	2007	DBLP DOI BibTeX RDF
13	David E. Losada, Ronald T. Fernández	Highly Frequent Terms and Sentence Retrieval.	SPIRE	2007	DBLP DOI BibTeX RDF	Information Retrieval, Sentence Retrieval, Term Frequency
13	Ivan G. Costa, Marcílio Carlos Pereira de Souto, Alexander Schliep	Validating Gene Clusterings by Selecting Informative Gene Ontology Terms with Mutual Information.	BSB	2007	DBLP DOI BibTeX RDF	external index, mutual information, cluster validation, gene ontology
13	Stein L. Tomassen, Darijus Strasunskas	Query Terms Abstraction Layers.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
13	M. Scott Marshall, Lennart J. G. Post, Marco Roos, Timo M. Breit	Using Semantic Web Tools to Integrate Experimental Measurement Data on Our Own Terms.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
13	Johannes Leveling	Reranking Documents with Antagonistic Terms.	CLEF	2006	DBLP DOI BibTeX RDF
13	Sven Magg, Andrew Philippides	GasNets and CTRNNs - A Comparison in Terms of Evolvability.	SAB	2006	DBLP DOI BibTeX RDF
13	Thomas Müller 0007	A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies.	DEON	2006	DBLP DOI BibTeX RDF
13	Takehito Utsuro, Mitsuhiro Kida, Masatsugu Tonoike, Satoshi Sato	Towards Automatic Domain Classification of Technical Terms: Estimating Domain Specificity of a Term Using the Web.	AIRS	2006	DBLP DOI BibTeX RDF
13	Rimantas Rudzkis, Vaidas Balys, Michiel Hazewinkel	Stochastic Modelling of Scientific Terms Distribution in Publications.	MKM	2006	DBLP DOI BibTeX RDF
13	Xia Sun, Qinghua Zheng	An approach to acquire semantic relationships between terms.	SAC	2005	DBLP DOI BibTeX RDF	ambiguous linguistic patterns, unambiguous linguistic patterns, semantic relationships
13	Michael Baldamus, Joachim Parrow, Björn Victor	A Fully Abstract Encoding of the pi-Calculus with Data Terms.	ICALP	2005	DBLP DOI BibTeX RDF
13	Jesper W. Schneider, Pia Borlund	A Bibliometric-Based Semi-automatic Approach to Identification of Candidate Thesaurus Terms: Parsing and Filtering of Noun Phrases from Citation Contexts.	CoLIS	2005	DBLP DOI BibTeX RDF
13	Vincent Claveau, Pierre Zweigenbaum	Translating Biomedical Terms by Inferring Transducers.	AIME	2005	DBLP DOI BibTeX RDF
13	Qiankun Song, Zhenjiang Zhao, Xuedong Chen	Global Exponential Stability of Recurrent Neural Networks with Infinite Time-Varying Delays and Reaction-Diffusion Terms.	ISNN (1)	2005	DBLP DOI BibTeX RDF
13	Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat	Term Translation Validation by Retrieving Bi-terms.	CLEF	2005	DBLP DOI BibTeX RDF
13	Joachim Niehren, Mateu Villaret	Describing Lambda Terms in Context Unification.	LACL	2005	DBLP DOI BibTeX RDF	second-order unification, dominance constraints, underspecified semantics, computational linguistics
13	Harri Paloheimo, Antti Ylä-Jääski	Interoperability of MANET and 4G RAN Routing in Terms of Energy Conservation.	AINA	2005	DBLP DOI BibTeX RDF
13	Nora Speer, Christian Spieth, Andreas Zell	Spectral Clustering Gene Ontology Terms to Group Genes by Function.	WABI	2005	DBLP DOI BibTeX RDF
13	Jing Bai 0005, Jian-Yun Nie, Guihong Cao	Integrating Compound Terms in Bayesian Text Classification.	Web Intelligence	2005	DBLP DOI BibTeX RDF
13	Tien-Fang Kuo, Yasutoshi Yajima	Ranking and selecting terms for text categorization via SVM discriminate boundary.	GrC	2005	DBLP DOI BibTeX RDF
13	Koichi Kise, Markus Junker 0002, Andreas Dengel 0001, Keinosuke Matsumoto	Passage Retrieval Based on Density Distributions of Terms and Its Applications to Document Retrieval and Question Answering.	Reading and Learning	2004	DBLP DOI BibTeX RDF
13	Jun Ma 0002, W. J. Li, Yang Xu 0001, Z. M. Song	A model for handling linguistic terms in the framework of lattice-valued logic LF(X).	SMC (2)	2004	DBLP DOI BibTeX RDF
13	Thierry Boy de la Tour, Mnacho Echenim	NP-Completeness Results for Deductive Problems on Stratified Terms.	LPAR	2003	DBLP DOI BibTeX RDF
13	Harold Boley	Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms.	RuleML	2003	DBLP DOI BibTeX RDF
13	Eva Armengol, Enric Plaza	Remembering Similitude Terms in CBR.	MLDM	2003	DBLP DOI BibTeX RDF
13	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
13	Yoshimasa Tsuruoka, Jun'ichi Tsujii	Probabilistic term variant generator for biomedical terms.	SIGIR	2003	DBLP DOI BibTeX RDF	dictionary expansion, spelling variation, query expansion
13	Hiroshi Kawakami, Ryosuke Akinaga, Hidetsugu Suto, Osamu Katai	Translating Novelty of Business Model into Terms of Modal Logics.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Petri Nets, Modal Logic, Business Process Model, Modality, Novelty
13	Koichi Kise, Wuotang Yin, Keinosuke Matsumoto	Document Image Retrieval Based on 2D Density Distributions of Terms with Pseudo Relevance Feedback.	ICDAR	2003	DBLP DOI BibTeX RDF
13	Miguel García-Díaz, Susana Nieva	Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.	FLOPS	2002	DBLP DOI BibTeX RDF	hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
13	Pertti Vakkari	Subject Knowledge, Source of Terms, and Term Selection in Query Expansion: An Analytical Study.	ECIR	2002	DBLP DOI BibTeX RDF
13	Cédric Chauve	Tree Pattern Matching for Linear Static Terms.	SPIRE	2002	DBLP DOI BibTeX RDF
13	Matthias Baaz, Georg Moser	On Generalizations of Semi-terms of Particularly Simple Form.	CSL	2002	DBLP DOI BibTeX RDF	Structure of Proofs, Complexity of Programs, Proof Theory
13	Mila Nikolova	Smoothing of outliers in image restoration by minimizing regularized objective functions with nonsmooth data-fidelity terms.	ICIP (1)	2001	DBLP DOI BibTeX RDF
13	Ugo de'Liguoro	Characterizing Convergent Terms in Object Calculi via Intersection Types.	TLCA	2001	DBLP DOI BibTeX RDF
13	Blanca Bujanda, Juan Carlos Jorge	Numerical Methods for Evolutionary Convection-Diffusion Problems with Nonlinear Reaction Terms.	PPAM	2001	DBLP DOI BibTeX RDF
13	Hiroshi Tsutsui, K. Hiwada, Tomonori Izumi, Takao Onoye, Yukihiro Nakamura	A design of LUT-array-based PLD and a synthesis approach based on sum of generalized complex terms expression.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
13	Shui-Lung Chuang, Lee-Feng Chien, Hsiao-Tieh Pu	Automatic Subject Categorization of Query Terms for Filtering Sensitive Queries in Multimedia Search.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
13	Stefan Berghofer, Tobias Nipkow	Proof Terms for Simply Typed Higher Order Logic.	TPHOLs	2000	DBLP DOI BibTeX RDF
13	Ken-etsu Fujita, Aleksy Schubert	Partially Typed Terms between Church-Style and Curry-Style.	IFIP TCS	2000	DBLP DOI BibTeX RDF
13	Maxim Lifantsev, Leo Bachmair	An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction.	TPHOLs	1998	DBLP DOI BibTeX RDF
13	Daria Walukiewicz	A Total AC-Compatible Reduction Ordering on Higher-Order Terms.	ICALP	1998	DBLP DOI BibTeX RDF
13	Johannes Waldmann	Normalization of S-Terms is Decidable.	RTA	1998	DBLP DOI BibTeX RDF
13	Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries	Meaningless Terms in Rewriting.	ALP	1996	DBLP DOI BibTeX RDF
13	Sergio Greco, Cristinel Mateis, Eugenio Spadafora	The Complexity of Weak Unification of Bounded Simple Set Terms.	DEXA	1996	DBLP DOI BibTeX RDF
13	Bonnie L. Webber	Instructing Animated Agents: Viewing Language in Behavioral Terms.	Multimodal Human-Computer Communication	1995	DBLP DOI BibTeX RDF
13	Jean H. Gallier	Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract).	RTA	1993	DBLP DOI BibTeX RDF
13	Hans-Joachim Goltz	A Constructive Type System Based on Data Terms.	JELIA	1992	DBLP DOI BibTeX RDF
13	Evgeny L. Kitaev	Processing of Ground Regular Terms in PROLOG.	RCLP	1991	DBLP DOI BibTeX RDF
13	Ramón Pino Pérez	An Extensional Partial Combinatory Algebra Based on Lamda-Terms.	MFCS	1991	DBLP DOI BibTeX RDF
13	Hans Bekic	Defining a Language in its Own Terms.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
12	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
12	Hidenao Abe, Shusaku Tsumoto	Detecting Temporal Trends of Technical Phrases by Using Importance Indices and Linear Regression.	ISMIS	2009	DBLP DOI BibTeX RDF	Text Mining, Linear Regression, TF-IDF, Trend Detection, Jaccard Coefficient
12	Ruihua Song, Michael J. Taylor 0001, Ji-Rong Wen, Hsiao-Wuen Hon, Yong Yu 0001	Viewing Term Proximity from a Different Perspective.	ECIR	2008	DBLP DOI BibTeX RDF
12	Shady Shehata, Fakhri Karray, Mohamed Kamel	Enhancing Search Engine Quality Using Concept-based Text Retrieval.	Web Intelligence	2007	DBLP DOI BibTeX RDF
12	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	Compound Term Composition Algebra: The Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
12	Eric J. Glover, David M. Pennock, Steve Lawrence, Robert Krovetz	Inferring hierarchical descriptions.	CIKM	2002	DBLP DOI BibTeX RDF	cluster naming, hierarchical relationships, feature selection, statistical models, web analysis
12	Béatrice Daille	Terminology Mining.	SCIE	2002	DBLP DOI BibTeX RDF
12	Oh-Woog Kwon, Myoung-Cheol Kim, Key-Sun Choi	Query Expansion Using Domain Adapted, Weighted Thesaurus in an Extended Boolean Model.	CIKM	1994	DBLP DOI BibTeX RDF
12	Amos O. Olagunju	In search of heuristics for keyword detection (abstract only): my source of discontent.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Charles L. A. Clarke, Gordon V. Cormack, Thomas R. Lynam, Chris Buckley, Donna Harman	Swapping documents and terms.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Blink feedback, Fusion, Pseudo-relevance feedback
11	Daniel Glez-Peña, Sira López, Reyes Pavón 0001, Rosalía Laza, Eva Lorenzo Iglesias, Lourdes Borrajo	Classification of MedLine Documents Using MeSH Terms.	IWANN (2)	2009	DBLP DOI BibTeX RDF
11	Mathieu Lavallée-Adam, Benoit Coulombe, Mathieu Blanchette	Detection of Locally Over-Represented GO Terms in Protein-Protein Interaction Networks.	RECOMB	2009	DBLP DOI BibTeX RDF
11	Ken-etsu Fujita, Aleksy Schubert	Existential Type Systems with No Types in Terms.	TLCA	2009	DBLP DOI BibTeX RDF
11	Hicham Bensaid, Ricardo Caferra, Nicolas Peltier	Dei: A Theorem Prover for Terms with Integer Exponents.	CADE	2009	DBLP DOI BibTeX RDF
11	Raghavendra Udupa, K. Saravanan 0001, Anton Bakalov, Abhijit Bhole	"They Are Out There, If You Know Where to Look": Mining Transliterations of OOV Query Terms for Cross-Language Information Retrieval.	ECIR	2009	DBLP DOI BibTeX RDF	Out of Vocabulary, Transliteration Similarity Model, Information Retrieval, Cross-Language Information Retrieval, Mining, Transliteration
11	Lei Liu 0039, Sen Zhang, Lu Hong Diao, Shu Ying Yan, Cungen Cao 0001	A Verification Method of Hyponymy between Chinese Terms Based on Concept Space.	AMT	2009	DBLP DOI BibTeX RDF
11	Yufei Tao 0001, Jeffrey Xu Yu	Finding frequent co-occurring terms in relational keyword search.	EDBT	2009	DBLP DOI BibTeX RDF
11	Akio Fujiwara	Randomness Criteria in Terms of alpha-Divergences.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
11	Marko Brunzel, Myra Spiliopoulou	Discovering Groups of Sibling Terms from Web Documents with XTREEM-SG.	J. Data Semantics	2008	DBLP DOI BibTeX RDF
11	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A compositional Petri net translation of general pi -calculus terms.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus
11	Farhad Aghili	Dynamics and control of constrained mechanical systems in terms of reduced quasi-velocities.	ICRA	2008	DBLP DOI BibTeX RDF
11	Eriko Mizutani, Jun Sese	GOMA: Web utility for direct finding of enriched Gene Ontology terms from gene expression profile.	BIBE	2008	DBLP DOI BibTeX RDF
11	Yiannis Kanellopoulos, Christos Tjortjis, Ilja Heitlager, Joost Visser 0001	Interpretation of Source Code Clusters in Terms of the ISO/IEC-9126 Maintainability Characteristics.	CSMR	2008	DBLP DOI BibTeX RDF
11	Arnon Avron	A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
11	Yulia Ledeneva, Alexander F. Gelbukh, René Arnulfo García-Hernández	Terms Derived from Frequent Sequences for Extractive Text Summarization.	CICLing	2008	DBLP DOI BibTeX RDF
11	Jianlong Qiu, Yinlai Jin, Qingyu Zheng	Delay-Dependent Global Asymptotic Stability in Neutral-Type Delayed Neural Networks with Reaction-Diffusion Terms.	ISNN (1)	2008	DBLP DOI BibTeX RDF
11	Anurag Nagar, Hisham Al-Mubaid	Using path length measure for gene clustering based on similarity of annotation terms.	ISCC	2008	DBLP DOI BibTeX RDF
11	Flávio Oquendo	Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL.	SOSE	2008	DBLP DOI BibTeX RDF
11	Masashi Nakatani, Akihiro Sato, Susumu Tachi, Vincent Hayward	Tactile Illusion Caused by Tangential Skin Strain and Analysis in Terms of Skin Deformation.	EuroHaptics	2008	DBLP DOI BibTeX RDF	tactile illusions, tangential skin stretch, ambiguous stimuli, tactile perception
11	Madeleine Siösteen-Thiel, Marijn Janssen	Bridging the terms and vocabulary gap among research and practitioners communities: panel.	DG.O	2008	DBLP BibTeX RDF	research reports, theory and practice, communication, applied research
11	Hans Zantema	Normalization of Infinite Terms.	RTA	2008	DBLP DOI BibTeX RDF
11	Ruben Debeerst, Mark van Hoeij, Wolfram Koepf	Solving differential equations in terms of bessel functions.	ISSAC	2008	DBLP DOI BibTeX RDF	generalized exponents, differential equations, bessel functions
11	Jürgen Garloff, Ismail I. Idriss, Andrew P. Smith 0001	Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case.	Reliab. Comput.	2007	DBLP DOI BibTeX RDF
11	Mirza Faisal Beg, Ali R. Khan	Symmetric Data Attachment Terms for Large Deformation Image Registration.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
11	Raymond Lister	Strangers, enemies, terms and taxonomies.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF
11	Giuseppe Amato 0001, Pasquale Savino, Vanessa Magionami	Image Indexing and Retrieval Using Visual Terms and Text-Like Weighting.	DELOS	2007	DBLP DOI BibTeX RDF
11	Ahmad El Sayed, Hakim Hacid, Djamel A. Zighed	Mining semantic distance between corpus terms.	PIKM	2007	DBLP DOI BibTeX RDF	data mining, knowledge acquisition, semantic similarity, context dependency
11	Michael Norrish, René Vestergaard	Proof Pearl: De Bruijn Terms Really Do Work.	TPHOLs	2007	DBLP DOI BibTeX RDF
11	Michiko Yasukawa, Hidetoshi Yokoo	Related Terms Clustering for Enhancing the Comprehensibility of Web Search Results.	DEXA	2007	DBLP DOI BibTeX RDF
11	Mitsuhiro Okada, Ryo Takemura	Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF