Search results for "Labelled"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Yun Chi, Yirong Yang, Richard R. Muntz	Canonical forms for labelled trees and their applications in frequent subtree mining.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Labelled free tree, Labelled rooted unordered tree, Tree isomorphism, Canonical form, Frequent subtree
72	Bertran Steinsky	Asymptotic Behaviour of the Number of Labelled Essential Acyclic Digraphs and Labelled Chain Graphs.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Labelled essential directed acyclic graph, Chain graph, Asymptotic enumeration, Bayesian network
57	Damián Vargas-Vázquez, José Crespo, Victor Maojo	Morphological Image Reconstruction with Criterion from Labelled Markers.	DGCI	2003	DBLP DOI BibTeX RDF	flat zones, labelled markers, reconstruction with criterion, segmentation, Mathematical Morphology
49	Shenghuo Zhu, Xiang Ji, Wei Xu 0007, Yihong Gong	Multi-labelled classification using maximum entropy method.	SIGIR	2005	DBLP DOI BibTeX RDF	multi-labelled classification, maximum entropy method
49	Nicolette Bonnette, Rajeev Goré	A Labelled Sequent System for Tense Logic Kt.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF	labelled deductive system, lean deduction, sequent system, automated deduction, tense logic
48	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
47	Wan-Jui Lee, Robert P. W. Duin	A Labelled Graph Based Multiple Classifier System.	MCS	2009	DBLP DOI BibTeX RDF
47	Marcus Brazil, Doreen A. Thomas, Jia F. Weng	Gradient-constrained minimum networks (II). Labelled or locally minimal Steiner points.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Minimum networks, Gradient constrained, Steiner trees, Locally minimal
47	Takahiko Horiuchi	Similarity Measure of Labelled Images.	ICPR (3)	2004	DBLP DOI BibTeX RDF
47	Franck van Breugel, Steven Shalit, James Worrell 0001	Testing Labelled Markov Processes.	ICALP	2002	DBLP DOI BibTeX RDF
47	Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden	Bisimulation for Labelled Markov Processes.	LICS	1997	DBLP DOI BibTeX RDF
42	Tran The Truyen, Hung Hai Bui, Dinh Q. Phung, Svetha Venkatesh	Learning Discriminative Sequence Models from Partially Labelled Data for Activity Recognition.	PRICAI	2008	DBLP DOI BibTeX RDF	partially labelled data, indoor video surveillance, maximum entropy Markov models, activity recognition, conditional random fields, discriminative models
42	Jakub Koperwas, Krzysztof Walczak 0002	Frequent Subsplit Representation of Leaf-Labelled Trees.	EvoBIO	2008	DBLP DOI BibTeX RDF	Leaf-labelled trees, frequent subsplits, phylogenetic trees
40	Nicolas Bedon, Chloe Rispal	Series-Parallel Languages on Scattered and Countable Posets.	MFCS	2007	DBLP DOI BibTeX RDF
40	Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui	Model-Checking for Real-Time Systems Specified in Lotos.	CAV	1992	DBLP DOI BibTeX RDF
40	Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori	An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.	CAV	1991	DBLP DOI BibTeX RDF
39	Saswata Shannigrahi, Sudebkumar Prasant Pal	Efficient Prüfer-Like Coding and Counting Labelled Hypertrees.	Algorithmica	2009	DBLP DOI BibTeX RDF	Hypertree, Prüfer code, r-uniform, Coding, Counting
39	Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier	Labelled (Hyper)Graphs, Negotiations and the Naming Problem.	ICGT	2008	DBLP DOI BibTeX RDF
39	Kolawole O. Babalola, Timothy F. Cootes	Registering richly labelled 3D images.	ISBI	2006	DBLP DOI BibTeX RDF
39	Franck van Breugel	A Behavioural Pseudometric for Metric Labelled Transition Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
39	Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell 0001	Duality for Labelled Markov Processes.	FoSSaCS	2004	DBLP DOI BibTeX RDF
39	Han Liu 0001, Xiaobin Yuan, Qianying Tang, Rafal Kustra	An Efficient Method to Estimate Labelled Sample Size for Transductive LDA(QDA/MDA) Based on Bayes Risk.	ECML	2004	DBLP DOI BibTeX RDF
39	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Behaviour model elaboration using partial labelled transition systems.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model elaboration, partial LTS, synthesis, scenarios
34	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
34	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity Generalised to Transition Systems.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF	non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
34	Steve Reeves, David Streader	Comparison of Data and Process Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF	process refinement, sub-typing, Z, labelled transition systems, data refinement
34	Jessica Chen	Formal Modelling of Java GUI Event Handling.	ICFEM	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
34	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Detecting implied scenarios in message sequence chart specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA
34	Anthony Hunter	A Conceptualization of Preferences in Non-Monotonic Proof Theory.	JELIA	1992	DBLP DOI BibTeX RDF	Labelled Deductive Systems, Non-monotonic logics
34	Mogens Nielsen, Uffe Engberg, Kim S. Larsen	Fully abstract models for a process language with refinement.	REX Workshop	1988	DBLP DOI BibTeX RDF	change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction
34	Greg Minshall, Robert M. Hinden, Eric Hoffman, FongChing Liaw, Thomas L. Lyon, Peter Newman	Flow labelled IP over ATM: design and rationale.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF	GSMP, IFMP, IP switching, flow labelled IP, ipsilon, ATM, IP
32	Edson Takashi Matsubara, Maria Carolina Monard, Ronaldo C. Prati	On the Class Distribution Labelling Step Sensitivity of CO-TRAINING.	IFIP AI	2006	DBLP DOI BibTeX RDF
32	Kamal Lodaya	Product Automata and Process Algebra.	SEFM	2006	DBLP DOI BibTeX RDF
31	Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin	Approximating Labelled Markov Processes Again!	CALCO	2009	DBLP DOI BibTeX RDF
31	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
31	Arnaud Fietzke, Christoph Weidenbach	Labelled Splitting.	IJCAR	2008	DBLP DOI BibTeX RDF
31	Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv	Labelled Clauses.	CADE	2007	DBLP DOI BibTeX RDF
31	Rudolf Wille	The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices.	ICFCA	2007	DBLP DOI BibTeX RDF
31	Miguel Valero Espada, Jaco van de Pol	Accelerated Modal Abstractions of Labelled Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
31	Michael Huth 0001	Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.	LICS	2004	DBLP DOI BibTeX RDF
31	Andrzej Indrzejczak	A Labelled Natural Deduction System for Linear Temporal Logic.	Stud Logica	2003	DBLP DOI BibTeX RDF	Temporal Logic, Linear Time, Natural Deduction
31	Olivier Brunet	A Labelled Sequent-Calculus for Observation Logic.	TABLEAUX	2003	DBLP DOI BibTeX RDF
31	Egidio Astesiano, Gianna Reggio	Labelled transition logic: an outline.	Acta Informatica	2001	DBLP DOI BibTeX RDF
31	Thomas Marthedal Rasmussen	Labelled Natural Deduction for Interval Logics.	CSL	2001	DBLP DOI BibTeX RDF
31	Hong-Chung Chen, Yue-Li Wang	An Efficient Algorithm for Generating Prüfer Codes from Labelled Trees.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
31	Franck van Breugel	A Labelled Transition Systems for pi-epsilon-Calculus.	TAPSOFT	1997	DBLP DOI BibTeX RDF
31	Josep M. Merenciano, Glyn Morrill	Generation as Deduction on Labelled Proof Nets.	LACL	1996	DBLP DOI BibTeX RDF
31	Mordecai J. Golin, Shmuel Zaks	Labelled Trees and Pairs of Input-Output Permutations in Priority Queues.	WG	1994	DBLP DOI BibTeX RDF
31	Antti Valmari, Matthew Clegg	Reduced Labelled Transition Systems Save Verification Effort.	CONCUR	1991	DBLP DOI BibTeX RDF
30	Olivier Bodini, Antoine Genitrini, Mehdi Naima	A Combinatorial Link Between Labelled Graphs and Increasingly Labelled Schröder Trees.	LATIN	2022	DBLP DOI BibTeX RDF
30	Asier Gutiérrez-Fandiño, David Pérez Fernández, Jordi Armengol-Estapé	The Large Labelled Logo Dataset (L3D): A Multipurpose and Hand-Labelled Continuously Growing Dataset.	CoRR	2021	DBLP BibTeX RDF
30	Mary Qu Yang, Jack Y. Yang, Okan K. Ersoy	Classification of proteins multiple-labelled and single-labelled with protein functional classes.	Int. J. Gen. Syst.	2007	DBLP DOI BibTeX RDF
30	Bertran Steinsky	Enumeration of labelled chain graphs and labelled essential directed acyclic graphs.	Discret. Math.	2003	DBLP DOI BibTeX RDF
30	F. Michel Dekking	On the Probability of Occurrence of Labelled Subtrees of a Randomly Labelled Tree.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
27	Thibaut Balabonski	Optimality for dynamic patterns.	PPDP	2010	DBLP DOI BibTeX RDF	dynamic patterns, labelled calculi, optimality, pattern matching, sharing
27	Leo Freitas, Jim Woodcock 0001	FDR Explorer.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
27	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity generalised to transition systems.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Non-deducibility, Observable behaviour, Petri nets, Anonymity, Abstract interpretation, Labelled transition systems, Opacity
27	Jakub Koperwas, Krzysztof Walczak 0002	Phylogenetic Trees Dissimilarity Measure Based on Strict Frequent Splits Set and Its Application for Clustering.	RSKT	2008	DBLP DOI BibTeX RDF	Leaf-labelled trees, Frequent subsplits, Clustering, Phylogenetic trees
27	Stéphane Le Roux 0001	Graphs and Path Equilibria.	AAIM	2008	DBLP DOI BibTeX RDF	Labelled directed graph, strict weak order, optimisation, preference, induction, equilibrium, sufficient condition, path, necessary condition
27	Karolina Owczarzak, Josef van Genabith, Andy Way	Evaluating machine translation with LFG dependencies.	Mach. Transl.	2007	DBLP DOI BibTeX RDF	Lexical-Functional Grammar, Labelled dependencies, Machine translation, Evaluation metrics
27	Lihua Duan, Jessica Chen	A Formal Approach to Website Maintenance.	HASE	2007	DBLP DOI BibTeX RDF	reverse engineering, formal verification, labelled transition systems, tree automata
27	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
27	Antoine Rollet, Fares Saad-Khorchef	A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.	SERA	2007	DBLP DOI BibTeX RDF	Robustness relations, Timed Automata, Labelled Transition Systems, Robustness Testing
27	Christophe Damas, Bernard Lambeau, Axel van Lamsweerde	Scenarios, goals, and state machines: a win-win partnership for model synthesis.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation
27	Chuan-Min Lee, Ling-Ju Hung, Maw-Shang Chang, Chuan Yi Tang	An Improved Algorithm for the Maximum Agreement Subtree Problem.	BIBE	2004	DBLP DOI BibTeX RDF	maximum agreement sub-tree, leaf-labelled tree, k-dimensional range search tree, k-dimensional binary search tree, Evolutionary tree
27	Jessica Chen	Using Formal Methods to Serialize Synchronization Events.	ICFEM	2003	DBLP DOI BibTeX RDF	Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems
27	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
27	Jianxiong Pang, Lynne Blair	An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	auto adaptive systems, feature/aspect interaction detection and resolution, run time manager, LTS (Labelled Transition Systems), model checking, aspect-oriented programming, reflection
27	Krisztián Tichler	Extremal Theorems for Databases.	FoIKS	2002	DBLP DOI BibTeX RDF	antikeys, labelled directed tree, extremal problems, cliques, keys, maximal independent sets, relational database model
27	Ulrike Lechner, Beat F. Schmid	Logic for Media - The Computational Media Metaphor.	HICSS	1999	DBLP DOI BibTeX RDF	Labelled Deductive System, Multi Agent System, Rewriting Logic, Medium
27	A. Mabbmann, Stefan Posch, Gerhard Sagerer, Daniel Schlüter	Using Markov Random Fields for Contour-Based Grouping.	ICIP (2)	1997	DBLP DOI BibTeX RDF	contour-based grouping, contour-based segmentation, image primitives, image data regularities, Gestalt psychology, local evidence, hand labelled training set, abstraction, Markov random fields, Markov processes, hierarchy, real data
27	Zdenek Kotásek, F. Zboril	RT level testability analysis to reduce test application time.	EUROMICRO	1997	DBLP DOI BibTeX RDF	register transfer level testability analysis, RTL element classification, RTL circuit transformation, labelled directed graph, PROLOG environment, implementation principles, logic testing, test application time reduction
27	Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou	Analysing the behaviour of distributed software architectures: a case study.	FTDCS	1997	DBLP DOI BibTeX RDF	distributed software architecture, software behaviour analysis, behavioural specifications, compositional reachability analysis, composite system models, active badge system, distributed processing, case study, software components, labelled transition systems
27	Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	Automatic modification of a protocol specification based on changes of a service specification.	ICPADS	1996	DBLP DOI BibTeX RDF	verification, formal specification, protocols, validation, Labelled Transition System, service specification, protocol specification
27	Jifeng He 0001	Various Simulations and Refinements.	REX Workshop	1989	DBLP DOI BibTeX RDF	Hiding Refinement, Simulation, Refinement, Labelled Transition System
24	Nicolas Bedon	Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings.	LFCS	2009	DBLP DOI BibTeX RDF
24	Sam Staton	Relating Coalgebraic Notions of Bisimulation.	CALCO	2009	DBLP DOI BibTeX RDF
24	Shireen Mohd Zaki, Hujun Yin	Semi-supervised Growing Neural Gas for Face Recognition.	IDEAL	2008	DBLP DOI BibTeX RDF	Face recognition, semi-supervised learning, classifier, Growing neural gas
24	Houda Benbrahim, Max Bramer	A Fuzzy Semi-Supervised Support Vector Machines Approach to Hypertext Categorization.	IFIP AI	2008	DBLP DOI BibTeX RDF
24	Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti	An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.	FMICS	2007	DBLP DOI BibTeX RDF
24	Joost van de Weijer 0001, Cordelia Schmid, Jakob Verbeek	Learning Color Names from Real-World Images.	CVPR	2007	DBLP DOI BibTeX RDF
24	Hyunjung Shin, N. Jeremy Hill, Gunnar Rätsch	Graph Based Semi-supervised Learning with Sharper Edges.	ECML	2006	DBLP DOI BibTeX RDF
24	Zijing Tan, Wei Wang 0009, Baile Shi	Extending Tree Automata to Obtain Consistent Query Answer from Inconsistent XML Document.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
24	Lei Wang 0001, Yan Gao, Kap Luk Chan, Ping Xue 0001, Wei-Yun Yau	Retrieval with Knowledge-driven Kernel Design: An Approach to Improving SVM-Based CBIR with Relevance Feedback.	ICCV	2005	DBLP DOI BibTeX RDF
24	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Can I Execute My Scenario in Your Net?.	ICATPN	2005	DBLP DOI BibTeX RDF
24	Oriol Pujol, Petia Radeva	Solving Particularization with Supervised Clustering Competition Scheme.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
24	Wei Fan 0001, Yi-an Huang, Philip S. Yu	Decision Tree Evolution Using Limited Number of Labeled Data Items from Drifting Data Streams.	ICDM	2004	DBLP DOI BibTeX RDF
24	Christopher M. Bishop, Ilkay Ulusoy	Object Recognition via Local Patch Labelling.	Deterministic and Statistical Methods in Machine Learning	2004	DBLP DOI BibTeX RDF
24	Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas	Translating Erlang to µCRL.	ACSD	2004	DBLP DOI BibTeX RDF
24	Lei Wang 0001, Kap Luk Chan	A Dynamic Sub-vector Weighting Scheme for Image Retrieval with Relevance Feedback.	Pattern Anal. Appl.	2003	DBLP DOI BibTeX RDF	Sub-vectors, Feature correlation, Weighted similarity metric, Image retrieval with relevance feedback
24	Annegret Habel, Detlef Plump	Relabelling in Graph Transformation.	ICGT	2002	DBLP DOI BibTeX RDF
24	Nirmalie Wiratunga, Susan Craw	Informed Selection of Training Examples for Knowledge Refinement.	EKAW	2000	DBLP DOI BibTeX RDF
24	Wolfgang Thomas	Automata Theory on Trees and Partial Orders.	TAPSOFT	1997	DBLP DOI BibTeX RDF
24	Gilles Barthe, Paul-André Melliès	On the Subject Reduction Property for Algebraic Type Systems.	CSL	1996	DBLP DOI BibTeX RDF
24	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
23	Bianca Boretti, Sara Negri	Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
23	Luís Pinto 0001, Tarmo Uustalu	Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.	TABLEAUX	2009	DBLP DOI BibTeX RDF
23	Maria Chudnovsky, William H. Cunningham, Jim Geelen	An algorithm for packing non-zero A -paths in group-labelled graphs.	Comb.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 05C22
23	Didier Galmiche, Yakoub Salhi	Labelled Calculi for Lukasiewicz Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
23	Hassan Jassar, François Langevin	Labelled microspheres assessment using 1.5T scanner for embolization follow up.	ISBI	2008	DBLP DOI BibTeX RDF