Search results for "Subclasses"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Amir Ahmad, Gavin Brown 0001	A Study of Random Linear Oracle Ensembles.	MCS	2009	DBLP DOI BibTeX RDF	Clusters, Naive Bayes, Classifier Ensemble, Subclasses
48	Javier Campos, Giovanni Chiola, Manuel Silva Suárez	Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	persistent nets, throughput bounds, unique consistent firing count vector, mono-T-semiflow net subclasses, incidence matrix, synchronized queuing networks, Petri nets, Petri nets, linear programming, linear programming, ergodicity, marked graphs
45	James M. Bateman	Two constructions of C++ subclasses from functions.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
39	Thierry Vidal, Hélène Fargier	Contingent Durations in Temporal CSPs: From Consistency to Controllabilities.	TIME	1997	DBLP DOI BibTeX RDF	temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic
39	Jean-Michel Couvreur, Javier Martínez	Linear invariants in commutative high level nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
37	Ah Chung Tsoi	Gradient Based Learning Methods.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
36	Jon Sneyers	Turing-Complete Subclasses of CHR.	ICLP	2008	DBLP DOI BibTeX RDF
36	Andrew R. Mitchell, Tobias Scheffer, Arun Sharma 0001, Frank Stephan 0001	The VC-Dimension of Subclasses of Pattern.	ALT	1999	DBLP DOI BibTeX RDF
36	Henning Reineke	Subclasses of Recognizable Trace Languages.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
36	Roel J. Wieringa, Wiebren de Jonge, Paul Spruit	Roles and Dynamic Subclasses: A Modal Logic Approach.	ECOOP	1994	DBLP DOI BibTeX RDF	OO analysis and design, formal methods, Theoretical foundations
36	Andreas Flögel, Marek Karpinski, Hans Kleine Büning	Subclasses of Quantified Boolean Formulas.	CSL	1990	DBLP DOI BibTeX RDF
35	Yoshihiro Mori, Takehiro Mori, Yasuaki Kuroe	Some new subclasses of systems having a common quadratic Lyapunov function and comparison of known subclasses.	CDC	2001	DBLP DOI BibTeX RDF
28	Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer	On Some Aspects of Mixed Horn Formulas.	SAT	2009	DBLP DOI BibTeX RDF	Mixed Horn formula, polynomial time reduction, NP-completeness, satisfiability, exact algorithm
28	Feng Chen 0001, Chang-Tien Lu, Arnold P. Boedihardjo	On Locally Linear Classification by Pairwise Coupling.	ICDM	2008	DBLP DOI BibTeX RDF
28	Ran Raz, Amir Yehudayoff	Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors.	FOCS	2008	DBLP DOI BibTeX RDF
28	Brian Chin, Todd D. Millstein	An Extensible State Machine Pattern for Interactive Applications.	ECOOP	2008	DBLP DOI BibTeX RDF
28	Wenxin Yang, Junping Zhang	Spectral Clustering Based Null Space Linear Discriminant Analysis (SNLDA).	PAKDD	2007	DBLP DOI BibTeX RDF
28	Flavia Bonomo, Guillermo Durán, Min Chih Lin, Jayme Luiz Szwarcfiter	On Balanced Graphs.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 05C50, 05C17, 05C85
28	Gao Cong, Wenfei Fan, Floris Geerts	Annotation propagation revisited for key preserving views.	CIKM	2006	DBLP DOI BibTeX RDF	annotations, provenance, view updates
28	Gero Szepannek, Claus Weihs	Local Modelling in Classification on Different Feature Subspaces.	ICDM	2006	DBLP DOI BibTeX RDF
28	Steffen Lewitzka, Ruy J. G. B. de Queiroz	On dividing chains in simple theories.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Simple theories, Dividing chains, Morley sequences
28	Charles Lakos, Glenn Lewis	Behavior Inheritance for Object Lifecycles.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	Object lifecycles, Behavioral Compatibility, Shlaer-Mellor, UML, Petri Nets, Inheritance
28	Jennifer G. Dy, Carla E. Brodley, Avinash C. Kak, Chi-Ren Shyu, Lynn S. Broderick	The Customized-Queries Approach to CBIR Using EM.	CVPR	1999	DBLP DOI BibTeX RDF
28	Neelam Soundarajan, Stephen Fridella	Reasoning About Polymorphic Behavior.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Enriching Behavior, Polymorphism, Specification and Verification, Behavioral Subtyping
28	Stephen H. Edwards	Representation Inheritance: A Safe Form of "White Box'' Code Inheritance.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Abstraction function, abstraction relation, representation invariant, object-oriented, reuse, inheritance, specialization, subclass, behavioral subtype, model-based specification
28	Richard E. Pattis	Teaching OOP in C++ using an artificial life framework.	SIGCSE	1997	DBLP DOI BibTeX RDF	C++
28	Russell C. Hardie, Kenneth E. Barner	Extended permutation filters and their application to edge enhancement.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
27	Michael R. Fellows, Danny Hermelin, Frances A. Rosamond	Well-Quasi-Orders in Subclasses of Bounded Treewidth Graphs.	IWPEC	2009	DBLP DOI BibTeX RDF
27	Andreas Weiermann	Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions.	CiE	2006	DBLP DOI BibTeX RDF
27	Hubie Chen	Periodic Constraint Satisfaction Problems: Tractable Subclasses.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	periodic problems, polynomial-time algorithms
27	Nicolas Peltier	Representing and Building Models for Decidable Subclasses of Equational Clausal Logic.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	resolution, decision procedure, model building, model representation
27	Clyde Ruby, Gary T. Leavens	Safely creating correct subclasses without seeing superclass code.	OOPSLA	2000	DBLP DOI BibTeX RDF	downcalls, method refinement, semantic fragile subclassing problem, specification inheritance, subclassing contract, Java, Java language, subclass, JML language
27	Marina Skurichina, Alexander Ypma, Robert P. W. Duin	The Role of Subclasses in Machine Diagnostics.	ICPR	2000	DBLP DOI BibTeX RDF
27	Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel	Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals.	KI	1999	DBLP DOI BibTeX RDF
18	Christophe Lemetre, Lee Lancashire, Robert C. Rees, Graham R. Ball	Artificial Neural Network Based Algorithm for Biomolecular Interactions Modeling.	IWANN (1)	2009	DBLP DOI BibTeX RDF	metastasis, interactome, interactions, artificial neural networks, breast cancer
18	Rodica Mihai, Ioan Todinca	Pathwidth is NP-Hard for Weighted Trees.	FAW	2009	DBLP DOI BibTeX RDF
18	Olaf Beyersdorff	Tuples of Disjoint NP-Sets.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Propositional proof systems, Disjoint -pairs
18	M. Jayasrirani, M. Humrosia Begam, D. Gnanaraj Thomas	Learning of Regular omega-Tree Languages.	ICGI	2008	DBLP DOI BibTeX RDF
18	Riccardo Rosati 0001	Finite Model Reasoning in DL-Lite.	ESWC	2008	DBLP DOI BibTeX RDF
18	Gordon J. Pace, Gerardo Schneider	Computation and Visualisation of Phase Portraits for Model Checking SPDIs.	TACAS	2008	DBLP DOI BibTeX RDF
18	Shashank Shanbhag, Tilman Wolf	Massively Parallel Anomaly Detection in Online Network Measurement.	ICCCN	2008	DBLP DOI BibTeX RDF
18	Dmitriy Fradkin	Clustering Inside Classes Improves Performance of Linear Classifiers.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
18	Li Jiao	A method for verifying deadlock freedom and liveness of petri nets.	ISCAS	2008	DBLP DOI BibTeX RDF
18	Min Chih Lin, Francisco J. Soulignac, Jayme Luiz Szwarcfiter	A Simple Linear Time Algorithm for the Isomorphism Problem on Proper Circular-Arc Graphs.	SWAT	2008	DBLP DOI BibTeX RDF	proper circular-arc graphs, proper circular-arc canonization, isomorphism problems
18	Min Chih Lin, Francisco J. Soulignac, Jayme Luiz Szwarcfiter	Proper Helly Circular-Arc Graphs.	WG	2007	DBLP DOI BibTeX RDF	Helly circular-arc graphs, proper circular-arc graphs, unit circular-arc graphs, algorithms, forbidden subgraphs
18	Peng Guan, Yaoliang Yu, Liming Zhang 0001	Discriminant Analysis with Label Constrained Graph Partition.	ISNN (2)	2007	DBLP DOI BibTeX RDF
18	Dmitry E. Palchunov	Lattices of Relatively Axiomatizable Classes.	ICFCA	2007	DBLP DOI BibTeX RDF	axiomatizable class, relatively axiomatizable class, lattice
18	Manli Zhu, Aleix M. Martínez	Subclass Discriminant Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	classification, pattern recognition, Feature extraction, discriminant analysis, mixture of Gaussians, stability criterion, eigenvalue decomposition
18	Frank Klawonn, Plamen P. Angelov	Evolving Extended Naive Bayes Classifiers.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
18	Olaf Beyersdorff	Tuples of Disjoint NP-Sets.	CSR	2006	DBLP DOI BibTeX RDF
18	Min Chih Lin, Jayme Luiz Szwarcfiter	Characterizations and Linear Time Recognition of Helly Circular-Arc Graphs.	COCOON	2006	DBLP DOI BibTeX RDF	Helly circular-arc graphs, algorithms, forbidden subgraphs, circular-arc graphs
18	K. Subramani 0001	Tractable Fragments of Presburger Arithmetic.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
18	Thomas Vetterlein	BL-algebras and effect algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra
18	Yang Bo He, Zhi Geng, Xun Liang 0001	Learning Causal Structures Based on Markov Equivalence Class.	ALT	2005	DBLP DOI BibTeX RDF	Causal structure, Constrained essential graph, Randomization experiments, Bayesian networks, Directed acyclic graphs
18	Jérôme Leroux, Grégoire Sutre	Flat Counter Automata Almost Everywhere!	ATVA	2005	DBLP DOI BibTeX RDF
18	Wim Martens, Frank Neven, Thomas Schwentick	Which XML Schemas Admit 1-Pass Preorder Typing?	ICDT	2005	DBLP DOI BibTeX RDF
18	Mojmír Kretínský, Vojtech Rehák, Jan Strejcek	Reachability of Hennessy-Milner Properties for Weakly Extended PRS.	FSTTCS	2005	DBLP DOI BibTeX RDF
18	Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini	Self-embedded context-free grammars with regular counterparts.	Acta Informatica	2004	DBLP DOI BibTeX RDF
18	José Galindo, Angélica Urrutia, Ramón Alberto Carrasco, Mario Piattini	Relaxing constraints in enhanced entity-relationship models using fuzzy quantifiers.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
18	Gabriela Cristescu, Liana Lupsa	Classes of Discrete Convexity Properties.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF
18	Masaru Okamoto, Nan Bu, Toshio Tsuji	Unsupervised Learning for Hierarchical Clustering Using Statistical Information.	ISNN (1)	2004	DBLP DOI BibTeX RDF
18	K. Subramani 0001	Analyzing Selected Quantified Integer Programs.	IJCAR	2004	DBLP DOI BibTeX RDF
18	Indranil Gupta	On the design of distributed protocols from differential equations.	PODC	2004	DBLP DOI BibTeX RDF	endemic protocols, probabilistic protocols, science of protocol design, reliability, scalability, distributed protocols
18	Aaron Hunter 0001	Spectrum Hierarchies and Subdiagonal Functions.	LICS	2003	DBLP DOI BibTeX RDF
18	Andrei A. Bulatov, Víctor Dalmau	Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem.	FOCS	2003	DBLP DOI BibTeX RDF
18	Peter Geibel, Kristina Schädler, Fritz Wysotzki	Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects.	KI	2002	DBLP DOI BibTeX RDF
18	Tiziana Calamoneri, Rossella Petreschi	L(2, 1)-Coloring Matrogenic Graphs.	LATIN	2002	DBLP DOI BibTeX RDF
18	Twan Basten, Wil M. P. van der Aalst	Inheritance of Dynamic Behavior: Development of a Groupware Editor.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	computer supported cooperative work (CSCW), Petri nets, object orientation, inheritance, dynamic behavior, object life cycle
18	Davide Ancona, Elena Zucca	True Modules for Java-like Languages.	ECOOP	2001	DBLP DOI BibTeX RDF
18	Byron Weber Becker, Richard Rasala, Joseph Bergin, Christine Shannon, Eugene Wallingford	Polymorphic panelists.	SIGCSE	2001	DBLP DOI BibTeX RDF
18	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini	Concurrency in Timed Automata.	FCT	2001	DBLP DOI BibTeX RDF
18	Meng Shi, Wataru Ohyama, Tetsushi Wakabayashi, Fumitaka Kimura	Clustering with Projection Distance and Pseudo Bayes Discriminant Function for Handwritten Numeral Recognition.	ICDAR	2001	DBLP DOI BibTeX RDF	Handwitten Numeral Recognition, Projection Distance, Pseudo Bayes Discriminant Function, Clustering
18	Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein	MultiJava: modular open classes and symmetric multiple dispatch for Java.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
18	Jyh-Jong Tsay, Jing-Doo Wang	Improving automatic Chinese text categorization by error correction.	IRAL	2000	DBLP DOI BibTeX RDF	text categorization, k-nearest neighbor, hypergraph partition, Rocchio
18	Alain Finkel, Grégoire Sutre	Decidability of Reachability Problems for Classes of Two Counters Automata.	STACS	2000	DBLP DOI BibTeX RDF
18	Dina Q. Goldin	Persistent Turing Machines as a Model of Interactive Computation.	FoIKS	2000	DBLP DOI BibTeX RDF
18	Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer	The Descriptive Complexity Approach to LOGCFL.	STACS	1999	DBLP DOI BibTeX RDF
18	Richard Mitchell, James McKim	Extending a Method of Devising Software Contracts.	TOOLS (32)	1999	DBLP DOI BibTeX RDF
18	Arun K. Pujari, G. Vijaya Kumari, Abdul Sattar 0001	INDU: An Interval and Duration Network.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
18	Cornelis Hoede, X. Liu	Word Graphs: The Second Set.	ICCS	1998	DBLP DOI BibTeX RDF	Knowledge graphs, adverbs, AMS Subject Classifications: 05C99, 68F99, classifiers, adjectives, word graphs
18	Thomas Schwentick	On Bijections vs. Unary Functions.	STACS	1996	DBLP DOI BibTeX RDF
18	Chi-Hsiang Yeh, Behrooz Parhami	Hierarchical Swapped Networks: Efficient Low-Degree Alternatives to Hypercubes and Generalized Hypercubes.	ISPAN	1996	DBLP DOI BibTeX RDF	algorithm emulation, ascend/descend algorithms, optimal diameter, interconnection networks, parallel architectures, hierarchical networks
18	Hans-Jörg Burtschick	Comparing Counting Classes for Logspace, One-way Logspace, and First-order.	MFCS	1995	DBLP DOI BibTeX RDF
18	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton	Structural Complexity of Omega-Automata.	STACS	1995	DBLP DOI BibTeX RDF
18	Gianfranco Ciardo	Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
18	Stefan Felsner, Rudolf Müller, Lorenz Wernisch	Trapezoid Graphs and Generalizations, Geometry and Algorithms.	SWAT	1994	DBLP DOI BibTeX RDF	trapezoid graphs, circle graphs, Algorithms, partially ordered sets, circular-arc graphs, order dimension
18	Kim B. Bruce	Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.	POPL	1993	DBLP DOI BibTeX RDF
18	Artur Czumaj, Alan Gibbons	Problems on Pairs of Trees and the Four Colour Problem of Planar Graphs.	ICALP	1993	DBLP DOI BibTeX RDF
18	Georgios Grivas, Roman Maeder	Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench.	DISCO	1993	DBLP DOI BibTeX RDF
18	Bruce F. Cockburn, Janusz A. Brzozowski	Near-optimal tests for classes of write-triggered coupling faults in RAMs.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	toggling faults, lower bounds, coupling faults, RAM testing, optimal tests
18	Chee Chin Low, Beng Chin Ooi, Hongjun Lu	H-trees: A Dynamic Associative Search Index for OODB.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
18	Svend Frølund	Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages.	ECOOP	1992	DBLP DOI BibTeX RDF
18	Ke Li	Optimization of Rewriting and Complexity of Rewriting.	ALP	1990	DBLP DOI BibTeX RDF
18	Rakesh Agrawal 0001, Narain H. Gehani, J. Srinivasan	OdeView: A User-Friendly Graphical Interface to Ode.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
18	Jeong Lim, Ralph E. Johnson	The heart of object-oriented concurrent programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
18	Grzegorz Rozenberg, Dirk Vermeir	Context-Free Programmed Grammars and ETOL Systems.	MFCS	1976	DBLP DOI BibTeX RDF
18	Donald L. Richards	Efficient Exercising of Switching Elements in Nets of Identical Gates.	J. ACM	1973	DBLP DOI BibTeX RDF
18	Prathviraj Sharma, Srikandan Sivasubramanian, Nak Eun Cho	Initial Coefficient Bounds for Certain New Subclasses of bi-Bazilevič Functions and Exponentially bi-Convex Functions with Bounded Boundary Rotation.	Axioms	2024	DBLP DOI BibTeX RDF
18	Saravanan Gunasekar, Baskaran Sudharsanan, Musthafa Ibrahim, Teodor Bulboaca	Subclasses of Analytic Functions Subordinated to the Four-Leaf Function.	Axioms	2024	DBLP DOI BibTeX RDF
18	Daniel Breaz, Trailokya Panigrahi, Sheza M. El-Deeb, Eureka Pattnayak, Srikandan Sivasubramanian	Coefficient Bounds for Two Subclasses of Analytic Functions Involving a Limacon-Shaped Domain.	Symmetry	2024	DBLP DOI BibTeX RDF