Search results for "classes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Dave Clarke 0001, Sophia Drossopoulou, James Noble 0001, Tobias Wrigstad	Tribe: a simple virtual class calculus.	AOSD	2007	DBLP DOI BibTeX RDF	subtyping, virtual classes
18	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
18	Bastiaan Heeren, Jurriaan Hage	Type Class Directives.	PADL	2005	DBLP DOI BibTeX RDF	type error messages, domain-specific programming, directives, type classes
18	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow	Associated types with class.	POPL	2005	DBLP DOI BibTeX RDF	associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes
18	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
18	Evi Tsolakou, Eugenia G. Nikolouzou, Iakovos S. Venieris	On Providing End-To-End QoS Introducing a Set of Network Services in Large-Scale IP Networks.	NETWORKING	2002	DBLP DOI BibTeX RDF	Traffic Classes, QoS, Network Services
18	Antonio Martínez Cegarra, Antonio R. Garzón	Homotopy Classification of Categorical Torsors.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	categorical group, small category, torsor, classifying space, homotopy classes
18	Henrik Myrén, Johan Piculell, Lars Lundberg	Run-Time Upgradable Software in a Large Real-Time Telecommunication Syste.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF	run-time updates, Dynamic C++ Classes, real-time, High availability
18	Sanjeev Khanna, Madhu Sudan 0001, Luca Trevisan	Constraint Satisfaction: The Approximability of Minimization Problems.	CCC	1997	DBLP DOI BibTeX RDF	complete problems, computational classes, computational complexity, Approximation algorithms, combinatorial optimization
18	Hermann Kaindl	How to Identify Binary Relations for Domain Models.	ICSE	1996	DBLP BibTeX RDF	automated teller machine, automatic teller machines, natural language definitions, formal specification, requirements engineering, ATM, natural languages, abstract data types, object-oriented methods, domain models, object oriented analysis, entity relationship modeling, binary relations, bank data processing, real world experience, object classes, OOA
18	Alan L. Selman	Much Ado about Functions.	CCC	1996	DBLP DOI BibTeX RDF	multivalued functions, search functions, hierarchies, one-way functions, complexity classes
18	W. Timothy Strayer	A Class-Chest for Deriving Transport Protocols.	LCN	1996	DBLP DOI BibTeX RDF	class-chest, protocol algorithms, prebuilt infrastructure, Meta-Transport Library, C++ base classes library, Unix environment, rapid prototyping, transport protocols, transport protocols, protocol implementations
18	Derek Coleman, Fiona Hayes, Stephen Bear	Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods
18	Fernand S. Cohen, Zhigang Fan 0001, Maqbool Patel	Classification of Rotated and Scaled Textured Images Using Gaussian Markov Random Field Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	rotated textured images, scaled textured images, Gaussian Markov random field models, parent texture classes, training texture images, white nonstationary Gaussian random field, Cramer-Rao error bounds, modified Bayes decision rule, classification power, Brodatz album, pattern recognition, pattern recognition, parameter estimation, parameter estimation, discrete Fourier transform, decision theory, Bayes methods, random processes, power spectral density, likelihood function
18	Peter Bürgisser, Felipe Cucker	Exotic Quantifiers, Complexity Classes, and Complete Problems.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 68Q17
18	Martin Dietzfelbinger, Ulf Schellbach	On risks of using cuckoo hashing with simple universal hash classes.	SODA	2009	DBLP DOI BibTeX RDF
18	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
18	Douglas A. Cenzer, Peter G. Hinman	Degrees of difficulty of generalized r.e. separating classes.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30, 03D25
18	Giovanni Denaro, Alessandra Gorla, Mauro Pezzè	Contextual Integration Testing of Classes.	FASE	2008	DBLP DOI BibTeX RDF
18	Chih-Chien Yang, Chih-Chiang Yang	Separating Latent Classes by Information Criteria.	J. Classif.	2007	DBLP DOI BibTeX RDF
18	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Discovering Documentation for Java Container Classes.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF
18	Kazuyuki Narisawa, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda	Efficient Computation of Substring Equivalence Classes with Suffix Arrays.	CPM	2007	DBLP DOI BibTeX RDF
18	Peter Bürgisser, Felipe Cucker	Exotic Quantifiers, Complexity Classes, and Complete Problems.	ICALP	2007	DBLP DOI BibTeX RDF
18	Mikko Kontio, Hannu Mäyrä, Mauno Rönkkö	Functional Classes Guide Use of Design Patterns in Implementing Mediators.	CISIS	2007	DBLP DOI BibTeX RDF
18	Shmuel Katz	Aspect Categories and Classes of Temporal Properties.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF	Aspect specification, invasive, aspect categories, aspect verification, regulative, dataflow analysis, spectative
18	Diego Puppin, Fabrizio Silvestri	The social network of Java classes.	SAC	2006	DBLP DOI BibTeX RDF
18	Philipp Zehnder 0002, Esther Koller-Meier, Luc Van Gool	Efficient, Simultaneous Detection of Multiple Object Classes.	ICPR (1)	2006	DBLP DOI BibTeX RDF
18	Erik Ernst	Reconciling Virtual Classes with Genericity.	JMLC	2006	DBLP DOI BibTeX RDF
18	Yoshifumi Kusunoki, Masahiro Inuiguchi	Rule Induction Via Clustering Decision Classes.	RSCTC	2006	DBLP DOI BibTeX RDF
18	Stéphane Ducasse, Michele Lanza	The Class Blueprint: Visually Supporting the Understanding of Classes.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	visual patterns, reverse engineering, Object-oriented programming, software visualization, smalltalk
18	Evgeniy Bart, Shimon Ullman	Cross-Generalization: Learning Novel Classes from a Single Example by Feature Replacement.	CVPR (1)	2005	DBLP DOI BibTeX RDF
18	Catherine Oriat	Jartege: A Tool for Random Generation of Unit Tests for Java Classes.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
18	Maureen Donnelly, Thomas Bittner	Spatial Relations Between Classes of Individuals.	COSIT	2005	DBLP DOI BibTeX RDF
18	Daniel von Dincklage, Amer Diwan	Converting Java classes to use generics.	OOPSLA	2004	DBLP DOI BibTeX RDF	generics, type inference, parametric polymorphism
18	Paolo Tonella	Evolutionary testing of classes.	ISSTA	2004	DBLP DOI BibTeX RDF	genetic algorithms, object-oriented testing, automated test case generation
18	Ming Zhong, Satish Sharma, Pawan Lingras	Analyzing the Performance of Genetically Designed Short-Term Traffic Prediction Models Based on Road Types and Functional Classes.	IEA/AIE	2004	DBLP DOI BibTeX RDF
18	M. Andrea Rodríguez, Max J. Egenhofer	Determining Semantic Similarity among Entity Classes from Different Ontologies.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	information integration, Semantic similarity, semantic interoperability, semantic matching, ontology integration
18	Marta Arias, Roni Khardon, Rocco A. Servedio	Polynomial Certificates for Propositional Classes.	COLT	2003	DBLP DOI BibTeX RDF
18	Emanuil Djerassi, Pavlina D. Konstantinova	Tracking Algorithms Represented as Classes.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
18	Jin-yi Cai, Denis Charles, Aduri Pavan, Samik Sengupta	On Higher Arthur-Merlin Classes.	COCOON	2002	DBLP DOI BibTeX RDF
18	Yee Leung, Jiang-Hong Ma, Wen-Xiu Zhang	A New Method for Mining Regression Classes in Large Data Sets.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	RCMD method, regression class, genetic algorithm, Data mining, robustness, mixture modeling, maximum likelihood method
18	Patricio García Báez, Carmen Paz Suárez Araujo, Pablo Fernández López	Extension of HUMANN for Dealing with Noise and with Classes of Different Shape and Size: A Parametric Study.	IWANN (2)	2001	DBLP DOI BibTeX RDF
18	Patrick Rousset, Christiane Guinot	Distance between Kohonen Classes Visualization Tool to Use SOM in Data Set Analysis and Representation.	IWANN (2)	2001	DBLP DOI BibTeX RDF
18	Sandra Zilles	On the Comparison of Inductive Inference Criteria for Uniform Learning of Finite Classes.	ALT	2001	DBLP DOI BibTeX RDF
18	Jorma Laurikkala	Improving Identification of Difficult Small Classes by Balancing Class Distribution.	AIME	2001	DBLP DOI BibTeX RDF
18	Gonçalo Quadros, Antonio Alves, Edmundo Monteiro, Fernando Boavida	An Approach to Support Traffic Classes in IP Networks.	QofIS	2000	DBLP DOI BibTeX RDF
18	Mark P. Jones	Type Classes with Functional Dependencies.	ESOP	2000	DBLP DOI BibTeX RDF
18	Roger Hillson, Michal Iglewski	C++2MPI: A Software Tool for Automatically Generating MPI Datatypes from C++ Classes.	PARELEC	2000	DBLP DOI BibTeX RDF
18	Xizhong Zheng	Closure Properties of Real Number Classes under Limits and Computable Operators.	COCOON	2000	DBLP DOI BibTeX RDF
18	Liwu Li 0001	On Managing Classes for Evolving Software.	IWPC	1999	DBLP DOI BibTeX RDF	protocol, dependence, requirement, generalization, contract, class
18	Martin Charles Golumbic, Udi Rotics	On the Clique-Width of Perfect Graph Classes.	WG	1999	DBLP DOI BibTeX RDF
18	Manuel Serrano	Wide Classes.	ECOOP	1999	DBLP DOI BibTeX RDF	dynamic inheritance, dynamic type checking, instance modification, Language implementation
18	Heung Seok Chae, Yong Rae Kwon	Assessing and Restructuring of Classes Based on Cohesion.	APSEC	1996	DBLP DOI BibTeX RDF
18	Mark P. Jones	Programming with Constructor Classes (Abstract)	PLILP	1995	DBLP DOI BibTeX RDF
18	Harald Fripertinger, Adalbert Kerber	Isometry Classes of Indecomposable Linear Codes.	AAECC	1995	DBLP DOI BibTeX RDF
18	Heribert Vollmer	On Different Reducibility Notions for Function Classes.	STACS	1994	DBLP DOI BibTeX RDF
18	Ulrich Hertrampf	Complexity Classes with Finite Acceptance Types.	STACS	1994	DBLP DOI BibTeX RDF
18	Clemens A. Szyperski	Import is Not Inheritance - Why We Need Both: Modules and Classes.	ECOOP	1992	DBLP DOI BibTeX RDF
18	Richard Beigel, John Gill, Ulrich Hertrampf	Counting Classes: Thresholds, Parity, Mods, and Fewness.	STACS	1990	DBLP DOI BibTeX RDF
18	Alexander Leitsch	Deciding Horn Classes by Hyperresolution.	CSL	1989	DBLP DOI BibTeX RDF
18	Pekka Orponen	Complexity Classes of Alternating Machines with Oracles.	ICALP	1983	DBLP DOI BibTeX RDF
18	Robert A. Di Paola	The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.	J. ACM	1973	DBLP DOI BibTeX RDF
18	Murat Dundar, E. Daniel Hirleman, Arun K. Bhunia, J. Paul Robinson, Bartek Rajwa	Learning with a non-exhaustive training dataset: a case study: detection of bacteria cultures using optical-scattering technology.	KDD	2009	DBLP DOI BibTeX RDF	bacteria detection, nonexhaustive learning, anomaly detection, novelty detection, bayes classifier
18	Miki Hermann, Reinhard Pichler	Complexity of Counting the Optimal Solutions.	COCOON	2008	DBLP DOI BibTeX RDF
18	James Walden	Integrating web application security into the IT curriculum.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	web security education, web application security
18	Anuj Dawar, Martin Grohe, Stephan Kreutzer	Locally Excluding a Minor.	LICS	2007	DBLP DOI BibTeX RDF
18	Markus Lumpe, Jean-Guy Schneider	On the Integration of Classboxes into C#.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
18	Sven Kosub	Boolean NP-Partitions and Projective Closure.	DMTCS	2003	DBLP DOI BibTeX RDF
18	Manuel Torres 0001, José Samos	Closed External Schemas in Object-Oriented Databases.	DEXA	2001	DBLP DOI BibTeX RDF
18	Enriquillo Valdez, Moti Yung	DISSECT: DIStribution for SECurity Tool.	ISC	2001	DBLP DOI BibTeX RDF
18	Ronen Basri, Yael Moses	When is it Possible to Identify 3D Objects From Single Images Using Class Constraints?	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	class-based recognition, object recognition, viewpoint invariance
18	Kalvis Apsitis, Rusins Freivalds, Raimonds Simanovskis, Juris Smotrovs	Closedness Properties in EX-Identification of Recursive Functions.	ALT	1998	DBLP DOI BibTeX RDF
18	Thomas Santen	A Theory of Structured Model-Based Specifications in Isabelle/HOL.	TPHOLs	1997	DBLP DOI BibTeX RDF
18	Hartmut Ehrig, Julia Padberg	A Uniform Approach to Petri Nets.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
16	Toru Ochi, Koji Tateno	Comparing Efficacy of Online Real-time Classes with On-demand Viewing Classes.	J. Inf. Process.	2024	DBLP DOI BibTeX RDF
16	Jian Jiao, Yu Dai, Hefei Mei, Heqian Qiu, Chuanyang Gong, Shiyuan Tang, Xinpeng Hao, Hongliang Li	Slightly Shift New Classes to Remember Old Classes for Video Class-Incremental Learning.	CoRR	2024	DBLP DOI BibTeX RDF
16	Farzaneh Khodabandeh	Exploring the viability of augmented reality game- enhanced education in WhatsApp flipped and blended classes versus the face-to-face classes.	Educ. Inf. Technol.	2023	DBLP DOI BibTeX RDF
16	Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman 0001	Deletion to scattered graph classes II - improved FPT algorithms for deletion to pairs of graph classes.	J. Comput. Syst. Sci.	2023	DBLP DOI BibTeX RDF
16	Ashwin Jacob, Jari J. H. de Kroon, Diptapriyo Majumdar, Venkatesh Raman 0001	Deletion to scattered graph classes I - Case of finite number of graph classes.	J. Comput. Syst. Sci.	2023	DBLP DOI BibTeX RDF
16	Lukas Galke, Iacopo Vagliano, Benedikt Franke, Tobias Zielke, Marcel Hoffmann 0002, Ansgar Scherp	Lifelong learning on evolving graphs under the constraints of imbalanced classes and new classes.	Neural Networks	2023	DBLP DOI BibTeX RDF
16	Chengfeng Zheng, Mohd Shareduwan Mohd Kasihmuddin, Yuan Gao, Ju Chen, Mohd. Asyraf Mansor	A Modified Fuzzy K-nearest Neighbor Using the Improved Sparrow Search Algorithm for Two-classes and Multi-classes Datasets.	CACML	2023	DBLP DOI BibTeX RDF
16	Salim Zekraoui	Finite-time control and estimation of some classes of PDEs. (Contrôle et estimation en temps fini de certaines classes d'EDP).		2023	RDF
16	J. Hyam Rubinstein, Benjamin I. P. Rubinstein	Unlabelled Sample Compression Schemes for Intersection-Closed Classes and Extremal Classes.	CoRR	2022	DBLP DOI BibTeX RDF
16	Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman 0001	Deletion to Scattered Graph Classes II - Improved FPT Algorithms for Deletion to Pairs of Graph Classes.	CoRR	2022	DBLP BibTeX RDF
16	Shungo Fujii, Yasunori Ishii, Kazuki Kozuka, Tsubasa Hirakawa, Takayoshi Yamashita, Hironobu Fujiyoshi	Data Augmentation by Selecting Mixed Classes Considering Distance Between Classes.	CoRR	2022	DBLP DOI BibTeX RDF
16	Joachim Hyam Rubinstein, Benjamin I. P. Rubinstein	Unlabelled Sample Compression Schemes for Intersection-Closed Classes and Extremal Classes.	NeurIPS	2022	DBLP BibTeX RDF
16	Evgenia Kartsaki	How specific classes of retinal cells contribute to vision: a computational model. (Comment des classes spécifiques de cellules rétiniennes contribuent à la vision: un modèle computationnel).		2022	RDF
16	Hao Li, Tian Wang 0001, Weifeng Pan 0001, Muchou Wang, Chunlai Chai, Pengyu Chen, Jiale Wang, Jing Wang 0110	Mining Key Classes in Java Projects by Examining a Very Small Number of Classes: A Complex Network-Based Approach.	IEEE Access	2021	DBLP DOI BibTeX RDF
16	Jaroslav Nesetril, Patrice Ossona de Mendez, Roman Rabinovich 0001, Sebastian Siebertz	Classes of graphs with low complexity: The case of classes with bounded linear rankwidth.	Eur. J. Comb.	2021	DBLP DOI BibTeX RDF
16	Ashwin Jacob, Jari J. H. de Kroon, Diptapriyo Majumdar, Venkatesh Raman 0001	Deletion to Scattered Graph Classes I -- case of finite number of graph classes.	CoRR	2021	DBLP BibTeX RDF
16	Ereza Baftiu, Krenare Pireva Nuci	The transformation process from in-campus classes into online classes due to the COVID-19 situation - the case of higher education institutions in Kosovo.	CoRR	2021	DBLP BibTeX RDF
16	Xi Chen 0013, Longjiang Qu, Shaojing Fu, Chao Li 0002	The number of affine equivalent classes and extended affine equivalent classes of vectorial Boolean functions.	Discret. Appl. Math.	2021	DBLP DOI BibTeX RDF
16	Ereza Baftiu, Krenare Pireva Nuci	The transformation process from in-campus classes into online classes due to COVID-19 pandemic situation.	CSCI	2021	DBLP DOI BibTeX RDF
16	Raffael M. Paranhos, Janio Carlos Nascimento Silva, Uéverton S. Souza, Luiz Satoru Ochi	Parameterized Complexity Classes Defined by Threshold Circuits: Using Sorting Networks to Show Collapses with W-hierarchy Classes.	COCOA	2021	DBLP DOI BibTeX RDF
16	Cléophée Robin	Hereditary classes of graphs: from structure to coloring. (Classes héréditaires de graphes: de la structure vers la coloration).		2021	RDF
16	Muskan Nagi, Janaki Bojiah	Real Classes Vs Online Classes: A Comparative Study on the Chosen Course of HRM Students of Gulf University, Kingdom of Bahrain.	Int. J. Emerg. Technol. Learn.	2020	DBLP DOI BibTeX RDF
16	Hao Sun	Retreat from overgeneralization errors: Broad verb classes are harder to induce than narrow classes.	CogSci	2020	DBLP BibTeX RDF
16	Paul Cazenave	Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles: application au contrôle automatisé des trains. (Synthesis of controllers for Petri net classes with partial controllability and observability: application to automated train control).		2020	RDF
16	Théo Grente	Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires. (Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons).		2020	RDF
16	Sara Samir	Cooperative approaches for some classes of nonconvex optimization problems : parallel / distributed algorithms and applications. (Approches coopératives pour certaines classes de problèmes d'optimisation non convexe : Algorithmes parallèles / distribués et applications).		2020	RDF