Search results for "generalisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Tim Kimber, Krysia Broda, Alessandra Russo	Induction on Failure: Learning Connected Horn Theories.	LPNMR	2009	DBLP DOI BibTeX RDF	Inverse Entailment, Abductio, Inductive Logic Programming
9	Antoine Joux, Stefan Lucks	Improved Generic Algorithms for 3-Collisions.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	multicollision, random map, memory-efficient, cryptanalysis, parallel implementation
9	Uta Priss	Relation Algebra Operations on Formal Contexts.	ICCS	2009	DBLP DOI BibTeX RDF
9	Kai Brünnler, Lutz Straßburger	Modular Sequent Systems for Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
9	Peter Y. H. Wong, Jeremy Gibbons	Property Specifications for Workflow Modelling.	IFM	2009	DBLP DOI BibTeX RDF
9	Frank Zeyda, Ana Cavalcanti 0001	Mechanised Translation of Control Law Diagrams into Circus.	IFM	2009	DBLP DOI BibTeX RDF	ClawZ, verification, CSP, Z, Simulink
9	Peter Höfner, Bernhard Möller	An extension for feature algebra.	FOSD	2009	DBLP DOI BibTeX RDF	algebraic characterisation of FOSD, feature algebra, feature oriented software development
9	Robert Atkey	Algebras for Parameterised Monads.	CALCO	2009	DBLP DOI BibTeX RDF
9	Benjamin Piwowarski, Mounia Lalmas	A Quantum-Based Model for Interactive Information Retrieval.	ICTIR	2009	DBLP DOI BibTeX RDF
9	Stefan S. Dantchev, Tom Friedetzky, Lars Nagel 0001	Sublinear-Time Algorithms for Tournament Graphs.	COCOON	2009	DBLP DOI BibTeX RDF	random walk, tournament, sublinear-time algorithms
9	Ján Manuch, Murray Patterson, Arvind Gupta	On the Generalised Character Compatibility Problem for Non-branching Character Trees.	COCOON	2009	DBLP DOI BibTeX RDF
9	Xavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet	Ontology Personalization: An Approach Based on Conceptual Prototypicality.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF	Contextual Ontology, Conceptual prototypicality, Semiotic measure, Information Retrieval, Semantic Web, Personalisation, Categorisation, Typicality, Pragmatic Web
9	Piotr Faliszewski, Edith Elkind, Michael J. Wooldridge	Boolean combinations of weighted voting games.	AAMAS (1)	2009	DBLP BibTeX RDF	complexity, games, weighted voting games
9	Jean-Charles Faugère, Sajjad Rahmany	Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases.	ISSAC	2009	DBLP DOI BibTeX RDF	invariant ring, sagbi-groebner, symmetric polynomials, groebner basis, f5 algorithm
9	Chi-Kin Chau	A Game-Theoretical Study of Robust Networked Systems.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
9	Jiuyong Li, Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Jian Pei	Anonymization by Local Recoding in Data with Attribute Hierarchical Taxonomies.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
9	Wojciech Jaworski	Generalized Indiscernibility Relations: Applications for Missing Values and Analysis of Structural Objects.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	multivalued attributes, structural objects, model of reality, rough sets, knowledge representation, information system, data analysis, missing values, sequential data, Indiscernibility relation
9	Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon	McMillan's Complete Prefix for Contextual Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	read arcs, complete finite prefix, verification, Petri nets, unfolding
9	Alexandre Tiskin	Semi-local String Comparison: Algorithmic Techniques and Applications.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	semi-local string comparison, longest common subsequence, String algorithms
9	John Plaice, Blanca Mancilla, Gabriel Ditu	From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	multidimensional programming, Lucid programming language, Declarative programming
9	Pierre Soille	Constrained Connectivity for Hierarchical Image Decomposition and Simplification.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Clustering, Segmentation, partitioning, Hierarchical, Region growing, Image Processing and Computer Vision, Graph-theoretic methods
9	Guido Sanguinetti	Dimensionality Reduction of Clustered Data Sets.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	clustering, dimensionality reduction, discriminant analysis, probabilistic algorithms
9	Nicolás García-Pedrajas, Colin Fyfe	Construction of classifier ensembles by means of artificial immune systems.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Neural networks, Classification, Artificial immune system, Classifier ensembles
9	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca	Combining Tree Partitioning, Precedence, and Incomparability Constraints.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Digraph partitioning, Tree constraint, Incomparability constraint, Ordered disjoint paths problem, Phylogenetic supertree problem, Filtering, Tree, Global constraint, Precedence constraint, Hamiltonian path problem
9	Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton	Automatic Construction and Verification of Isotopy Invariants.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy
9	Horst Bunke, Peter J. Dickinson, Miro Kraetzl, Michel Neuhaus, Marc Stettler	Matching of Hypergraphs - Algorithms, Applications, and Experiments.	Applied Pattern Recognition	2008	DBLP DOI BibTeX RDF	hypergraph matching, graph, graph matching, hypergraph, Structural pattern recognition
9	Terry Windeatt	Ensemble MLP Classifier Design.	Computational Intelligence Paradigms	2008	DBLP DOI BibTeX RDF
9	Raymond Bisdorff	On Clustering the Criteria in an Outranking Based Decision Aid Approach.	MCO	2008	DBLP DOI BibTeX RDF
9	Ulrich Schöpp	A Formalised Lower Bound on Undirected Graph Reachability.	LPAR	2008	DBLP DOI BibTeX RDF
9	Torben Æ. Mogensen	Semi-inversion of functional parameters.	PEPM	2008	DBLP DOI BibTeX RDF	semi-inversion, program transformation, inversion, higher-order functions
9	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
9	Richard Dazeley, Byeong Ho Kang 0001	Generalising Symbolic Knowledge in Online Classification and Prediction.	PKAW	2008	DBLP DOI BibTeX RDF	Hidden context, knowledge representation, knowledge based systems, situation cognition, ripple-down rules
9	Thomas Klapiscak, Rafael H. Bordini	JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies.	DALT	2008	DBLP DOI BibTeX RDF
9	Conor McBride	Clowns to the left of me, jokers to the right (pearl): dissecting data structures.	POPL	2008	DBLP DOI BibTeX RDF	polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection
9	Alexander Clark, Rémi Eyraud, Amaury Habrard	A Polynomial Algorithm for the Inference of Context Free Languages.	ICGI	2008	DBLP DOI BibTeX RDF
9	Dirk Pattinson, Lutz Schröder	Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.	FoSSaCS	2008	DBLP DOI BibTeX RDF
9	Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid	Mutation Testing for Aspect-Oriented Programs.	ICST	2008	DBLP DOI BibTeX RDF	Aspect-Oriented testing, AO fault types, Mutation testing, mutation operators
9	Santu Rana, Wanquan Liu, Mihai M. Lazarescu, Svetha Venkatesh	Efficient tensor based face recognition.	ICPR	2008	DBLP DOI BibTeX RDF
9	Aldo Balestrino, Andrea Caiti, Emanuele Crisostomi, Giorgio Grioli	A generalised entropy of curves: An approach to the analysis of dynamical systems.	CDC	2008	DBLP DOI BibTeX RDF
9	Johannes Oetsch, Hans Tompits	Program Correspondence under the Answer-Set Semantics: The Non-ground Case.	ICLP	2008	DBLP DOI BibTeX RDF
9	John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge	Sequential Demand-Driven Evaluation of Eager TransLucid.	COMPSAC	2008	DBLP DOI BibTeX RDF
9	Ulrich Engelke, Hans-Jürgen Zepernick	Multiobjective optimization of multiple scale visual quality processing.	MMSP	2008	DBLP DOI BibTeX RDF
9	Marcin Korzen, Przemyslaw Klesk	Maximal Margin Estimation with Perceptron-Like Algorithm.	ICAISC	2008	DBLP DOI BibTeX RDF
9	Steven D. Galbraith, Eric R. Verheul	An Analysis of the Vector Decomposition Problem.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	Vector decomposition problem, generalised discrete logarithm problem, elliptic curves, Diffie-Hellman problem
9	Gearoid Murphy, Conor Ryan	Exploiting the path of least resistance in evolution.	GECCO	2008	DBLP DOI BibTeX RDF	bloat control, genetic programming
9	Xiaojuan Chao, Waltenegus Dargie, Lin Guan	Energy Model for H2S Monitoring Wireless Sensor Network.	CSE	2008	DBLP DOI BibTeX RDF	Gas Monitoring Application, Wireless Sensor Network, Energy Model
9	Sergio Gutiérrez Santos, Manolis Mavrikis, Darren Pearce	A Learning Environment for Promoting Structured Algebraic Thinking in Children.	ICALT	2008	DBLP DOI BibTeX RDF
9	Kai Labusch, Fabian Timm, Thomas Martinetz	Simple Incremental One-Class Support Vector Classification.	DAGM-Symposium	2008	DBLP DOI BibTeX RDF
9	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Spectral Lattices of ['(R)]max, +-Formal Contexts.	ICFCA	2008	DBLP DOI BibTeX RDF
9	Tim Dwyer, Kim Marriott, Michael Wybrow	Topology Preserving Constrained Graph Layout.	GD	2008	DBLP DOI BibTeX RDF
9	Tomás Werner	High-arity interactions, polyhedral relaxations, and cutting plane algorithm for soft constraint optimisation (MAP-MRF).	CVPR	2008	DBLP DOI BibTeX RDF
9	Simon Price, Peter A. Flach	Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms.	ILP	2008	DBLP DOI BibTeX RDF
9	Alireza Tamaddoni-Nezhad, Stephen H. Muggleton	A Note on Refinement Operators for IE-Based ILP Systems.	ILP	2008	DBLP DOI BibTeX RDF
9	Paul Thomas 0001	Generalising multiple capture-recapture to non-uniform sample sizes.	SIGIR	2008	DBLP DOI BibTeX RDF	size estimation
9	Marco Carbone, Kohei Honda 0001, Nobuko Yoshida	Structured Interactional Exceptions in Session Types.	CONCUR	2008	DBLP DOI BibTeX RDF
9	Vincent van Oostrom	Confluence by Decreasing Diagrams.	RTA	2008	DBLP DOI BibTeX RDF
9	Sheng Chen 0001, Xia Hong 0001, Chris J. Harris	Fully complex-valued radial basis function networks for orthogonal least squares regression.	IJCNN	2008	DBLP DOI BibTeX RDF
9	Sascha Klement, Amir Madany Mamlouk, Thomas Martinetz	Reliability of Cross-Validation for SVMs in High-Dimensional, Low Sample Size Scenarios.	ICANN (1)	2008	DBLP DOI BibTeX RDF
9	David A. Elizondo, Juan Miguel Ortiz-de-Lazcano-Lobato, Ralph Birkenhead	On the Generalization of the m-Class RDP Neural Network.	ICANN (2)	2008	DBLP DOI BibTeX RDF
9	John Mashford, Mike Rahilly, Paul Davis	An Approach Using Mathematical Morphology and Support Vector Machines to Detect Features in Pipe Images.	DICTA	2008	DBLP DOI BibTeX RDF
9	Agusti Solanas, Francesc Sebé, Josep Domingo-Ferrer	Micro-aggregation-based heuristics for p-sensitive k-anonymity: one step beyond.	PAIS	2008	DBLP DOI BibTeX RDF	p-sensitive k-anonymity, micro-data protection, privacy, k-anonymity
9	Richard Dazeley, Byeong Ho Kang 0001	An Approach for Generalising Symbolic Knowledge.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	hidden context, knowledge representation, knowledge based systems, situation cognition, ripple-down rules
9	Ludo M. G. M. Tolhuizen	Quaternary Unequal Error Protection Codes.	ICMCTA	2008	DBLP DOI BibTeX RDF
9	Karl Krukow, Mogens Nielsen	Trust structures.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Trust structures, Denotational and operational semantics, Trust management, I/O automata, Foundations
9	Mark Weber	Yoneda Structures from 2-toposes.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A05, 18A15, 18B25, 18D05
9	Bill Mitchell	Lazy buffer semantics for partial order scenarios.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF
9	Attila Pór, David R. Wood	No-Three-in-Line-in-3D.	Algorithmica	2007	DBLP DOI BibTeX RDF
9	Jan-Georg Smaus	On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint.	CPAIOR	2007	DBLP DOI BibTeX RDF
9	Norman Poh, Josef Kittler	On the Use of Log-Likelihood Ratio Based Model-Specific Score Normalisation in Biometric Authentication.	ICB	2007	DBLP DOI BibTeX RDF
9	Neil Mitchell, Colin Runciman	A Supercompiler for Core Haskell.	IFL	2007	DBLP DOI BibTeX RDF
9	M. M. Chowdhury	An Authentication Scheme Using Non-Commutative Semigroups.	IAS	2007	DBLP DOI BibTeX RDF
9	Manuel González Bedia, Juan M. Corchado, Luis Fernando Castillo	Bio-inspired Memory Generation by Recurrent Neural Networks.	IWANN	2007	DBLP DOI BibTeX RDF
9	Pavel Avgustinov, Julian Tibble, Oege de Moor	Making trace monitors feasible.	OOPSLA	2007	DBLP DOI BibTeX RDF	program analysis, runtime verification, program monitors
9	Thomas J. Cashman 0001, Neil A. Dodgson, Malcolm A. Sabin	Non-uniform B-Spline Subdivision Using Refine and Smooth.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF
9	Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001	Nets with Tokens Which Carry Data.	ICATPN	2007	DBLP DOI BibTeX RDF
9	Oliver Sinnen, Jsun Pe, Alexander Vladimirovich Kozlov	Support for Fine Grained Dependent Tasks in OpenMP.	IWOMP	2007	DBLP DOI BibTeX RDF
9	Gerhard Visser, David L. Dowe	Minimum Message Length Clustering of Spatially-Correlated Data with Varying Inter-Class Penalties.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
9	Kata Praditwong, Xin Yao 0001	How well do multi-objective evolutionary algorithms scale to large problems.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
9	Anuj Dawar, Martin Grohe, Stephan Kreutzer	Locally Excluding a Minor.	LICS	2007	DBLP DOI BibTeX RDF
9	Aidan Slingsby, Jason Dykes, Jo Wood, Keith C. Clarke	Interactive Tag Maps and Tag Clouds for the Multiscale Exploration of Large Spatio-temporal Datasets.	IV	2007	DBLP DOI BibTeX RDF
9	Theodor G. Wyeld	Visualising Australian Indigenous Knowledge Practices Using The Game Engine.	IV	2007	DBLP DOI BibTeX RDF
9	Audun Jøsang, Jochen Haller	Dirichlet Reputation Systems.	ARES	2007	DBLP DOI BibTeX RDF
9	Felix Breitenecker, Nikolas Popper	Structure of Simulation Systems for Structural-Dynamic Systems.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
9	Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang	Scalar Outcomes Suffice for Finitary Probabilistic Testing.	ESOP	2007	DBLP DOI BibTeX RDF
9	Katherine E. Stange	The Tate Pairing Via Elliptic Nets.	Pairing	2007	DBLP DOI BibTeX RDF	elliptic divisibility sequence, elliptic net, Miller’s algorithm, elliptic curve, Tate pairing, pairing-based cryptography
9	Jason Li 0002, Saman K. Halgamuge	Improving Training Speed of Support Vector Machines by Creating Exploitable Trends of Lagrangian Variables: An Application to DNA Splice Site Detection.	FBIT	2007	DBLP DOI BibTeX RDF
9	Peter Jonsson, Gustav Nordh, Johan Thapper	The Maximum Solution Problem on Graphs.	MFCS	2007	DBLP DOI BibTeX RDF	computational complexity, optimisation, Constraint satisfaction, homomorphisms
9	Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran	Modularity Aspects of Disjunctive Stable Models.	LPNMR	2007	DBLP DOI BibTeX RDF
9	Luc Gillibert, Alain Bretto	Hypergraphs for Near-lossless Volumetric Compression.	ITNG	2007	DBLP DOI BibTeX RDF
9	Ronish Joyekurun	Weather hazards in ATM: designing for resilient operations.	ECCE	2007	DBLP DOI BibTeX RDF	collaboration, resilience, weather, accidents
9	Heiko Reppe	An FCA Perspective on n -Distributivity.	ICCS	2007	DBLP DOI BibTeX RDF
9	Madalina Croitoru, Kees van Deemter	An Inferential Approach to the Generation of Referring Expressions.	ICCS	2007	DBLP DOI BibTeX RDF
9	Melanie Aurnhammer	Evolving Texture Features by Genetic Programming.	EvoWorkshops	2007	DBLP DOI BibTeX RDF
9	Christian Krätzer, Andrea Oermann, Jana Dittmann, Andreas Lang 0001	Digital audio forensics: a first practical evaluation on microphone and environment classification.	MM&Sec	2007	DBLP DOI BibTeX RDF	digital media forensics, multimedia authentication
9	Jan Drugowitsch, Alwyn Barry	A principled foundation for LCS.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	bayesian model selection, independently trained local models, xms, learning classifier systems, mixtures-of-experts
9	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
9	Yana Momchilova Mileva, Andrés Bruhn, Joachim Weickert	Illumination-Robust Variational Optical Flow with Photometric Invariants.	DAGM-Symposium	2007	DBLP DOI BibTeX RDF
9	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Galois Connections Between Semimodules and Applications in Data Mining.	ICFCA	2007	DBLP DOI BibTeX RDF
9	Bernhard Ganter	Relational Galois Connections.	ICFCA	2007	DBLP DOI BibTeX RDF
9	Patrick Peursum, Svetha Venkatesh, Geoff A. W. West	Tracking-as-Recognition for Articulated Full-Body Human Motion Analysis.	CVPR	2007	DBLP DOI BibTeX RDF