Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Paolo Pilozzi, Danny De Schreye |
Proving Termination by Invariance Relations. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Mark Kaminski, Sigurd Schneider, Gert Smolka |
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Zhen Guo, Shenghuo Zhu, Yun Chi, Zhongfei Zhang, Yihong Gong |
A latent topic model for linked documents. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
document clustering, topic model |
12 | Jesse Davis, Pedro M. Domingos |
Deep transfer via second-order Markov logic. |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Olivier Hudry |
NP-hardness results for the aggregation of linear orders into median orders. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Partially ordered relations, Median relations, Aggregation of preferences, Complexity |
12 | Jacinto González-Pachón, Carlos Romero |
A method for obtaining transitive approximations of a binary relation. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Transitive approximation, Maximal transitive sub-relation, Transitive opening, Transitive closure, Goal programming, Binary relation |
12 | Steven Schockaert, Martine De Cock, Etienne E. Kerre |
Fuzzifying Allen's Temporal Interval Relations. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Birte Glimm, Yevgeny Kazakov |
Role Conjunctions in Expressive Description Logics. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Charalampos E. Tsourakakis |
Fast Counting of Triangles in Large Real Networks without Counting: Algorithms and Laws. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Steffen Rendle, Lars Schmidt-Thieme |
Active Learning of Equivalence Relations by Minimizing the Expected Loss Using Constraint Inference. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Dirk Pattinson, Lutz Schröder |
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Eiko Yoneki |
Visualizing communities and centralities from encounter traces. |
Challenged Networks |
2008 |
DBLP DOI BibTeX RDF |
clustering, social networks, delay tolerant networks, network measurement, centrality |
12 | Xixiang Zhang, Jianxun Liu, Jing Lei, Baoan Yang |
Group Decision Making Method with Incomplete Linguistic 2-tuple Judgement Matrix Based on Additive Consistency. |
WKDD |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wieloch |
Fitnessless coevolution. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
one-population coevolution, games, selection methods |
12 | Hsuan-Shih Lee, Pei-Di Shen, Wen-Li Chyr |
Prioritization of Incomplete Fuzzy Preference Relation. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
consistent incomplete fuzzy preference relation, incomplete fuzzy preference relation, priority vector |
12 | Steven C. S. Ng, Allan K. Y. Wong |
RCR - A Novel Model for Effective Computer-Aided TCM (Traditional Chinese Medicine) Learning over the Web. |
CSSE (5) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Suhua Zheng, Xiaodong Liu, Fenglan Xiong |
The Relativity and Properties of Logical Operator, Fuzzy Relationsand General Fuzzy Rough Approximation. |
FSKD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Feng Liu 0010, Ming Li, Run Zhang, He Zhang, Zhen Xu |
Remaining Delivery Time Estimation Based Routing for Intermittently Connected Mobile Networks. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Abel 0001, Dulma Rodriguez |
Syntactic Metatheory of Higher-Order Subtyping. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
Higher-order subtyping, bounded quantification, algorithmic subtyping, hereditary substitution |
12 | He Yuan Huang, Hehui Liu, Zhong Jie Li, Jun Zhu |
Surrogate: A Simulation Apparatus for Continuous Integration Testing in Service Oriented Architecture. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
Continuous integration testing, service oriented archi-tecture, simulation |
12 | Renate A. Schmidt, Ullrich Hustadt |
The axiomatic translation principle for modal logic. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Translation approach, small model property, completeness, decidability |
12 | Klaas van den Berg, José María Conejero, Juan Hernández 0001 |
Analysis of Crosscutting in Early Software Development Phases Based on Traceability. |
T. Aspect-Oriented Software Development |
2007 |
DBLP DOI BibTeX RDF |
traceability, aspect-oriented software development, crosscutting concerns, scattering, tangling, crosscutting |
12 | Brigitte Pientka |
Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii |
Environmental Bisimulations for Higher-Order Languages. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Chiclana, Francisco Mata, Sergio Alonso, Enrique Herrera-Viedma, Luis Martínez-López 0001 |
Group Decision Making: From Consistency to Consensus. |
MDAI |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Eiko Yoneki, Pan Hui 0001, Jon Crowcroft |
Visualizing community detection in opportunistic networks. |
Challenged Networks |
2007 |
DBLP DOI BibTeX RDF |
distributed community detection, social networks, delay tolerant networks, network measurement |
12 | Ning Gu, Qiwei Zhang, Jiangming Yang, Wei Ye |
Dcv: a causality detection approach for large-scale dynamic collaboration environments. |
GROUP |
2007 |
DBLP DOI BibTeX RDF |
direct causal vector, CSCW, groupware, concurrency control, group editors, logical clock |
12 | Yantao Zheng, Shi-Yong Neo, Tat-Seng Chua, Qi Tian 0002 |
The use of temporal, semantic and visual partitioning model for efficient near-duplicate keyframe detection in large scale news corpus. |
CIVR |
2007 |
DBLP DOI BibTeX RDF |
corpus partitioning, near-duplicate keyframe detection |
12 | Hong-Ying Zhang 0001, Wen-Xiu Zhang |
Fuzzy-Valued Transitive Inclusion Measure, Similarity Measure and Application to Approximate Reasoning. |
RSKT |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy-valued inclusion measure, Fuzzy-valued similarity measure, Fuzzy inference |
12 | Mohammed Al-Mansari, Stefan Hanenberg, Rainer Unland |
Orthogonal persistence and AOP: a balancing act. |
ACP4IS |
2007 |
DBLP DOI BibTeX RDF |
locality of join point properties, path expression pointcuts, persisting containers, orthogonal persistence, obliviousness |
12 | Manfred A. Jeusfeld |
Partial Evaluation in Meta Modeling. |
Situational Method Engineering |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Ball, Orna Kupferman |
Better Under-Approximation of Programs by Hiding Variables. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
12 | ZhenLiu Zhou, RongSheng Xu |
BIOS Security Analysis and a Kind of Trusted BIOS. |
ICICS |
2007 |
DBLP DOI BibTeX RDF |
Trust Measurement, BIOS, UEFI, Trusted Computing, TPM |
12 | Solange Coupet-Grimal, William Delobel |
An effective proof of the well-foundedness of the multiset path ordering. |
Appl. Algebra Eng. Commun. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Well-foundedness, Multiset path order, Termination, Constructive logic |
12 | Luciano Basile, Livia D'Apuzzo |
Transitive Matrices, Strict Preference Order and Ordinal Evaluation Operators. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Tanveer J. Siddiqui |
Intelligent techniques for effective information retrieval: (a conceptual graph based approach). |
SIGIR Forum |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Carl Mooney, Denise de Vries, John F. Roddick |
A Multi-level Framework for the Analysis of Sequential Data. |
Selected Papers from AusDM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | László Babai |
On the diameter of Eulerian orientations of graphs. |
SODA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Chun Jin, Jaime G. Carbonell |
ARGUS: Efficient Scalable Continuous Query Optimization for Large-Volume Data Streams. |
IDEAS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Wolf-Tilo Balke, Ulrich Güntzer, Wolf Siberski |
Exploiting Indifference for Customization of Partial Order Skylines. |
IDEAS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | José Ignacio Santos, José Manuel Galán, Ricardo del Olmo |
An Agent-Based Model of Personal Web Communities. |
IDEAL |
2006 |
DBLP DOI BibTeX RDF |
personal homepages, Social Networks, blogs, Agent-Based Modeling |
12 | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
Configurations for Inference Between Causal Statements. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Oskar M. Skrinjar |
Point-Based Registration with Known Correspondence: Closed Form Optimal Solutions and Properties. |
WBIR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Amal J. Ahmed 0001 |
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Luciana S. Buriol, Gereon Frahling, Stefano Leonardi 0001, Alberto Marchetti-Spaccamela, Christian Sohler |
Counting triangles in data streams. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
graph algorithms, network analysis, streaming algorithms |
12 | Dipti Srinivasan, Lily Rachmawati |
An efficient multi-objective evolutionary algorithm with steady-state replacement model. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, multi-objective optimization |
12 | Jonathan Lok-Chuen Lo, Michael Brady 0001, Niall Moore |
Simultaneous Multiple Image Registration Method for T1 Estimation in Breast MRI Images. |
MICCAI (1) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Chao Wang 0001, Aarti Gupta, Malay K. Ganai |
Predicate learning and selective theory deduction for a difference logic solver. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
difference logic, SAT, decision procedure, SMT solver |
12 | Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta |
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Chun Jin, Jaime G. Carbonell, Philip J. Hayes |
ARGUS: Rete + DBMS = Efficient Persistent Profile Matching on Large-Volume Data Streams. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Similarity, Approximations and Vagueness. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Daoxi Xiu, Zhaoyu Liu |
A Formal Definition for Trust in Distributed Systems. |
ISC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Taek-Hun Kim, Sung-Bong Yang |
An Effective Recommendation Algorithm for Clustering-Based Recommender Systems. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Duoqian Miao, Daoguo Li, Shidong Fan |
Fuzzy rough set and its improvement. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | John L. Hayden |
Eigenvalues of Finite Projective Planes with an Abelian Cartesian Group. |
Des. Codes Cryptogr. |
2004 |
DBLP DOI BibTeX RDF |
incidence matrix, Cartesian group, eigenvalues, projective plane |
12 | Radko Mesiar, Susanne Saminger |
Domination of ordered weighted averaging operators over t-norms. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
Domination, OWA operators |
12 | Dafa Li |
The equality axioms are not independent. |
SIGACT News |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj |
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Michael Brinkmeier, Thomas Schank |
Network Statistics. |
Network Analysis |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gerard Kempen, Karin Harbusch |
Generating Natural Word Orders in a Semi?free Word Order Language: Treebank-Based Linearization Preferences for German. |
CICLing |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ildar Z. Batyrshin, Natalja Shajdullina, Leonid Sheremetov |
Strict Valued Preference Relations and Choice Functions in Decision-Making Procedures. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gianpiero Cattaneo, Alberto Dennunzio |
Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jun Rao, Hamid Pirahesh, Calisto Zuzarte |
Canonical Abstraction for Outerjoin Optimization. |
SIGMOD Conference |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Amir Shpilka, Avi Wigderson |
Derandomizing homomorphism testing in general groups. |
STOC |
2004 |
DBLP DOI BibTeX RDF |
homomorphism testing, derandomization, linearity testing |
12 | Bee-Chung Chen, Jieh Hsiang |
A Logical Framework of Knowledge Retrieval with Fuzziness. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Samuel Fiorini, Peter C. Fishburn |
Extendability of Cyclic Orders. |
Order |
2003 |
DBLP DOI BibTeX RDF |
poset dimension, polytopes, cyclic orders |
12 | Dong-Joon Shin, P. Vijay Kumar, Tor Helleseth |
3-Designs from the Z4-Goethals Codes via a New Kloosterman Sum Identity. |
Des. Codes Cryptogr. |
2003 |
DBLP DOI BibTeX RDF |
Z 4-Goethals codes, Kloosterman sums, t-designs |
12 | Bogdan J. Falkowski |
A Comment on "Generalized Reed-Muller Forms as a Tool to Detect Symmetries". |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
Boolean symmetries, Boolean functions, Reed-Muller transform |
12 | Ernst-Erich Doberkat |
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation |
12 | Kamil Kulesza, Zbigniew Kotulski |
Addressing New Challenges by Building Security Protocols Around Graphs. |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
extended capabilities, graph theory, quantum computing, security protocols, secret sharing, data security, graph colouring |
12 | Yong Luo 0001, Zhaohui Luo |
Combining Incoherent Coercions for Sigma-Types. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Renate A. Schmidt, Ullrich Hustadt |
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jayme Luiz Szwarcfiter |
On the Generation of Extensions of a Partially Ordered Set. |
CIAC |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Rémy-Robert Joseph, Peter Chan, Michael Hiroux, Georges Weil |
Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jingyu Hou 0001, Yanchun Zhang, Jinli Cao |
Web Page Clustering: A Hyperlink-Based Similarity and Matrix-Based Hierarchical Algorithms. |
APWeb |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Stephan Merz, Martin Wirsing, Júlia Zappe |
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic Subtyping. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Taek-Hun Kim, Young-Suk Ryu, Seok-In Park, Sung-Bong Yang |
An Improved Recommendation Algorithm in Collaborative Filtering. |
EC-Web |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez |
A Hybrid Approach for SAT. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Sye Loong Keoh, Emil Lupu |
Towards flexible credential verification in mobile ad-hoc networks. |
POMC |
2002 |
DBLP DOI BibTeX RDF |
credential verification, security, authentication, trust |
12 | Silvia Bernardi, Giulianella Coletti |
A Rational Conditional Utility Model in a Coherent Framework. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Schulz 0001, Udo Hahn |
Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures. |
AIME |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Denis Béchet |
Universal Interaction Systems with Only Two Agents. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Toon Calders, Jan Paredaens |
Mining Frequent Binary Expressions. |
DaWaK |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Camilla Schwind |
A Theory for Causal Reasoning. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Luciano Margara |
On Some Topological Properties of Linear Cellular Automata. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
cellular automaton, chaos theory, discrete time dynamical system |
12 | Michel Serfati |
Multivalued Binary Relations and Post Algebras. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Robert Nieuwenhuis, José Miguel Rivero |
Solved Forms for Path Ordering Constraints. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Leo Bachmair, Harald Ganzinger |
Ordered Chaining Calculi for First-Order Theories of Transitive Relations. |
J. ACM |
1998 |
DBLP DOI BibTeX RDF |
chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic |
12 | Fabio Fagnani, Luciano Margara |
Expansivity, Permutivity, and Chaos for Cellular Automata. |
Theory Comput. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Michael Beeson |
Automatic Generation of Epsilon-Delta Proofs of Continuity. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Branko Grünbaum |
Isogonal Prismatoids. |
Discret. Comput. Geom. |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Ciarán Bryce |
Security Engineering of Lattice-Based Policies. |
CSFW |
1997 |
DBLP DOI BibTeX RDF |
lattice policy modeling, Security engineering, information flow security |
12 | Gang Chen |
Subtyping Calculus of Construction (Extended Abstract). |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini, Luciano Margara |
On Ergodic Linear Cellular Automata over Zm. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Bonnie J. Dorr, Mari Broman Olsen |
Multilingual generation: The role of telicity in lexical choice and syntactic realization. |
Mach. Transl. |
1996 |
DBLP DOI BibTeX RDF |
syntax-semantics interface, syntactic alternations, semantic classes, (a)telicity, multilingual generation, lexical conceptual structure, interlingua |
12 | Hideki Tsuiki |
On Typed Calculi with a Merge Operator. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Zohar Manna, Richard J. Waldinger |
The Special-Relation Rules are Incomplete. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Larry M. Hines |
The Central Variable Strategy of Str+ve. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Max J. Egenhofer |
Reasoning about Binary Topological Relations. |
SSD |
1991 |
DBLP DOI BibTeX RDF |
|