Search results for "classes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Bingpeng Ma, Shiguang Shan, Xilin Chen 0001, Wen Gao 0001	Discriminant analysis for perceptionally comparable classes.	FG	2008	DBLP DOI BibTeX RDF
23	Reynaldo Giganto, Tony Smith	Derivation of Classes from Use Cases Automatically Generated by a Three-Level Sentence Processing Algorithm.	ICONS	2008	DBLP DOI BibTeX RDF	natural language processing, requirements engineering, use cases, object-oriented analysis
23	Hayden Melton, Ewan D. Tempero	An empirical study of cycles among classes in Java.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Dependency cycles, Software corpus, Java, Program analysis, Object-oriented design
23	Florian Haftmann, Makarius Wenzel	Constructive Type Classes in Isabelle.	TYPES	2006	DBLP DOI BibTeX RDF
23	Boris Epshtein, Shimon Ullman	Satellite Features for the Classification of Visually Similar Classes.	CVPR (2)	2006	DBLP DOI BibTeX RDF
23	Anuj Dawar, Martin Otto 0001	Modal Characterisation Theorems over Special Classes of Frames.	LICS	2005	DBLP DOI BibTeX RDF
23	Weining Zhang, Douglas Pollok	Improving XML Query Performance Using Social Classes.	APWeb	2004	DBLP DOI BibTeX RDF
23	Osamu Maruyama, Takayoshi Shoudai, Satoru Miyano	Toward Drawing an Atlas of Hypothesis Classes: Approximating a Hypothesis via Another Hypothesis Model.	Discovery Science	2002	DBLP DOI BibTeX RDF
23	Chanjung Park, Hwakyung Rim	A Locking-Based Transaction Scheduling Algorithm for Supporting Web-Based Classes.	ICWL	2002	DBLP DOI BibTeX RDF
23	Atsushi Igarashi, Benjamin C. Pierce	On Inner Classes.	ECOOP	2000	DBLP DOI BibTeX RDF
23	Christian Kuhlmann 0001	On Teaching and Learning Intersection-Closed Concept Classes.	EuroCOLT	1999	DBLP DOI BibTeX RDF
23	Sven Kosub, Heinz Schmitz, Heribert Vollmer	Uniformly Defining Complexity Classes of Functions.	STACS	1998	DBLP DOI BibTeX RDF
23	Ulrich Hertrampf	The Inherent Dimension of Bounded Counting Classes.	COCOON	1998	DBLP DOI BibTeX RDF
23	Lyndon S. Kennedy, Apostol Natsev, Shih-Fu Chang	Automatic discovery of query-class-dependent models for multimodal search.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	query-class-dependent models, multimodal fusion, video search
22	Nathaniel Nystrom, Stephen Chong, Andrew C. Myers	Scalable extensibility via nested inheritance.	OOPSLA	2004	DBLP DOI BibTeX RDF	nested classes, inheritance, object-oriented programming languages, virtual classes
22	Sanjeev Khanna, Rajeev Motwani 0001, Madhu Sudan 0001, Umesh V. Vazirani	On Syntactic versus Computational Views of Approximability	FOCS	1994	DBLP DOI BibTeX RDF	computational classes, computational views, approximation classes, MAX SNP, structural results, approximability, syntactic
22	Kevin W. Bowyer, Maha Sallam, David W. Eggert, John H. Stewman	Computing the Generalized Aspect Graph for Objects with Moving Parts.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	generalized aspect graph, articulated assemblies, general views, general configurations, translational connections, computer vision, computer vision, graph theory, graph theory, equivalence classes, equivalence classes
22	Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapron	Parallel computable higher type functionals (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	recursion-theoretic characterisations, parallel computable higher type functionals, parallel complexity classes, higher type classes, machine-theoretic characterisations, proof-theoretic characterisations
22	Bhargab B. Bhattacharya, Bidyut Gupta	On the Impossible Class of Faulty Functions in Logic Networks Under Short Circuit Faults.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	fan-out-free functions, N-equivalence classes, P-equivalence classes, short circuit faults, fault detection, stuck-at faults, Bridging faults, combinational logic, unate functions
21	Luciano Baresi, Matteo Miraz	TestFul: automatic unit-test generation for Java classes.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Java classes, test generation, search-based testing
21	Misook Choi, Injoo J. Kim, Jiman Hong, Jung-Yeop Kim	Component-based metrics applying the strength of dependency between classes.	SAC	2009	DBLP DOI BibTeX RDF	class-based metrics, component-based metrics, strength of dependency between classes, component-based system
21	Kimmo Fredriksson, Szymon Grabowski	Efficient algorithms for pattern matching with general gaps, character classes, and transposition invariance.	Inf. Retr.	2008	DBLP DOI BibTeX RDF	Sparse dynamic programming, Bounded length gaps, Character classes, Transposition invariance, String matching
21	Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz	A comparison of c++ concepts and haskell type classes.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	specification-driven development, c++, haskell, generic programming, concepts, type classes
21	Jinyan Li 0001, Guimei Liu, Limsoon Wong	Mining statistically important equivalence classes and delta-discriminative emerging patterns.	KDD	2007	DBLP DOI BibTeX RDF	itemsets with ranked statistical merit, equivalence classes
21	Raquel Justo, M. Inés Torres	Segment-Based Classes for Language Modeling Within the Field of CSR.	CIARP	2007	DBLP DOI BibTeX RDF	segments of words, language model, classes
21	Junghwa Chae	Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.	FORTE	2007	DBLP DOI BibTeX RDF	object class hierarchy, tableaux method, Role-based access control, modal logic, object classes
21	Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu	Pseudojump Operators and P01 Classes.	CiE	2007	DBLP DOI BibTeX RDF	Computability, Classes
21	Frédéric Gardi	Mutual exclusion scheduling with interval graphs or related classes: Complexity and algorithms.	4OR	2006	DBLP DOI BibTeX RDF	Mutual exclusion scheduling, workforce planning, graph classes, graph coloring, interval graphs
21	Tapani Hyttinen	Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Abstract elementary classes, Structure theorem, Categoricity
21	Peter Bürgisser, Felipe Cucker, Martin Lotz	Counting Complexity Classes for Numeric Computations. III: Complex Projective Sets.	Found. Comput. Math.	2005	DBLP DOI BibTeX RDF	Complexity classes, Counting problems, Euler characteristic
21	Timothy V. Fossum	Classes as first class objects in an environment-passing interpreter.	ITiCSE	2005	DBLP DOI BibTeX RDF	first-class, programming languages, classes, properties
21	Lance Fortnow, Rahul Santhanam, Luca Trevisan	Hierarchies for semantic classes.	STOC	2005	DBLP DOI BibTeX RDF	hierarchy theorems, semantic classes, advice
21	Lawrence C. Paulson	Organizing Numerical Theories Using Axiomatic Type Classes.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
21	Constantine Roussos	Teaching growth of functions using equivalence classes: an alternative to big O notation.	SIGCSE	2004	DBLP DOI BibTeX RDF	big O, growth of functions, little o, order of complexity, complexity analysis, equivalence classes, theta
21	Onno J. Boxma, Tetsuya Takine	The M/G/1 FIFO Queue with Several Customer Classes.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	several customer classes, joint queue length distribution, FIFO, single server queue
21	Danny C. C. Poo	Policy Definition in Application-Domain-Related Classes.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	Software Maintenance, Policies, Business Rules, Classes, Object-Oriented Software Engineering
21	Thomas Vetter, Michael J. Jones 0001, Tomaso A. Poggio	A bootstrapping algorithm for learning linear models of object classes.	CVPR	1997	DBLP DOI BibTeX RDF	bootstrapping algorithm, prototypical images, pixelwise correspondence, frontal face images, computer vision, synthesis, recognition, correspondence, linear models, object classes
21	Kyugon Cho, Stanley M. Dunn	Learning Shape Classes.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	shape classes learning, local shape properties, property based learning, shape learning system, classification, pattern recognition, learning (artificial intelligence), occlusion, incremental learning, learning systems, hand gestures
21	Simon L. Peyton Jones	Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither.	ECOOP	2009	DBLP DOI BibTeX RDF
21	Geoff Sobering, Levi Cook, Steve Anderson	Pseudo-classes: very simple and lightweight mockObject-like classes for unit-testing.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	TFD, mockObjects, pseudoObjects, test-first-design, unit-tests, TDD, test-driven-development
21	Michael R. Darnel, Jorge Martinez 0001	Radical Classes of Lattice-Ordered Groups vs. Classes of Compact Spaces.	Order	2002	DBLP DOI BibTeX RDF	F-spaces, disconnected spaces, completeness of a class, laterally separated, radical class of -groups, spectral space, stranded primes, Yosida space
21	Sergio Escalera, Oriol Pujol, Josepa Mauri, Petia Radeva	Intravascular Ultrasound Tissue Characterization with Sub-class Error-Correcting Output Codes.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Embedding of dichotomies, Sub-classes, Multi-class classification, Intravascular ultrasound, Error-correcting output codes
21	Lars Kristiansen	Complexity-Theoretic Hierarchies Induced by Fragments of Gödel's T.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Subrecursive classes, ?-Calculi, Gödel’s T, Types, Complexity theory
21	Jitender Kumar Chhabra, K. K. Aggarwal	Measurement of Intra-Class & Inter-Class Weakness for Object-Oriented Software.	ITNG	2006	DBLP DOI BibTeX RDF	class-dependency, class weakness, ripple effect among classes, object-oriented metrics
21	Martin Sulzmann, Meng Wang 0002	Modular generic programming with extensible superclasses.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	generic programming, type classes
21	Reda Alhajj, Faruk Polat	View Maintenance in Object-Oriented Databases.	DEXA	1996	DBLP DOI BibTeX RDF	Base Classes, Modification Lists, Algorithms, Object-Oriented Databases, Views
21	Ré Audouin, Lokendra Shastri	Incremental character recognition with feature attribution.	ICDAR	1995	DBLP DOI BibTeX RDF	incremental character recognition, feature attribution, neural network learning algorithm, character classes, relevant feature, presegmented digits, spatio-temporal network architecture, unsegmented strings, learning (artificial intelligence), approximation, generalization, recurrent neural networks, incremental learning, handwritten digit recognition, relevance measure
21	Rada Mihalcea, Stephen G. Pulman	Linguistic Ethnography: Identifying Dominant Word Classes in Text.	CICLing	2009	DBLP DOI BibTeX RDF
21	Zdenek Dvorák 0001, Daniel Král	Algorithms for Classes of Graphs with Bounded Expansion.	WG	2009	DBLP DOI BibTeX RDF
21	Alireza Alaei, P. Nagabhushan, Umapada Pal 0001	Fine Classification of Unconstrained Handwritten Persian/Arabic Numerals by Removing Confusion amongst Similar Classes.	ICDAR	2009	DBLP DOI BibTeX RDF
21	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers	On the computability power and the robustness of set agreement-oriented failure detector classes.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed algorithm, Asynchronous system, Unreliable failure detector, Set-agreement
21	Amrit Tiwana	Impact of classes of development coordination tools on software development performance: A multinational empirical study.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Software outsourcing, development coordination tools, efficiency effectiveness tradeoff, knowledge management, empirical study, coordination, Software development, project management, field study, outsourcing, regression analysis, knowledge integration, development tools, collaborative software engineering
21	Cheng-Lin Liu	Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes.	ANNPR	2008	DBLP DOI BibTeX RDF
21	Okan Yilmaz, Ing-Ray Chen	On QoS Guarantees with Reward Optimization for Servicing Multiple Priority Classes in Wireless Networks.	ICCCN	2008	DBLP DOI BibTeX RDF
21	Runmei Li, Sharron Tang	A Study on Multiple user-classes Dynamic traffic assignment.	ICNSC	2007	DBLP DOI BibTeX RDF
21	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis	Checking the Conformance of Java Classes Against Algebraic Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
21	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers	Irreducibility and additivity of set agreement-oriented failure detector classes.	PODC	2006	DBLP DOI BibTeX RDF	fault-tolerance, asynchronous system, unreliable failure detector
21	Tobias Sager, Abraham Bernstein, Martin Pinzger 0001, Christoph Kiefer	Detecting similar Java classes using tree algorithms.	MSR	2006	DBLP DOI BibTeX RDF	tree similarity measures, software evolution, software repositories, change analysis
21	Wesley Calvert	The isomorphism problem for classes of computable fields.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
21	Eladio Garví, José Samos, Manuel Torres 0001	Definition of Derived Classes in ODMG Databases.	DEXA	2004	DBLP DOI BibTeX RDF
21	Brian A. Malloy, Peter J. Clarke, Errol L. Lloyd	A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications.	ISSRE	2003	DBLP DOI BibTeX RDF
21	Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Hiroaki Watanabe	Induction of Enzyme Classes from Biological Databases.	ILP	2003	DBLP DOI BibTeX RDF
21	Jörg Flum, Martin Grohe	Describing Parameterized Complexity Classes.	STACS	2002	DBLP DOI BibTeX RDF
21	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
21	Tomi Janhunen	Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
21	David A. Cohen, Peter Jeavons 0001, Richard Gault	New Tractable Classes from Old.	CP	2000	DBLP DOI BibTeX RDF
21	Yefim Dinitz, Ronit Nossenson	Incremental Maintenance of the 5-Edge-Connectivity Classes of a Graph.	SWAT	2000	DBLP DOI BibTeX RDF
21	Pascal Hitzler, Anthony Karel Seda	Characterizations of Classes of Programs by Three-Valued Operators.	LPNMR	1999	DBLP DOI BibTeX RDF
21	Narsi Bolloju	Discovering Classes of Decision Models: A Step Towards Discovery of Decision Making Styles.	HICSS (5)	1998	DBLP DOI BibTeX RDF
21	Benoît Garbinato, Pascal Felber, Rachid Guerraoui	Protocol Classes for Designing Reliable Distributed Environments.	ECOOP	1996	DBLP DOI BibTeX RDF
21	Ulrich Hertrampf	Classes of Bounded Counting Type and their Inclusion Relations.	STACS	1995	DBLP DOI BibTeX RDF
21	Craig Chambers	Predicate Classes.	ECOOP	1993	DBLP DOI BibTeX RDF
21	Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel	Structure and Importance of Logspace-MOD-Classes.	STACS	1991	DBLP DOI BibTeX RDF
21	Erich Grädel	Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes.	CSL	1988	DBLP DOI BibTeX RDF
21	Jürgen Kämper	Non-Uniform Proof System: A New Framework to Describe Non-Uniform and Probabalistic Complexity Classes.	FSTTCS	1988	DBLP DOI BibTeX RDF
21	Juris Hartmanis, Lane A. Hemachandra	Complexity Classes Without Machines: On Complete Languages for UP.	ICALP	1986	DBLP DOI BibTeX RDF
20	Michael Fink 0002, Shimon Ullman	From Aardvark to Zorro: A Benchmark for Mammal Image Classification.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Mammals, Machine learning, Database, Animals, Object recognition, Benchmark, Annotation, Dataset, Natural images, Svm, Multiclass
20	Daniel F. Huber, Anuj Kapuria, Raghavendra Donamukkala, Martial Hebert	Parts-Based 3D Object Classification.	CVPR (2)	2004	DBLP DOI BibTeX RDF
20	Katsuhisa Maruyama, Kenichi Shima	An Automatic Class Generation Mechanism by Using Method Integration.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	program integration, Object-oriented programming, program transformation, inheritance, program slicing, dependency analysis
20	Noury M. N. Bouraqadi-Saâdani, Thomas Ledoux, Fred Rivard	Safe Metaclass Programming.	OOPSLA	1998	DBLP DOI BibTeX RDF	class property propagation, class specific properties, compatibility, metaclasses
20	Thien M. Ha	The Optimum Class-Selective Rejection Rule.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	error-reject tradeoff, class-selective rejection, preselection, preclassification, pattern classification, Decision rule, human-machine interface, Bayes rule
20	Atsushi Ohori, Keishi Tajima	A Polymorphic Calculus for Views and Object Sharing.	PODS	1994	DBLP DOI BibTeX RDF
19	Martin Fürer	Parallel Computing: Complexity Classes.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Bulk synchronous parallel model, Parallel machines, PRAM, Complexity classes, NC, BSP model
19	Harry B. Hunt III	Complexity Classes in Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Complexity, Complexity classes
19	András Horváth, Enrico Vicario	Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.	QEST	2009	DBLP DOI BibTeX RDF	non-Markovian stochastic Petri nets, stochastic state classes, steady state analysis, stochastic time Petri nets
19	Kalpesh Kapoor, Jonathan P. Bowen	Test conditions for fault classes in Boolean specifications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	Fault-based testing, Boolean specification, fault classes
19	Vyacheslav M. Abramov	A Large Closed Queueing Network Containing Two Types of Node and Multiple Customer Classes: One Bottleneck Station.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	autonomous service, multiple customer classes, stochastic calculus, martingales and semimartingales, bottleneck, closed queueing network
19	Matthias Neubauer, Peter Thiemann 0001	Type classes with more higher-order polymorphism.	ICFP	2002	DBLP DOI BibTeX RDF	higher-order unification, Haskell, type inference, type classes
19	Klaus Hansen, Christian Hammer 0002, Lars R. Randleff, Jens Damgaard Andersen	Steganographic capacity of images, based on image equivalence classes.	MM&Sec	2001	DBLP DOI BibTeX RDF	image equivalence classes, perceptual tolerance, digital watermarking, capacity, information hiding
19	Harry Buhrman, Lance Fortnow, Leen Torenvliet	Using Autoreducibility to Separate Complexity Classes.	FOCS	1995	DBLP DOI BibTeX RDF	autoreducibility, doubly exponential space, Turing complete sets, logarithmic space, computational complexity, set theory, oracle, complexity theory, Turing machines, Turing machine, complexity classes, structural properties, polynomial space, diagonalization
19	Jacobo Torán	Complexity Classes Defined by Counting Quantifiers.	J. ACM	1991	DBLP DOI BibTeX RDF	counting complexity classes
19	Christos H. Papadimitriou	On Graph-Theoretic Lemmata and Complexity Classes (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	PLF, graph-theoretic lemmata, TFNP, polynomial local search, class containments, PDLF, search problems, complexity classes, PLS
19	Alan Siegel	On Universal Classes of Fast High Performance Hash Functions, Their Time-Space Tradeoff, and Their Applications (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	multiplicative penalty, universal classes, probabilistic argument, random words, explicit algorithm, double hashing, universal functions, T-time PRAM algorithm, lower bound, hash functions, Omega network, time-space tradeoff
18	Andreas Haeberlen, Petr Kuznetsov	The Fault Detection Problem.	OPODIS	2009	DBLP DOI BibTeX RDF	fault detection problem, lower bounds, message complexity, Fault classes
18	Michinori Nakata, Hiroshi Sakai	Rough Sets under Non-deterministic Information.	RSKT	2009	DBLP DOI BibTeX RDF	Imprecise values, Possible equivalence classes, Rough sets, Incomplete information, Non-deterministic information
18	Matthew J. Parkinson, Gavin M. Bierman	Separation logic, abstraction and inheritance.	POPL	2008	DBLP DOI BibTeX RDF	modularity, classes, separation logic
18	Aymen Belghith, Loutfi Nuaymi	Design and implementation of a QoS-included WiMAX module for NS-2 simulator.	SimuTools	2008	DBLP DOI BibTeX RDF	QoS classes, simulation, scheduling, implementation, WiMAX
18	Anders Bach Nielsen, Erik Ernst	Optimizing Dynamic Class Composition in a Statically Typed Language.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	Dynamic Class Composition, gbeta, Virtual Machines, Linearization, Mixins, Virtual Classes
18	Sue A. Douglas	Using marketing to put the sparkle back into your training.	SIGUCCS	2007	DBLP DOI BibTeX RDF	headlines, communicating, communication, training, program, marketing, message, classes, advertisement, consumer, audience, ad
18	Pradeep Kannadiga, Mohammad Zulkernine, Anwar Haque	E-NIPS: An Event-Based Network Intrusion Prediction System.	ISC	2007	DBLP DOI BibTeX RDF	Intrusion detection and prediction, attack classes, network security