Search results for "classes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Matt Newsome, Des Watson	Proxy compilation of dynamically loaded Java classes with MoJo.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	AOT, ahead-of-time, dynamic class loading, native compilation, proxy compilation, remote compilation, Java, hotspot, just-in-time, JIT, adaptive compilation
13	Masahiro Motoyoshi, Takao Miura, Kohei Watanabe	Mining temporal classes from time series data.	CIKM	2002	DBLP DOI BibTeX RDF	scheme discovery, temporal scheme, data mining, time series data
13	Ana Cavalcanti 0001, David A. Naumann	Forward Simulation for Data Refinement of Classes.	FME	2002	DBLP DOI BibTeX RDF	soundness of simulation, program analysis and verification, object-orientation, data refinement
13	Colin de la Higuera, José Oncina	On Sufficient Conditions to Identify in the Limit Classes of Grammars from Polynomial Time and Data.	ICGI	2002	DBLP DOI BibTeX RDF
13	Patricio Letelier 0001, Pedro Sánchez	Validation of UML Classes through Animation.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
13	Sitaram Bhagavathy, Shawn D. Newsam, B. S. Manjunath	Modeling Object Classes in Aerial Images Using Texture Motifs.	ICPR (2)	2002	DBLP DOI BibTeX RDF
13	Steven A. Wolfman	Making lemonade: exploring the bright side of large lecture classes.	SIGCSE	2002	DBLP DOI BibTeX RDF
13	YoungJu Choie, D. Yun	Isomorphism Classes of Hyperelliptic Curves of Genus 2 over Fq.	ACISP	2002	DBLP DOI BibTeX RDF
13	Johannes Köbler, Jacobo Torán	The Complexity of Graph Isomorphism for Colored Graphs with Color Classes of Size 2 and 3.	STACS	2002	DBLP DOI BibTeX RDF
13	Bernd Jäger, Karl-Ernst Biebler	Problems of the Model Choice in Classes of Mendelian Inheritance Models.	ISMDA	2002	DBLP DOI BibTeX RDF
13	Davide Ancona, Giovanni Lagorio, Elena Zucca	True separate compilation of Java classes.	PPDP	2002	DBLP DOI BibTeX RDF	object-oriented programming, types, separate compilation
13	Jurriaan Hage, Tero Harju, Emo Welzl	Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes.	ICGT	2002	DBLP DOI BibTeX RDF
13	Sem C. Borst, Michel Mandjes, Miranda van Uitert	Generalized processor sharing with heterogeneous traffic classes.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
13	Claudia Ermel, Michael Weber 0003	Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
13	Dekang Lin, Patrick Pantel	Induction of semantic classes from natural language text.	KDD	2001	DBLP DOI BibTeX RDF
13	Jürgen Giesl, Deepak Kapur	Decidable Classes of Inductive Theorems.	IJCAR	2001	DBLP DOI BibTeX RDF
13	Andreas Meier 0002, Martin Pollet, Volker Sorge	Classifying Isomorphic Residue Classes.	EUROCAST	2001	DBLP DOI BibTeX RDF
13	Shahar Mendelson	Geometric Methods in the Analysis of Glivenko-Cantelli Classes.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
13	Pierre E. Bonzon	An Abstract Machine for Classes of Communicating Agents Based on Deduction.	ATAL	2001	DBLP DOI BibTeX RDF
13	Vadim V. Lozin, Michael U. Gerber	On the Jump Number Problem in Hereditary Classes of Bipartite Graphs.	Order	2000	DBLP DOI BibTeX RDF	jump number, bipartite graphs, polynomial algorithm
13	Leana Golubchik, V. S. Subrahmanian, Sherry Marcus, Joachim Biskup	Sync Classes: A Framework for Optimal Scheduling of Requests in Multimedia Storage Servers.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Media-on-demand servers, scheduling, optimization, interactive systems, storage servers
13	Te-Won Lee, Michael S. Lewicki, Terrence J. Sejnowski	ICA Mixture Models for Unsupervised Classification of Non-Gaussian Classes and Automatic Context Switching in Blind Signal Separation.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	automatic context switching, independent component analysis, image coding, Gaussian mixture model, maximum likelihood, blind source separation, Unsupervised classification
13	Rami P. Grossberg, Olivier Lessmann	Local order property in nonelementary classes.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
13	Klaus Ambos-Spies	Measure Theoretic Completeness Notions for the Exponential Time Classes.	MFCS	2000	DBLP DOI BibTeX RDF
13	Michal Katz, Nir A. Katz, David Peleg	Distance Labeling Schemes for Well-Separated Graph Classes.	STACS	2000	DBLP DOI BibTeX RDF
13	Sofie Haesevoets, Bart Kuijpers	Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations.	TIME	2000	DBLP DOI BibTeX RDF	spatio-temporal data models
13	Velisar Pavlov	Stability of a Parallel Partitioning Algorithm for Special Classes of Banded Linear Systems.	NAA	2000	DBLP DOI BibTeX RDF
13	José Aguilar 0001, Valentina Rossell	Multiple Classes Random Neural Network Model and Color Pattern Recognition Problems.	IJCNN (5)	2000	DBLP DOI BibTeX RDF
13	Gregory J. Reid, Allan D. Wittkopf	Determination of maximal symmetry groups of classes of differential equations.	ISSAC	2000	DBLP DOI BibTeX RDF
13	Norbert Völker	Disjoint Sums over Type Classes in HOL.	TPHOLs	1999	DBLP DOI BibTeX RDF
13	Dalila Tamzalit, Chabane Oussalah	Instances Evolution Vs Classes Evolution.	DEXA	1999	DBLP DOI BibTeX RDF
13	Christopher League, Zhong Shao, Valery Trifonov	Representing Java Classes in a Typed Intermediate Language.	ICFP	1999	DBLP DOI BibTeX RDF
13	Danièle Beauquier, Anatol Slissenko	Decidable Classes of the Verification Problem in a Timed Predicate Logic.	FCT	1999	DBLP DOI BibTeX RDF
13	Hao-Hua Chu, Klara Nahrstedt	CPU Service Classes for Multimedia Applications.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF
13	Yutaka Hata, Masao Mukaidono	On Some Classes of Fuzzy Information Granularity and Their Representations.	ISMVL	1999	DBLP DOI BibTeX RDF
13	Debabrata Ghosh, Franc Brglez	Equivalence classes of circuit mutants for experimental design.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
13	Uwe Aßmann, Andreas Ludwig	Introducing Connections Into Classes With Static Meta-Programming.	COORDINATION	1999	DBLP DOI BibTeX RDF
13	Richard Beigel, Alexis Maciel	Circuit Lower Bounds Collapse Relativized Complexity Classes.	CCC	1999	DBLP DOI BibTeX RDF	relativized computation, Booleand circuits, oracles, complexity theory
13	Raymund Sison, Masayuki Numao, Masamichi Shimura	Discovering Error Classes from Discrepancies in Novice Behaviors Via Multistrategy Conceptual Clustering.	User Model. User Adapt. Interact.	1998	DBLP DOI BibTeX RDF	unsupervised learning, student modeling, conceptual clustering, multistrategy learning
13	Bart Jacobs 0001, Joachim van den Berg, Marieke Huisman, Martijn van Berkum	Reasoning about Java Classes (Preliminary Report).	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
13	Wen Feng Qi, Jun-Hui Yang, Jing Jun Zhou	ML-Sequences over Rings Z/(2e)*: I. Constructions of Nondegenerative ML-Sequences II. Injectiveness of Compression Mappings of New Classes.	ASIACRYPT	1998	DBLP DOI BibTeX RDF	nondegenerate ML-sequence, quasi-period, injective compression mapping
13	M. Thoennessen, E. Kashy, Y. Tsai, N. E. Davis	Application of Technology and Asynchronous Learning Networks in Large Lecture Classes.	HICSS (1)	1998	DBLP DOI BibTeX RDF
13	Emilia Rosti, Francesco Schiavoni, Giuseppe Serazzi	Queueing Network Models with Two Classes of Customers.	MASCOTS	1997	DBLP DOI BibTeX RDF
13	Raffaele Giancarlo, Roberto Grossi	On the Construction of Classes of Suffix Trees for Square Matrices: Algorithms and Applications.	ICALP	1995	DBLP DOI BibTeX RDF
13	Elisa Bertino, Giovanna Guerrini	Objects with Multiple Most Specific Classes.	ECOOP	1995	DBLP DOI BibTeX RDF
13	Jürgen Bierbrauer	A2 Codes from Universal Hash Classes.	EUROCRYPT	1995	DBLP DOI BibTeX RDF
13	Wee Sun Lee, Peter L. Bartlett, Robert C. Williamson	Lower Bounds on the VC-Dimension of Smoothly Parametrized Function Classes.	COLT	1994	DBLP DOI BibTeX RDF
13	Michel Verleysen, Philippe Thissen, Jean-Didier Legat	Linear Vector Classification: An Improvement on LVQ Algorithms to Create Classes of Patterns.	IWANN	1993	DBLP DOI BibTeX RDF
13	Tobias Nipkow, Christian Prehofer	Type Checking Type Classes.	POPL	1993	DBLP DOI BibTeX RDF	Haskell
13	Alexandru Mateescu, Arto Salomaa	Post Correspondence Problem: Primitivity and Interrelations with Complexity Classes.	MFCS	1993	DBLP DOI BibTeX RDF
13	Paris C. Kanellakis, Sridhar Ramaswamy, Darren Erik Vengroff, Jeffrey Scott Vitter	Indexing for Data Models with Constraints and Classes.	PODS	1993	DBLP DOI BibTeX RDF
13	Thong wei Koh, Beng Chin Ooi, Yin Seong Ho	A Model Using Classes as Basic Organization Tool.	DOOD	1993	DBLP DOI BibTeX RDF
13	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
13	Edward Y. Chang, Zohar Manna, Amir Pnueli	Characterization of Temporal Property Classes.	ICALP	1992	DBLP DOI BibTeX RDF
13	Kung Chen, Paul Hudak, Martin Odersky	Parametric Type Classes.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
13	William H. Harrison, Harold Ossher	Attaching instance variables to method realization1 instead of classes.	ICCL	1992	DBLP DOI BibTeX RDF
13	Peter Fankhauser, Martin Kracker, Erich J. Neuhold	Semantic vs. Structural Resemblance of Classes.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
13	Barney P. Hilken, David E. Rydeheard	Towards a Categorical Semantics Type Classes.	MFCS	1991	DBLP DOI BibTeX RDF
13	Christian G. Fermüller	A Resolution Variant Deciding some Classes of Clause Sets.	CSL	1990	DBLP DOI BibTeX RDF
13	Jacobo Torán	A Combinatorial Technique for Separating Counting Complexity Classes.	ICALP	1989	DBLP DOI BibTeX RDF
13	Elisabeth Wette	Sequential Representation of Primitive Recursive Functions, and Complexity Classes.	CSL	1989	DBLP DOI BibTeX RDF
13	Tanel Tammet	The resolution program, able to decide some solvable classes.	Conference on Computer Logic	1988	DBLP DOI BibTeX RDF
13	Hans Kleine Büning, Theodor Lettmann	Classes of First Order Formulas Under Various Satisfiability Definitions.	CADE	1986	DBLP DOI BibTeX RDF
13	K. V. Sastry	Balancing processor shares of scheduling classes through controlled allocation of memory.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
13	Bruno Courcelle	On the Definition of Classes of Interpretations.	ICALP	1977	DBLP DOI BibTeX RDF
13	C. A. Rose	Validation of a queueing model with classes of customers.	SIGMETRICS	1976	DBLP DOI BibTeX RDF
13	Vladimir I. Danilov, Gleb A. Koshevoy	Choice Functions and Extensive Operators.	Order	2009	DBLP DOI BibTeX RDF	Pre-topology, Anti-matroid, Exchange and anti-exchange conditions, Matroid, Closure operator, Neighborhood system, Direct image
13	Mostafa Esmaeili, Mehdi Gholami	Geometrically-structured maximum-girth LDPC block and convolutional codes.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
13	Marko Samer, Stefan Szeider	Backdoor Sets of Quantified Boolean Formulas.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Backdoor sets, Variable dependencies, Parameterized complexity, Quantified Boolean formulas
13	Minh Ngoc Nguyen 0002, Jianmin Ma, Gary B. Fogel, Jagath C. Rajapakse	Di-codon Usage for Gene Classification.	PRIB	2009	DBLP DOI BibTeX RDF
13	Paul C. van Oorschot, Julie Thorpe	On predictive models and user-drawn graphical passwords.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	Draw-a-Secret, graphical dictionary, memorable passwords, modeling user choice, password complexity factors, Graphical passwords, dictionary attack
13	Yannis Theoharis, Yannis Tzitzikas, Dimitris Kotzinos, Vassilis Christophides	On Graph Features of Semantic Web Schemas.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	conceptual schemas morphology, Semantic Web, power-laws
13	Richard B. Borie, R. Gary Parker, Craig A. Tovey	Solving problems on recursively constructed graphs.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	Halin graph, branchwidth, cliquewidth, cutwidth, rankwidth, series parallel, dynamic programming, tree, Bandwidth, treewidth, cograph, pathwidth
13	Joseph E. Sutton, Wei Li 0006	Development of CPT_M3D for Multiple Chemical Plume Tracing and Source Identification.	ICMLA	2008	DBLP DOI BibTeX RDF
13	Stanley Loh, Fabiana Lorenzi, Gabriel Simões, Leandro Krug Wives, José Palazzo Moreira de Oliveira	Comparing keywords and taxonomies in the representation of users profiles in a content-based recommender system.	SAC	2008	DBLP DOI BibTeX RDF	ontologies, classification, recommender systems, text analysis
13	Hina Shah, Suman K. Mitra, Asim Banerjee	Information Slicing: An Application to Object Classification in Satellite Images.	ICVGIP	2008	DBLP DOI BibTeX RDF
13	Jian-quan Ouyang	Full Symmetric Function in Partial K-Valued Logic.	FSKD (1)	2008	DBLP DOI BibTeX RDF
13	Monika Heiner, Ronny Richter, Martin Schwarick	Snoopy: a tool to design and animate/simulate graph-based formalisms.	SimuTools	2008	DBLP DOI BibTeX RDF	model creation and execution, numerical integration algorithms, qualitative and quantitative petri nets, simulator, animator, editor
13	Stephen Dignum, Riccardo Poli	Operator Equalisation and Bloat Free GP.	EuroGP	2008	DBLP DOI BibTeX RDF	Program Length, Operator Equalisation, Genetic Programming, Search, Bloat
13	Michinori Nakata, Hiroshi Sakai	Lower and Upper Approximations in Data Tables Containing Possibilistic Information.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	Imprecise value, Correctness criterion, Weighted equivalence class, Rough sets, Lower and upper approximations
13	Hans Kleine Büning, K. Subramani 0001, Xishun Zhao	Boolean Functions as Models for Quantified Boolean Formulas.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Model, Complexity, Boolean function, Satisfiability, Propositional logic, Quantified Boolean formula
13	Xue-Qiang Zeng, Ming-Wen Wang, Jian-Yun Nie	Text classification based on partial least square analysis.	SAC	2007	DBLP DOI BibTeX RDF	feature extraction, text classification, dimensionality reduction, text indexing, partial least square
13	Marko van Dooren, Eric Steegmans	A Higher Abstraction Level Using First-Class Inheritance Relations.	ECOOP	2007	DBLP DOI BibTeX RDF
13	Marko Samer, Stefan Szeider	Backdoor Sets of Quantified Boolean Formulas.	SAT	2007	DBLP DOI BibTeX RDF
13	Heeryon Cho, Naomi Yamashita, Toru Ishida 0001	Towards Culturally-Situated Agent Which Can Detect Cultural Differences.	PRIMA	2007	DBLP DOI BibTeX RDF	ontology, interpretation, detection, cultural difference
13	Christian Schlegel, Zhenning Shi, Marat V. Burnashev	Optimal Power/Rate Allocation and Code Selection for Iterative Joint Detection of Coded Random CDMA.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
13	John W. T. Lee, Daniel S. Yeung, Eric C. C. Tsang	Rough sets and ordinal reducts.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Ordinal reduct, Rough set
13	Salvador Ruiz-Correa, Linda G. Shapiro, Marina Meila, Gabriel Berson, Michael L. Cunningham, Raymond W. Sze	Symbolic Signatures for Deformable Shapes.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Three-dimensional object recognition and classification, deformable shapes, numeric and symbolic signatures, craniosynostosis, craniofacial malformations, scene analysis, range data, Mercer kernel
13	Antonio Torralba 0001, Kevin P. Murphy, William T. Freeman	Shared Features for Multiclass Object Detection.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
13	Arnab Dhua, Florin Cutzu	Hierarchical, Generic to Specific Multi-class Object Recognition.	ICPR (1)	2006	DBLP DOI BibTeX RDF
13	Tor Kjetil Moseng, Øivind Kure	DiffServ in Ad Hoc Networks.	EuroNGI Workshop	2006	DBLP DOI BibTeX RDF
13	Mikhail J. Atallah, Marina Blanton, Keith B. Frikken	Key management for non-tree access hierarchies.	SACMAT	2006	DBLP DOI BibTeX RDF	access hierarchy, dimension of a graph, fast key derivation
13	Piotr Tomaszewski, Lars-Ola Damm	Comparing the fault-proneness of new and modified code: an industrial case study.	ISESE	2006	DBLP DOI BibTeX RDF	modified code, fault-proneness, fault prediction
13	Miao Xiong, Yifan Chen, Hao Zheng 0003, Yong Yu 0001	Towards Quick Understanding and Analysis of Large-Scale Ontologies.	ASWC	2006	DBLP DOI BibTeX RDF
13	Tao Xie 0001, Jianjun Zhao 0001	A framework and tool supports for generating test inputs of AspectJ programs.	AOSD	2006	DBLP DOI BibTeX RDF	coverage measurement, software testing, aspect-oriented programs, test generation, aspect-oriented software development, AspectJ, coverage criteria
13	David A. Cohen, Martin James Green	Typed Guarded Decompositions for Constraint Satisfaction.	CP	2006	DBLP DOI BibTeX RDF
13	Rong Yan, Alexander G. Hauptmann	Probabilistic latent query analysis for combining multiple retrieval sources.	SIGIR	2006	DBLP DOI BibTeX RDF	query class, retrieval, combination, statistical learning
13	Manabu Torii, Hongfang Liu	Headwords and Suffixes in Biomedical Names.	KDLL	2006	DBLP DOI BibTeX RDF
13	Liva Ralaivola, François Denis, Christophe Nicolas Magnan	CN = CPCN.	ICML	2006	DBLP DOI BibTeX RDF
13	Guoqiang Pan, Moshe Y. Vardi	Symbolic Techniques in Satisfiability Solving.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	symbolic decision procedure, satisfiability, binary decision diagram