Search results for "terms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Pramod K. Gupta, Ryo Yoshida, Seiya Imoto, Rui Yamaguchi, Satoru Miyano	Statistical Absolute Evaluation of Gene Ontology Terms with Gene Expression Data.	ISBRA	2007	DBLP DOI BibTeX RDF	Statistical Meta-Analysis, Fisher’s Exact Test, Gene Expression Data, Gene Ontology
11	Sebastian Bala	Complexity of Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints Between Regular Open Terms.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
11	Yulong Xing, Chi-Wang Shu	High-Order Well-Balanced Finite Difference WENO Schemes for a Class of Hyperbolic Systems with Source Terms.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	Hyperbolic balance laws, source term, elastic wave equation, chemosensitive movement, nozzle flow, conservation laws, shallow water equation, two phase flow, high-order accuracy, WENO scheme
11	Gunnar Wilken	The Bachmann-Howard Structure in Terms of Sigma1-Elementarity.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
11	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A Petri Net Translation of pi-Calculus Terms.	ICTAC	2006	DBLP DOI BibTeX RDF	compositional translation, behavioural consistency, mobility, Petri nets, process algebra, ?-calculus
11	Tatsuya Shimomura, Shusuke Okamoto, Masaru Kamada, Tatsuhiro Yonekura	A game authoring tool based on character definition in terms of state-transition diagrams.	NETGAMES	2006	DBLP DOI BibTeX RDF	video games, edutainment, interactive animations, state-transition diagrams
11	Michel Beigbeder	Structured Content-Only Information Retrieval Using Term Proximity and Propagation of Title Terms.	INEX	2006	DBLP DOI BibTeX RDF
11	Akadej Udomchaiporn, Nakornthip Prompoon, Pizzanu Kanongchaiyos	Software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation.	APSEC	2006	DBLP DOI BibTeX RDF
11	Zhiguo Yang, Daoyi Xu, Yumei Huang	Exponential Dissipativity of Non-autonomous Neural Networks with Distributed Delays and Reaction-Diffusion Terms.	ISNN (1)	2006	DBLP DOI BibTeX RDF
11	Sebastian Mecklenburg, Jörn Loviscach	subjEQt: controlling an equalizer through subjective terms.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	music production, interpolation, similarity measure, scattered data
11	Ángel F. Zazo Rodríguez, José Luis Alonso Berrocal, Carlos G. Figuerola	Local Query Expansion Using Terms Windows for Robust Retrieval.	CLEF	2006	DBLP DOI BibTeX RDF
11	Bastian Dölle	Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets.	SNPD	2006	DBLP DOI BibTeX RDF
11	Jin Peng, Huanbin Liu, Gang Shang	Ranking Fuzzy Variables in Terms of Credibility Measure.	FSKD	2006	DBLP DOI BibTeX RDF	ranking fuzzy variable, credibility measure, fuzzy theory
11	J. A. Pomykala	Algebras of Terms in Pawlak's Information Systems.	RSCTC	2006	DBLP DOI BibTeX RDF
11	Qing Li 0005, Sung-Hyon Myaeng, Yun Jin, Bo-Yeong Kang	Translation of Unknown Terms Via Web Mining for Information Retrieval.	AIRS	2006	DBLP DOI BibTeX RDF	indexing, machine translation, cross-language information retrieval
11	Dimitris Fragoudis, Dimitris Meretakis, Spiridon D. Likothanassis	Best terms: an efficient feature-selection algorithm for text categorization.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Machine learning, Feature selection, Text categorization
11	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
11	Ali Uzer, T. Ege	On the Convergence Acceleration of Slowly Convergent Sums Involving Oscillating Terms.	Computing	2005	DBLP DOI BibTeX RDF	slowly convergent sums, infinite sums, Fourier series, zeta functions, Convergence acceleration
11	Mike Dowman	Investigating the effect of random noise on the evolution of colour terms.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
11	Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra	Cryptographically Significant Boolean Functions: Construction and Analysis in Terms of Algebraic Immunity.	FSE	2005	DBLP DOI BibTeX RDF
11	Diane Kelly 0001, Vijay Deepak Dollu, Xin Fu	The loquacious user: a document-independent source of terms for query expansion.	SIGIR	2005	DBLP DOI BibTeX RDF	clarification form, polyrepresentation, problem description, query expansion, user feedback, information need, elicitation, query length
11	Rong Jin 0001, Joyce Y. Chai, Luo Si	Learn to weight terms in information retrieval using category information.	ICML	2005	DBLP DOI BibTeX RDF
11	Claudio Sacerdoti Coen	Explanation in Natural Language of lamda-µµ-Terms.	MKM	2005	DBLP DOI BibTeX RDF
11	Trevor Paterson, Jessie B. Kennedy, Martin R. Pullan, Alan Cannon, Kate Armstrong, Mark F. Watson, Cedric Raguenaud, Sarah M. McDonald, Gordon Russell 0001	A Universal Character Model and Ontology of Defined Terms for Taxonomic Description.	DILS	2004	DBLP DOI BibTeX RDF
11	Robin Adams 0001	Formalized Metatheory with Terms Represented by an Indexed Family of Types.	TYPES	2004	DBLP DOI BibTeX RDF
11	Weixing Bi, XuGang Wang, Ziliang Zong, Zheng Tang	Modified Error Function with Added Terms for the Backpropagation Algorithm.	ISNN (1)	2004	DBLP DOI BibTeX RDF
11	J. Mead, Barbara Zubik-Kowal	Pseudospectral Iterated Method for Differential Equations with Delay Terms.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Linear delay equations, parallel computing, error estimations, numerical experiments, numerical approximations
11	Yannis Tzitzikas, Anastasia Analyti	Mining the Meaningful Compound Terms from Materialized Faceted Taxonomies.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
11	Sebastian Bala	Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints between Regular Open Terms.	STACS	2004	DBLP DOI BibTeX RDF
11	Waleed A. Yousef, Robert F. Wagner, Murray H. Loew	Comparison of Non-Parametric Methods for Assessing Classifier Performance in Terms of ROC Parameters.	AIPR	2004	DBLP DOI BibTeX RDF
11	Gábor Kun, Csaba Szabó	Jónsson Terms and Near-Unanimity Functions in Finite Posets.	Order	2003	DBLP DOI BibTeX RDF	Malcev condition, posets
11	Robert Veroff	A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Sheffer stroke, Boolean algebra
11	Yuesheng Xu, Qingsong Zou	Adaptive Wavelet Methods for Elliptic Operator Equations with Nonlinear Terms.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	adaptive wavelet methods, tree approximation, constructive greedy schemes
11	Fabien Delorme, Jérôme Lehuen	Dialog Planning and Domain Knowledge Modeled in Terms of Tasks and Methods: A Flexible Framework for Dialog Managing.	ISMIS	2003	DBLP DOI BibTeX RDF
11	Melissa J. Buco, Rong N. Chang, Laura Z. Luan, Christopher Ward, Joel L. Wolf, Philip S. Yu, Tevfik Kosar, Syed Umair Ahmed Shah	Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM.	ISADS	2003	DBLP DOI BibTeX RDF
11	Rickard Cöster, Magnus Sahlgren, Jussi Karlgren	Selective Compound Splitting of Swedish Queries for Boolean Combinations of Truncated Terms.	CLEF	2003	DBLP DOI BibTeX RDF
11	Steven Eker	Associative-Commutative Rewriting on Large Terms.	RTA	2003	DBLP DOI BibTeX RDF
11	Xiaowei Yan, Chengqi Zhang, Shichao Zhang 0001	Identifying Frequent Terms in Text Databases by Association Semantics.	ITCC	2003	DBLP DOI BibTeX RDF
11	Bo-Yeong Kang, Sang-Jo Lee	On Concept Based Approach for Determining Semantic Index Terms.	TSD	2003	DBLP DOI BibTeX RDF
11	Arnaud Carayol, Stefan Wöhrle	The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.	FSTTCS	2003	DBLP DOI BibTeX RDF
11	Li Jiao, To-Yat Cheung, Weiming Lu	Characterizing Liveness of Petri Nets in Terms of Siphons.	ICATPN	2002	DBLP DOI BibTeX RDF	Asymmetric choice net, liveness monotonicity, siphon, Petri net, live, characterization, homogeneous
11	Akiko N. Aizawa	An Approach to Microscopic Clustering of Terms and Documents.	PRICAI	2002	DBLP DOI BibTeX RDF
11	Fernando López-Ostenero, Julio Gonzalo, Anselmo Peñas, Felisa Verdejo	Interactive Cross-Language Searching: Phrases Are Better than Terms of Query Formulation and Refinement.	CLEF	2002	DBLP DOI BibTeX RDF
11	R. Naidoo, S. Baboolal	Adaptation and Assessment of a High Resolution Semi-discrete Numerical Scheme for Hyperbolic Systems with Source Terms and Stiffness.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
11	Temur Kutsia	Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.	AISC	2002	DBLP DOI BibTeX RDF
11	Juan Humberto Sossa Azuela, Francisco Cuevas de la Rosa, Héctor Benitez	Efficient Computation of 3-D Moments in Terms of an Object's Partition.	SSPR/SPR	2002	DBLP DOI BibTeX RDF
11	Nick Cropper, Ursula Martin	The Classification of Polynomial Orderings on Monadic Terms.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Termination, Term rewriting systems, Ordinals
11	Anna Bernasconi 0001, Bruno Codenotti, Jeffrey M. Vanderkam	A Characterization of Bent Functions in Terms of Strongly Regular Graphs.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	strongly regular graphs, Boolean functions, bent functions
11	Paolo Coppola 0001, Simone Martini 0001	Typing Lambda Terms in Elementary Logic with Linear Constraints.	TLCA	2001	DBLP DOI BibTeX RDF
11	Youngchoon Park, Pan-Koo Kim, Forouzan Golshani, Sethuraman Panchanathan	Technique for eliminating irrelevant terms in term rewriting for annotated media retrieval.	ACM Multimedia	2001	DBLP DOI BibTeX RDF
11	A. Chalabi, Y. Qiu	Relaxation Schemes for Hyperbolic Conservation Laws with Stiff Source Terms: Application to Reacting Euler Equations.	J. Sci. Comput.	2000	DBLP DOI BibTeX RDF	stiff source term, semi-implicit scheme, reactive Euler equations, conservation laws, relaxed scheme, relaxing scheme
11	Tao Tang 0003, Jinghua Wang	Convergence of MUSCL Relaxing Schemes to the Relaxed Schemes for Conservation Laws with Stiff Source Terms.	J. Sci. Comput.	2000	DBLP DOI BibTeX RDF	nonlinear conservation laws, convergence, maximum principle, relaxation scheme
11	Athanasios Kakarountas, Kyriakos Papadomanolakis, Vasileios Kokkinos, Constantinos E. Goutis	Comparative Study on Self-Checking Carry-Propagate Adders in Terms of Area, Power and Performance.	PATMOS	2000	DBLP DOI BibTeX RDF
11	Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama	Compositional Characterizations of lambda-Terms Using Intersection Types.	MFCS	2000	DBLP DOI BibTeX RDF
11	Fumio Ishizaki, Tetsuya Takine	Loss probability in a finite discrete-time queue in terms of the steady state distribution of an infinite queue.	Queueing Syst. Theory Appl.	1999	DBLP DOI BibTeX RDF	finite-buffer queue, infinite-buffer queue, loss probability
11	Ralf Klabunde	Logic-Based Choice of Projective Terms.	KI	1999	DBLP DOI BibTeX RDF
11	Stefano Traferro, F. Capparelli, Francesco Piazza, Aurelio Uncini	Efficient allocation of power of two terms in FIR digital filter design using tabu search.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
11	Hubert Comon, Claude Kirchner	Constraint Solving on Terms.	CCL	1999	DBLP BibTeX RDF
11	Thorsten Altenkirch, Bernhard Reus	Monadic Presentations of Lambda Terms Using Generalized Inductive Types.	CSL	1999	DBLP DOI BibTeX RDF	inductive types, Type Theory, category theory, ?-calculus
11	Spiridon A. Kazarlis, Vassilios Petridis	Varying Fitness Functions in Genetic Algorithms: Studying the Rate of Increase of the Dynamic Penalty Terms.	PPSN	1998	DBLP DOI BibTeX RDF
11	Manfred Göbel	On the Number of Special Permutation-Invariant Orbits and Terms.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Polynomial invariants of permutation groups, Special permutation-invariant orbits
11	Fujio Yamaguchi, Masatoshi Niizeki	Some basic geometric test conditions in terms of Plücker coordinates and Plücker coefficients.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Homogeneous geometry, Plücker coordinates, 4×4 Determinant method, Computational geometry, Computer graphics, Geometric modeling, Projective geometry, Computer-aided geometric design
11	Alan Hutchinson	Metrics on Terms and Clauses.	ECML	1997	DBLP DOI BibTeX RDF
11	Jean-Pierre Jouannaud, Albert Rubio	A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form.	RTA	1996	DBLP DOI BibTeX RDF
11	Jan J. Koenderink, Andrea J. van Doorn, Marigo Stavridi	Bidirectional Reflection Distribution Function Expressed in Terms of Surface Scattering Modes.	ECCV (2)	1996	DBLP DOI BibTeX RDF
11	Ashvin Dsouza, Bard Bloom	Generating BDD Models for Process Algebra Terms.	CAV	1995	DBLP DOI BibTeX RDF
11	Hartmut Wedekind	Are the Terms "Version" and "Variant" Orthogonal to One Another? A Critical Assessment of the STEP Standardization.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
11	Zhengxing Cheng, Charles K. Chui	Convexity of parametric Bézier surfaces in terms of Gaussian curvature signatures.	Adv. Comput. Math.	1994	DBLP DOI BibTeX RDF	AMS(MOS) subject classifications Primary 41A15, 41A36
11	Jamil Baddoura	A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms.	ISSAC	1994	DBLP DOI BibTeX RDF
11	Andrew Davison	Parsing with DCG-terms.	LPAR	1993	DBLP DOI BibTeX RDF
11	Jordan Gergov, Christoph Meinel	Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs.	WG	1992	DBLP DOI BibTeX RDF
11	Reinhold Heckmann	An Upper Power Domain Construction in Terms of Strongly Compact Sets.	MFPS	1991	DBLP DOI BibTeX RDF
11	Jacques Chabin, Pierre Réty	Narrowing Directed by a Graph of Terms.	RTA	1991	DBLP DOI BibTeX RDF
11	K. L. Kwok	Experiments with a Component Theory of Probabilistic Information Retrieval Based on Single Terms as Document Components.	ACM Trans. Inf. Syst.	1990	DBLP DOI BibTeX RDF	document-focused and query-focused relevance feedback, inverse collection term frequency weighting, inverse document frequency weighting, probabilistic indexing, ranking and weighting of composite objects, probabilistic retrieval, indexing and retrieval
11	Pierre Crégut	An Abstract Machine for Lambda-Terms Normalization.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
11	David A. Basin	Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete.	CADE	1990	DBLP DOI BibTeX RDF
11	Éric Badouel	Terms and Infinite Trees as Monads Over a Signature.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
11	Gaétan Hains	The Compaction of Acyclic Terms.	PARLE (2)	1989	DBLP DOI BibTeX RDF	Implementation, memory management, systolic algorithm
11	Klaus Kornwachs	Reconstructability Analysis and its Re-Interpretation in Terms of Pragmatic Information.	EUROCAST	1989	DBLP DOI BibTeX RDF
11	Ivo G. Rosenberg	Mal'cev algebras for universal algebra terms.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
11	Oded Shmueli, Shalom Tsur, Carlo Zaniolo	Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL).	PODS	1988	DBLP DOI BibTeX RDF
11	Jean-Louis Lassez, Kim Marriott	Explicit Representation of Terms Defined by Counter Examples.	FSTTCS	1986	DBLP DOI BibTeX RDF
11	Vijay V. Raghavan 0001, Clement T. Yu	Experiments on the Determination of the Relationships Between Terms.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	antonym, pseudoclassification, statistical discrimination, term associations, semantics, feedback, thesaurus, document retrieval, synonym
11	Gunther Schmidt 0001	Investigating Programs in Terms of Partial Graphs.	ICALP	1979	DBLP DOI BibTeX RDF
10	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
10	Makoto P. Kato, Hiroaki Ohshima, Satoshi Oyama, Katsumi Tanaka	Can Social Tagging Improve Web Image Search?.	WISE	2008	DBLP DOI BibTeX RDF
10	Lixin Shi, Jian-Yun Nie, Guihong Cao	Relating dependent indexes using dempster-shafer theory.	CIKM	2008	DBLP DOI BibTeX RDF	information retrieval, indexing, dempster-shafer theory, chinese, term dependency
10	Hai-Tao Zheng 0002, Charles Borchert, Hong-Gee Kim	Exploiting Gene Ontology to Conceptualize Biomedical Document Collections.	ASWC	2008	DBLP DOI BibTeX RDF
10	Anjin Park, Kwangjin Hong, Keechul Jung	Better Foreground Segmentation for 3D Face Reconstruction Using Graph Cuts.	PSIVT	2007	DBLP DOI BibTeX RDF	Shadow Elimination, 3D Face Reconstruction, Graph Cuts, Foreground Segmentation
10	Goran Nenadic, Irena Spasic, Sophia Ananiadou	Mining Biomedical Abstracts: What's in a Term?	IJCNLP	2004	DBLP DOI BibTeX RDF
10	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	The Semantics of the Compound Term Composition Algebra.	OTM	2003	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
10	Douglas Tudhope, Ceri Binding, Dorothee Blocks, Daniel Cunliffe	FACET: thesaurus retrieval with semantic term expansion.	JCDL	2002	DBLP DOI BibTeX RDF
10	Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov	On the Evaluation of Indexing Techniques for Theorem Proving.	IJCAR	2001	DBLP DOI BibTeX RDF
10	Ken C. W. Chow, Robert W. P. Luk, Kam-Fai Wong, K. L. Kwok	Hybrid term indexing for different IR models.	IRAL	2000	DBLP DOI BibTeX RDF	IR models, evaluation, indexing, Chinese information retrieval
10	Ali Amaniss, Miki Hermann, Denis Lugiez	Set Operations for Recurrent Term Schematizations.	TAPSOFT	1997	DBLP DOI BibTeX RDF
10	Ilkka Tervonen	Support for Quality-Based Design and Inspection.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
10	Sorin Cotofana, Stamatis Vassiliadis	delta-Bit serial binary addition with linear threshold networks.	J. VLSI Signal Process.	1996	DBLP DOI BibTeX RDF
10	Deepak Kapur, G. Sivakumar	Maximal Extensions os Simplification Orderings.	FSTTCS	1995	DBLP DOI BibTeX RDF
10	Paola Inverardi, Marisa Venturini Zilli	Rational Rewriting.	MFCS	1994	DBLP DOI BibTeX RDF
10	Hong Chen, Jieh Hsiang	Logic Programming with Recurrence Domains.	ICALP	1991	DBLP DOI BibTeX RDF