|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16781 occurrences of 6814 keywords
|
|
|
Results
Found 24073 publication records. Showing 24073 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
31 | Ari Shapiro, Marcelo Kallmann, Petros Faloutsos |
Interactive motion correction and object manipulation. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Julien Pettré, Helena Grillon, Daniel Thalmann |
Crowds of moving objects: navigation planning and simulation. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Pascal Gautron, Jaroslav Krivánek, Kadi Bouatouch, Sumanta N. Pattanaik |
Radiance cache splatting: a GPU-friendly global illumination algorithm. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Gil Irizarry, Gregory P. Silberman, Neer Gupta |
Know your rights: a legal primer for software developers, artists and content creators. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | David J. Kasik, Andreas Dietrich 0001, Enrico Gobbetti, Fabio Marton, Dinesh Manocha, Philipp Slusallek, Abe Stephens, Sung-Eui Yoon |
Massive model visualization techniques: course notes. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Fabio Pellacini |
Interactive cinematic lighting. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Theresa-Marie Rhyne, Michael Manore, Ronald G. Hughes |
Transportation visualization. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Kayvon Fatahalian |
Overview: making sense of GPU architectures. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Aaron E. Lefohn, Mike Houston, David Luebke, Jon Olick, Fabio Pellacini |
Beyond programmable shading: in action. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jaroslav Krivánek |
Problems & solutions: implementation details. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jaroslav Krivánek, Pascal Gautron, Sumanta N. Pattanaik, Kadi Bouatouch |
Radiance caching for efficient global illumination computation. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Andreas Dietrich 0001, Philipp Slusallek |
Massive model visualization using realtime ray tracing. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Aditi Majumder |
Large format displays. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Mine Özkar, Sotirios Kotsopoulos |
Introduction to shape grammars. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Szymon Rusinkiewicz, Forrester Cole, Doug DeCarlo, Adam Finkelstein |
Line drawings from 3D models. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Hendrik P. A. Lensch |
Projector-based illumination for 3D scene modeling. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | John D. Owens |
Parallel programming models overview. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Aaron E. Lefohn, Mike Houston, Chas Boyd, Kayvon Fatahalian, Tom Forsyth, David Luebke, John D. Owens |
Beyond programmable shading: fundamentals. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Eric Tabellion |
Irradiance caching at DreamWorks. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Wojciech Jarosz, Henrik Wann Jensen, Craig Donner |
Advanced global illumination using photon mapping. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Avneesh Sud, Erik Andersen, Sean Curtis, Ming C. Lin, Dinesh Manocha |
Real-time path planning for virtual agents in dynamic environments. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Paul E. Debevec, Ramesh Raskar, Jack Tumblin |
Computational photography: advanced topics. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Dave Shreiner |
OpenGL: what's coming down the graphics pipeline. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Oliver Bimber, Ramesh Raskar, Aditi Majumder, Hendrik P. A. Lensch |
Projectors for graphics. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Greg Ward |
Implementation of irradiance caching in radiance. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Michael A. Manore |
Visualization education and training. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Pascal Gautron |
Hardware implementation. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Ares Lagae, Craig S. Kaplan, Chi-Wing Fu, Victor Ostromoukhov, Oliver Deussen |
Tile-based methods for interactive applications. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Paul Laumond |
Digression: back to real? |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Barb Helfer, Steve Cunningham, Mike McGrath, Larry Rosenblum |
The art of proposal writing. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Julien Pettré |
Autonomous navigation for crowds of virtual humans: part I: interactive design of virtual population using navigation graphs. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Andrew S. Glassner |
An introduction to modeling. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Marcelo Kallmann |
Autonomous object manipulation for virtual humans. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Florence Bertails, Sunil Hadap, Marie-Paule Cani, Ming C. Lin, Tae-Yong Kim 0002, Steve Marschner, Kelly Ward, Zoran Kacic-Alesic |
Realistic hair simulation: animation and rendering. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Chas Boyd |
Data-parallel computing. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Pierre Alliez, Andreas Fabri, Efi Fogel |
Computational geometry algorithms library. |
SIGGRAPH Classes |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Andreas Brandstädt, Klaus Jansen, Dieter Kratsch, Jeremy P. Spinrad (eds.) |
Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes, 20.05. - 25.05.2007 |
Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes |
2007 |
DBLP BibTeX RDF |
|
31 | Van Bang Le, H. N. de Ridder |
Linear-time certifying recognition for partitioned probe cographs. |
Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes |
2007 |
DBLP BibTeX RDF |
|
31 | Andreas Brandstädt, Derek G. Corneil, Klaus Jansen, Jeremy P. Spinrad (eds.) |
Robust and Approximative Algorithms an Particular Graph Classes, 23.05. - 28.05.2004 |
Robust and Approximative Algorithms an Particular Graph Classes |
2004 |
DBLP BibTeX RDF |
|
31 | Mark Bickford |
Component Specification Using Event Classes. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Sanjay Jain 0001, Frank Stephan 0001 |
Mitotic Classes. |
COLT |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Eric Allender, Martin Strauss 0001 |
Measure on Small Complexity Classes, with Applications for BPP |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
resource-bounded measure theory, small complexity classes, BPP, subexponential-time classes, class of sets, resource-bounded measure |
30 | Peter van Emde Boas |
The non-renameability of honesty classes. |
Computing |
1975 |
DBLP DOI BibTeX RDF |
honesty classes, honesty procedures, naming theorem, Complexity classes |
29 | Cheng-Lin Liu |
Partial discriminative training for classification of overlapping classes in document analysis. |
Int. J. Document Anal. Recognit. |
2008 |
DBLP DOI BibTeX RDF |
Overlapping classes, Partial discriminative training, Character recognition, Discriminative training |
29 | Hannu Mäyrä, Mauno Rönkkö |
Reverse Engineering Functional Classes: A Middleware Case Study. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode |
29 | Tetsuo Kamina, Tetsuo Tamai |
Lightweight dependent classes. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
class-based languages, dependent classes, mutually recursive extensions, generics, type safety |
29 | Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller |
Modular type classes. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
type systems, type inference, modules, type classes |
29 | Philippe Y. Massicotte, Mourad Badri, Linda Badri |
Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
Aspect-Oriented Software Testing, UML, Interactions, Sequences, Aspects, Classes, Criteria |
29 | Andrew P. Black, Nathanael Schärli, Stéphane Ducasse |
Applying traits to the smalltalk collection classes. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
collection hierarchy, stream classes, reuse, refactoring, inheritance, smalltalk, multiple Inheritance, mixins, traits |
29 | Emanuele Covino, Giovanni Pani, Salvatore Caporaso |
Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes. |
CIAC |
2000 |
DBLP DOI BibTeX RDF |
time-space classes, elementary functions, implicit computational complexity |
28 | Wiebke Petersen |
A Mathematical Analysis of Panini's Sivasutras. |
J. Log. Lang. Inf. |
2004 |
DBLP DOI BibTeX RDF |
Pnini, ivastras, representation of natural classes |
28 | Loren Larsen, Mary Jean Harrold |
Slicing Object-Oriented Software. |
ICSE |
1996 |
DBLP BibTeX RDF |
class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language |
28 | Hubie Chen |
Arithmetic Constant-Depth Circuit Complexity Classes. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Norihisa Suzuki |
Inferring Types in Smalltalk. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
27 | Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers |
MultiJava: Design rationale, compiler implementation, and applications. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem |
27 | Changjie Tang, Qing Li 0001, Rynson W. H. Lau, Xiaodong Huang |
Supporting Practices in Web-Based Learning. |
ICWL |
2002 |
DBLP DOI BibTeX RDF |
practical classes, learning with task, shadow classes, Web learning |
27 | Wilfred Ng |
Querying Databases with Knowledge Domains. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
knowledge domains, data domains, user-defined predicates, Knowledge Relational Algebra, knowledge domain classes, query language classes, computable queries, query, relational algebra |
27 | Matthew K. H. Leung, John C. S. Lui, David K. Y. Yau |
Characterization and Performance Evaluation for Proportional Delay Differentiated Services. |
ICNP |
2000 |
DBLP DOI BibTeX RDF |
proportional delay differentiated services, Internet differentiated services, traffic classes, tariff rate, time-dependent priority scheduling, proportional delay model, delay ratios, scheduling parameters, efficient control algorithm, relative waiting time, performance evaluation, performance evaluation, Internet, delays, telecommunication traffic, waiting times, telecommunication services, ISP, feasible regions, average waiting time, service classes |
27 | Kouki Nakanishi, Takashi Arano, Makoto Imase |
A metric for evaluating class library interfaces and its application to library upgrades. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
class library interface evaluation metric, library upgrades, polymorphic operations, approximating equation, word frequency, InterViews C++ class library, abstract classes, metric value, specialized-functional extension classes, data structures, object-oriented programming, software maintenance, software metrics, generalization, natural language, object-oriented languages, abstract data types, libraries, software libraries, specialization, Zipf's law |
26 | Daniel Lehmann 0001 |
Classes of Service under Perfect Competition and Technological Change. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
Internet, classes of service |
26 | Mona Omidyeganeh, Reza Azmi, Kambiz Nayebi, Abbas Javadtalab |
A New Method to Improve Multi Font Farsi/Arabic Character Segmentation Results: Using Extra Classes of Some Character Combinations. |
MMM (1) |
2007 |
DBLP DOI BibTeX RDF |
Farsi/Arabic text, Multi font, Extra classes, Statistical methods, Character segmentation |
26 | Ralf Lämmel, Klaus Ostermann |
Software extension and integration with type classes. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
family polymorphism, framework integration, object adapter, software extension, tyranny of the dominant decomposition, haskell, type classes, software integration, multiple dispatch, expression problem |
26 | Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann |
On SAT instance classes and a method for reliable performance experiments with SAT solvers. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
exponential and heavy-tail distributions, reliability function, satisfiability, experimental design, equivalence classes, conjunctive normal form |
26 | Mario J. Pérez-Jiménez, Álvaro Romero Jiménez, Fernando Sancho-Caparrini |
Complexity classes in models of cellular computing with membranes. |
Nat. Comput. |
2003 |
DBLP DOI BibTeX RDF |
membrane computing, complexity classes, P systems |
26 | Simon Günter, Horst Bunke |
New Boosting Algorithms for Classification Problems with Large Number of Classes Applied to a Handwritten Word Recognition Task. |
Multiple Classifier Systems |
2003 |
DBLP DOI BibTeX RDF |
Ensemble Creation Method, Large Number of Classes, Hidden Markov Model (HMM), Handwriting Recognition, Boosting, Multiple Classifier System |
26 | Daniel J. Lehmann |
Classes of service under perfect competition and technological change: A model for the dynamics of the internet? |
EC |
2001 |
DBLP DOI BibTeX RDF |
internet, Internet, classes of service, perfect competition |
26 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, Haskell, types, type classes |
26 | Shin'ichi Konomi, Tetsuya Furukawa, Yahiko Kambayashi |
Super-Key Classes for Updating Materialized Derived Classes in Object Bases. |
DOOD |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Serge Abiteboul, Moshe Y. Vardi, Victor Vianu |
Fixpoint logics, relational machines, and computational complexity. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
fixpoint logic, relational complexity, computational complexity, complexity classes |
26 | Ranga Raju Vatsavai, Shashi Shekhar, Budhendra L. Bhaduri |
A Semi-supervised Learning Algorithm for Recognizing Sub-classes. |
ICDM Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Fischer Nilsson |
Ontological Constitutions for Classes and Properties. |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Holger Spakowski, Mayur Thakur, Rahul Tripathi |
Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Aggelos Kiayias, Aris Pagourtzis, Kiron Sharma, Stathis Zachos |
Acceptor-Definable Counting Classes. |
Panhellenic Conference on Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Ulrich Hertrampf |
Generalized Regular Counting Classes. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Heung Seok Chae |
A Cohesion Measure for Classes in Object-Oriented SystemsYong Rae Kwon. |
IEEE METRICS |
1998 |
DBLP DOI BibTeX RDF |
object-oriented, software metrics, cohesion |
26 | Hans-Jörg Burtschick |
Comparing Counting Classes for Logspace, One-way Logspace, and First-order. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Satish R. Thatte |
Semantics of Type Classes Revisited. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Haskell |
26 | Jorge Castro, Carlos Seara |
Characterizations of Some Complexity Classes Between Theta^p_2 and Delta^p_2. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Ralph Frisbie, Richard Hendrickson, Michael Metcalf |
The F Programming Language. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
FCL |
24 | Mohammed R. Amin |
The Arabic Object-Oriented Programming Language Al-Risalh. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
Arabic object-oriented programming languages, Object-oriented programming concepts, classes and objects, classes and messages |
24 | Seyed Hamidreza Odabai Fard |
Efficient multi-class objet detection with a hierarchy of classes. (Détection efficace des objets multi-classes avec une hiérarchie des classes). |
|
2015 |
RDF |
|
24 | Sarah Mocas |
Using Bounded Query Classes to Separate Classes in the Exponential Time Hierarchy from Classes in PH. |
SCT |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Daqi Gao, Jianli Sun, Xiaoyan Li |
Parallel-Series Perceptrons for the Simultaneous Determination of Odor Classes and Concentrations. |
ICANN (2) |
2007 |
DBLP DOI BibTeX RDF |
Parallel-series perceptrons, simultaneous determination, odor classes and concentrations, electronic nose |
24 | Lawrence C. Paulson |
Defining functions on equivalence classes. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
theorem proving, Equivalence classes, quotients |
24 | Linda Lawton |
Almost complemented Pi01 classes. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
?01 classes, computability, recursion |
24 | Jong Won Lee |
Isomorphism Classes of Picard Curves over Finite Fields. |
Appl. Algebra Eng. Commun. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Picard curve, Superelliptic curve, Isomorphism classes, Algebraic function field |
24 | Peixin Ye |
Computational complexity of the integration problem for anisotropic classes. |
Adv. Comput. Math. |
2005 |
DBLP DOI BibTeX RDF |
integration problem, randomized methods, anisotropic classes, complexity |
24 | Vishwas S. Puttasubbappa, Harry G. Perros |
Access Protocols to Support Different Service Classes in an Optical Burst Switching Ring. |
NETWORKING |
2004 |
DBLP DOI BibTeX RDF |
Optical burst switching, access protocols, MAN, service classes |
24 | Tatsuhiro Tsuchiya, Tohru Kikuno |
On fault classes and error detection capability of specification-based testing. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
Specification-based testing, fault classes |
24 | Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman |
Data Coverage Testing of Programs for Container Classes. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Data coverage testing, Testing of container classes, Automated testing |
24 | Paolo Terenziani |
Temporal Reasoning with Classes and Instances of Events. |
TIME |
2002 |
DBLP DOI BibTeX RDF |
Temporal constraints between classes and instances of events, Prediction, Consistency, Inheritance |
24 | M. R. Darafsheh, Mohammad Reza Pournaki |
Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group. |
Appl. Algebra Eng. Commun. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Symmetry classes of tensors, Actions of symmetric groups, Irreducible characters, Projective special linear group |
24 | Eddy Fromentin, Michel Raynal, Frederic Tronel |
On Classes of Problems in Asynchronous Distributed Systems with Process Crashes. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
Broadcast Problems, Classes of Problems, Reduction Protocol, Fault-Tolerance, Consensus, Failure Detectors, Asynchronous Distributed Systems, Atomic Commitment |
24 | Jon A. Preston, Russell L. Shackelford |
A system for improving distance and large-scale classes. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
large-scale classes, massification, student-teacher interaction, data mining, distance education, educational technology |
24 | Carsten Damm, Matthias Krause 0001, Christoph Meinel, Stephan Waack |
Separating Counting Communication Complexity Classes. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
complexity of Boolean function, communication complexity and distributed computing, probabilism, lower bound arguments, separation of complexity classes |
23 | Lars Kristiansen |
Complexity-Theoretic Hierarchies. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
subrecursive classes, ?-calculi, Gödel’s T, types, Complexity theory |
23 | Ryuhei Uehara, Yushi Uno |
Efficient Algorithms for the Longest Path Problem. |
ISAAC |
2004 |
DBLP DOI BibTeX RDF |
graph classes, longest path problem, Efficient algorithms |
23 | Thomas Eiter, Yuri Gurevich, Georg Gottlob |
Existential second-order logic over strings. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic |
23 | Paramveer S. Dhillon, Dean P. Foster, Lyle H. Ungar |
Efficient Feature Selection in the Presence of Multiple Feature Classes. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Muhammad Usman Bhatti, Stéphane Ducasse, Marianne Huchard |
Reconsidering Classes in Procedural Object-Oriented Code. |
WCRE |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 24073 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|