|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6282 occurrences of 3788 keywords
|
|
|
Results
Found 12215 publication records. Showing 12215 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Mondher Bellalah, Zhen Wu |
A simple model of corporate international investment under incomplete information and taxes. |
Ann. Oper. Res. |
2009 |
DBLP DOI BibTeX RDF |
Corporate international investment, Dynamical programming principle, Incomplete information |
13 | Alexander J. Zaslavski |
A sufficient condition for exact penalty functions. |
Optim. Lett. |
2009 |
DBLP DOI BibTeX RDF |
Clarke’s generalized gradient, Ekeland’s variational principle, Critical point, Penalty function, Approximate solution, Minimization problem |
13 | Qingxin Meng 0003, MaoNing Tang |
Necessary and sufficient conditions for optimal control of stochastic systems associated with Lévy processes. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
Teugel’s martingales, adjoint equation, maximum principle |
13 | Renkuan G. Guo, Danni Guo |
Random fuzzy variable foundation for Grey differential equation modeling. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
Grey system, Grey differential equation, Coupling principle, Random fuzzy variable, Differential equation motivated regression models |
13 | Sándor P. Fekete, Dietmar Fey, Marcus Komann, Alexander Kröller, Marc Reichenbach, Christiane Schmidt 0001 |
Distributed vision with smart pixels. |
SCG |
2009 |
DBLP DOI BibTeX RDF |
distributed vision, sweepline algorithms, distributed algorithms, principle component analysis, sublinear algorithms |
13 | Sean H. J. Kim, Shahab Sheikh-Bahaei, C. Anthony Hunt |
Agent-based modeling of alveolar type II cyst formation in vitro. |
SpringSim |
2009 |
DBLP BibTeX RDF |
alveolar development, cell biology, epithelial, operating principle, systems biology, morphogenesis, agent-based |
13 | Matthew Butler 0001, Vlado Keselj |
Optimizing a Pseudo Financial Factor Model with Support Vector Machines and Genetic Programming. |
Canadian AI |
2009 |
DBLP DOI BibTeX RDF |
support vector machines, genetic programming, principle component analysis, financial forecasting |
13 | Zoltán Szabó 0001 |
Complete Blind Subspace Deconvolution. |
ICA |
2009 |
DBLP DOI BibTeX RDF |
Complete blind subspace deconvolution, separation principle, independent subspace analysis, linear prediction |
13 | Jianhan Zhu, Jun Wang 0012, Ingemar J. Cox, Michael J. Taylor 0001 |
Risky business: modeling and exploiting uncertainty in information retrieval. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
probabilistic retrieval models, risk adjustment, language models, loss functions, probability ranking principle |
13 | Malay Bhattacharyya 0001, Anup Kumar Bandyopadhyay |
On single courier problem. |
Optim. Lett. |
2008 |
DBLP DOI BibTeX RDF |
Courier problems, Single courier problem, Optimality principle, Traveling salesman problem |
13 | Alexander J. Zaslavski |
Exact penalty property for a class of inequality-constrained minimization problems. |
Optim. Lett. |
2008 |
DBLP DOI BibTeX RDF |
Ekeland’s variational principle, Penalty function, Minimization problem |
13 | Yousong Luo |
On the uniqueness of solutions of spectral equations. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Comparison principle, Curvature equation, Hessian equation, Spectral function, Viscosity solution |
13 | Gongzhu Hu, Xiaohui Huang |
Experiments with Content-Based Image Retrieval for Medical Images. |
Computer and Information Science |
2008 |
DBLP DOI BibTeX RDF |
content-based image retrieval, medical images, principle component analysis |
13 | Xiaoxu Han, Joseph Scazzero |
Protein Expression Molecular Pattern Discovery by Nonnegative Principal Component Analysis. |
PRIB |
2008 |
DBLP DOI BibTeX RDF |
Nonnegative principle component analysis, support vector machine (SVM), sparse coding |
13 | Katelin Bailey, Apu Kapadia, Linden Vongsathorn, Sean W. Smith |
TwoKind authentication: protecting private information in untrustworthy environments. |
WPES |
2008 |
DBLP DOI BibTeX RDF |
principle of least privilege, authenticators, passwords |
13 | John Wu |
Correlated Equilibrium of Bertrand Competition. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
Equilibrium coarsenings, equilibrium refinements, strategic correlation principle, positive correlated equilibrium, negative correlated equilibrium, duality gap |
13 | Christophe Cérin, Michel Koskas |
Work Stealing Technique and Scheduling on the Critical Path. |
GPC Workshops |
2008 |
DBLP DOI BibTeX RDF |
Work Stealing principle, Heterogeneity of chips, Memory Management, Scheduling algorithms |
13 | Danling Wang, Lequan Min, Yu Ji |
Application of Local Activity Theory of Cellular Neural Network to the Chen's System. |
ISNN (2) |
2008 |
DBLP DOI BibTeX RDF |
Local activity principle, Edge of chaos, Cellular neural network |
13 | Bozidar Bratina, Nenad Muskinja, Boris Tovornik |
Design of an Auto-associative Neural Network by Using Design of Experiments Approach. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
nonlinear principle components, neural networks, Design of Experiments, Fault detection and isolation |
13 | Xiao-Gang Ruan, Hong-ge Ren, Xin-yuan Li, Qi-yuan Wang |
Dynamic Model and Analysis of the Flexible Two-Wheeled Mobile Robot. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
Flexible two-wheeled mobile robot, Assumed mode method, D’Alembert-Lagrange principle, Dynamics model |
13 | Adrian Stern |
Sampling of compact signals in offset linear canonical transform domains. |
Signal Image Video Process. |
2007 |
DBLP DOI BibTeX RDF |
Regular sampling, Offset linear canonical transform, Special affine Fourier transform, Linear canonical transform, Time-frequency representation, Uncertainty principle |
13 | Rui Chen 0002, Raj Sharman, H. Raghav Rao, Shambhu J. Upadhyaya |
Design principles for critical incident response systems. |
Inf. Syst. E Bus. Manag. |
2007 |
DBLP DOI BibTeX RDF |
Emergency response management, Single incident, Multiple incident, Design principle |
13 | Diane J. Cook |
Making Sense of Sensor Data. |
IEEE Pervasive Comput. |
2007 |
DBLP DOI BibTeX RDF |
Episode Discovery, sensors, Singular Value Decomposition, data analysis, clustering algorithms, Principle Components Analysis, sensor data, association analysis |
13 | Sungwoo Tak, E. K. Park |
Restoration performance study of k-shortest disjoint paths in WDM optical networks. |
Telecommun. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Shortest disjoint paths, Dynamic programming principle, Optimization, Restoration, WDM optical networks |
13 | Patrick C. K. Hung, Dickson K. W. Chiu, W. W. Fung, William K. Cheung 0001, Raymond K. Wong 0001, Samuel P. M. Choi, Eleanna Kafeza, James T. Kwok, Joshua C. C. Pun, Vivying S. Y. Cheng |
End-to-end privacy control in service outsourcing of human intensive processes: A multi-layered Web service integration approach. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
Web service integration, Need-to-know principle, APPEL, SLA, Privacy policies, P3P, Layered architecture |
13 | Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen |
Analysis of three multilevel security architectures. |
CSAW |
2007 |
DBLP DOI BibTeX RDF |
partitioning kernel, principle of least privilege, architecture, multilevel security, security kernel, separation kernel |
13 | Xiaolong Jin, Geyong Min |
An analytical model for generalized processor sharing scheduling with heterogeneous network traffic. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
short range dependence, long range dependence, self-similar traffic, generalized processor sharing, large deviation principle |
13 | Kyla Steele |
Mapping safety assumptions across the European aviation industry. |
ECCE |
2007 |
DBLP DOI BibTeX RDF |
safety theory, model, safety, principle, aviation safety, accident |
13 | Ju-liang Jin, Yi-Ming Wei, Lin-yan Jing, Yan Guo |
Relative Entropy Method for Regional Allocation of Water Pollution Loading. |
International Conference on Computational Science (3) |
2007 |
DBLP DOI BibTeX RDF |
Allocation weighting, Principle of minimum relative information entropy, Water pollution loads, Analytic hierarchy process |
13 | Viveka Weiley |
Utzon's studio as a collaborative virtual environment. |
IE |
2007 |
DBLP BibTeX RDF |
Ba-principle, Jørn Utzon, loose parts, low road architecture, collaborative virtual environments, aesthetics, space, pattern languages, place, distributed teams |
13 | Stefan M. Grünvogel, Richard Wages, Tobias Bürger, Janez Zaletelj |
A Novel System for Interactive Live TV. |
ICEC |
2007 |
DBLP DOI BibTeX RDF |
interactive live television, extraction of meaning, dramaturgical principle, recommender system, content, multi-stream |
13 | Min-Ling Zhang, Zhi-Hua Zhou |
Adapting RBF Neural Networks to Multi-Instance Learning. |
Neural Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
neural networks, machine learning, content-based image retrieval, singular value decomposition, radial basis function, Hausdorff distance, principle component analysis, multi-instance learning |
13 | Sergiu Rudeanu, Dan A. Simovici |
On the Ranges of Algebraic Functions on Lattices. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
?ukasiewicz-Moisil algebras, determination principle, distributive lattice, modular lattice |
13 | Yan Li 0003, Simon C. K. Shiu, Sankar K. Pal |
Combining Feature Reduction and Case Selection in Building CBR Classifiers. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
CBR classifier, case selection, k-NN principle, rough sets, Case-based reasoning, feature reduction |
13 | Hillol Kargupta, Byung-Hoon Park, Haimonti Dutta |
Orthogonal Decision Trees. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
Orthogonal decision trees, redundancy free trees, Fourier transform, principle component analysis |
13 | Guodong Liu, Leonard McMillan |
Estimation of missing markers in human motion capture. |
Vis. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Missing markers, Motion capture, Principle component analysis, Piecewise linear modeling |
13 | Michael S. Floater, Valérie Pham-Trong |
Convex combination maps over triangulations, tilings, and tetrahedral meshes. |
Adv. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
discrete maximum principle, triangulation, tiling, parameterization, tetrahedral mesh, planar embedding, convex combination |
13 | Nikolai P. Osmolovskii, Helmut Maurer |
Second Order Optimality Conditions for Controls with Continuous and Bang-Bang Components. |
Systems, Control, Modeling and Optimization |
2006 |
DBLP DOI BibTeX RDF |
bang-bang control, Pontryagin minimum principle, second order necessary and sufficient conditions, critical cone, strengthened Legendre condition, quadratic form |
13 | Martin Sulzmann |
Extracting programs from type class proofs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
proofs are programs principle, overloading, type classes |
13 | Steven J. Greenwald |
E-Prime for security: a new security paradigm. |
NSPW |
2006 |
DBLP DOI BibTeX RDF |
Clark-Wilson, E-Prime, Sapir-Whorf hypothesis, disaster planning, enterprise security policy, general semantics, incident handling, informal security policy modeling, organizational security policy, principle of linguistic relativity, security life cycle, software life cycle SP800-12, user awareness, user centered security, user support and operations, modeling, formal methods, planning, RBAC, role-based access control, risk management, information assurance, security engineering, life cycle, spam detection, user training, security policy modeling, program management |
13 | Leif Geiger, Albert Zündorf |
Story driven testing - SDT. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
test-first principle, code generation, scenarios |
13 | Raymond T. Boute |
Functional declarative language design and predicate calculus: a practical approach. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics |
13 | Patrick C. K. Hung, Dickson K. W. Chiu, W. W. Fung, William K. Cheung 0001, Raymond K. Wong 0001, Samuel P. M. Choi, Eleanna Kafeza, James T. Kwok, Joshua C. C. Pun, Vivying S. Y. Cheng |
Towards end-to-end privacy control in the outsourcing of marketing activities: a web service integration solution. |
ICEC |
2005 |
DBLP DOI BibTeX RDF |
Web service integration, need-to-know principle, OWL, SOAP, WSDL, privacy policies, UDDI, EPAL |
13 | Rong Wang, Patrick Keast, Paul H. Muir |
BACOL: B-spline adaptive collocation software for 1-D parabolic PDEs. |
ACM Trans. Math. Softw. |
2004 |
DBLP DOI BibTeX RDF |
1-D Parabolic PDEs, equidistribution principle, mesh selection, B-splines, collocation, high-order |
13 | Matthias Pätzold 0001 |
On the Stationarity and Ergodicity of Fading Channel Simulators Based on Rice's Sum-of-Sinusoids. |
Int. J. Wirel. Inf. Networks |
2004 |
DBLP DOI BibTeX RDF |
Deterministic processes, fading channel simulators, mobile channel modeling, sum-of-sinusoids principle, stochastic processes |
13 | Ozcan Ozturk 0002, Ravi Mazumdar, Nikolay B. Likhanov |
Many Sources Asymptotics for Networks with Small Buffers. |
Queueing Syst. Theory Appl. |
2004 |
DBLP DOI BibTeX RDF |
many sources asymptotics, overflow probabilities, large deviation principle |
13 | Lin Guan, Irfan-Ullah Awan, Michael E. Woodward |
A ME-Based Approximation Model for the Performance Evaluation of Congestion Control Mechanism Using Queue Thresholds. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
Maximum Entropy (ME) principle, Queue Threshold, Compound Bernoulli Process (CBP), Generalised Geometric (GGeo) Distribution, Congestion Control |
13 | Jerome Vouillon, Paul-André Melliès |
Semantic types: a fresh look at the ideal model for types. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types |
13 | Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt |
Complexity issues in bivariate polynomial factorization. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
Hensel lifting, multi-moduli, tellegen, transposition principle, computer algebra, polynomial factorization |
13 | Romica Trandafir |
Determination of a discrete distribution with given entropy. |
Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
Monte Carlo simulation, uniform distribution, maximum entropy principle |
13 | Manuel A. Pulido, Joaquín Sánchez-Soriano, Natividad Llorca |
Game Theory Techniques for University Management: An Extended Bankruptcy Model. |
Ann. Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
equity principle, bankruptcy problems, cooperative game theory |
13 | Javier Moreno-Valenzuela, Rafael Kelly |
Robotic Tasks Using Path Control: Two Case Studies. |
J. Intell. Robotic Syst. |
2002 |
DBLP DOI BibTeX RDF |
path control, LaSalle's invariance principle, motion control, direct-drive robot |
13 | S. Rajasekaran, Deepa Suresh, G. A. Vijayalakshmi Pai |
Application of Sequential Learning Neural Networks to Civil Engineering Modeling Problems. |
Eng. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Gram-Schmidt orthogonalization, High performance concrete, Minimization principle, Sequential Learning Neural Network, Sigmoidal Neuron, Steepest descent |
13 | Wai Lam, Alberto Maria Segre |
A Distributed Learning Algorithm for Bayesian Inference Networks. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
data mining, distributed systems, Bayesian networks, minimum description length principle |
13 | Mauro D'Amico, Gianluca Fusai, Aldo Tagliani |
Valuation of exotic options using moments. |
Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
Moment problem, Exotic options, Maximum Entropy principle |
13 | Vladimir Estivill-Castro |
Why so many clustering algorithms: a position paper. |
SIGKDD Explor. |
2002 |
DBLP DOI BibTeX RDF |
clustering criterion, inductive principle, clustering |
13 | Ko Nishino, Yoichi Sato, Katsushi Ikeuchi |
Eigen-Texture Method: Appearance Compression and Synthesis Based on a 3D Model. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2001 |
DBLP DOI BibTeX RDF |
model-based rendering, texture, image-based rendering, Image synthesis, principle component analysis, appearance |
13 | Soumen Chakrabarti |
Integrating the document object model with hyperlinks for enhanced topic distillation and information extraction. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
segmentation, minimum description length principle, topic distillation, document object model |
13 | Philip Hingston |
Inference of Regular Languages using Model Simplicity. |
ACSC |
2001 |
DBLP DOI BibTeX RDF |
Minimum Message Length principle, grammatical inference |
13 | Warren R. Greiff, Jay M. Ponte |
The maximum entropy approach and probabilistic IR models. |
ACM Trans. Inf. Syst. |
2000 |
DBLP DOI BibTeX RDF |
idf weighting, binary independence model, combination match, linked dependence, probability ranking principle |
13 | Nedeljko Varnica, Michael Fleming, Michelle Effros |
Multi-Resolution Adaptation of the SPIHT Algorithm for Multiple Description. |
Data Compression Conference |
2000 |
DBLP DOI BibTeX RDF |
separation principle, multi-resolution, SPIHT, Multiple description, state information |
13 | Anatolii A. Puhalskii |
Moderate deviations for queues in critical loading. |
Queueing Syst. Theory Appl. |
1999 |
DBLP DOI BibTeX RDF |
queues, heavy traffic, large deviation principle |
13 | Norbert Fuhr |
A Decision-Theoretic Approach to Database Selection in Networked IR. |
ACM Trans. Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
networked retrieval, resource discovery, probabilistic retrieval, probability ranking principle |
13 | Radim Belohlávek |
Feedforward networks with fuzzy signals. |
Soft Comput. |
1999 |
DBLP DOI BibTeX RDF |
adaptation, fuzzy sets, backpropagation, Feedforward neural networks, extension principle |
13 | James C. Greer |
Parallelization Model for Successive Approximations to the Rayleigh-Ritz Linear Variational Problem. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
Rayleigh-Ritz variational principle, two-tiered parallelization, Eigenvalue problems, parallelization efficiency, Amdahl's law |
13 | Igor Kononenko 0001 |
The Minimum Description Length Based Decision Tree Pruning. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
machine learning, decision trees, MDL principle |
13 | Zhen Liu 0001, Philippe Nain, Donald F. Towsley |
Exponential bounds with applications to call admission. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
exponential bound, matrix analysis, tail distribution, Markov chain, call admission control, queues, effective bandwidth, ergodicity, Markov additive process, large deviation principle |
13 | Surnjani Djoko, Diane J. Cook, Lawrence B. Holder |
An Emprirical Study of Domain Knowledge and Its Benefits to Substructure Discovery. |
IEEE Trans. Knowl. Data Eng. |
1997 |
DBLP DOI BibTeX RDF |
Data mining, data compression, domain knowledge, minimum description length principle, inexact graph match |
13 | Saugata Basu, Richard Pollack, Marie-Françoise Roy |
On the Combinatorial and Algebraic Complexity of Quantifier Elimination. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
Tarski-Seidenberg principle, quantifier elimination, real closed fields |
13 | Chieh-Min Fan, Nader M. Namazi, Pablo B. Penafiel |
A New Image Motion Estimation Algorithm Based on the EM Technique. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
the maximum likelihood (ML) principle, the expectation-maximization (EM) algorithm, affine motion, additive white Gaussian noise, Kalman filtering, Image motion estimation |
13 | Jian Chen |
The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development. |
Australian Software Engineering Conference |
1996 |
DBLP DOI BibTeX RDF |
Hierarchical dependence, Independence principle, Design for reuse, Reusability, Object-oriented software |
13 | Richard Lenz |
Adaptive distributed data management with weak consistent replicated data. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
coherency control, consistency island, need-to-know principle, weak consistency replication, distributed data management |
13 | Paul Beame, Toniann Pitassi |
Simplified and Improved Resolution Lower Bounds. |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
resolution lower bounds, randomly generated formulas, random formulas, randomly chosen 3-CNF formula, lower bounds, computability, pigeonhole principle |
13 | Lutz Angermann |
Balanced a posteriori Error Estimates for Finite-Volume Type Discretizations of Convection-Dominated Elliptic Problems. |
Computing |
1995 |
DBLP DOI BibTeX RDF |
Singularly perturbed problem, a posteriori estimates, uniform estimates, complementary variational principle |
13 | Paul Beame, Russell Impagliazzo, Jan Krajícek, Toniann Pitassi, Pavel Pudlák |
Lower Bound on Hilbert's Nullstellensatz and propositional proofs |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
propositional formulas, Hilbert's Nullstellensatz, propositional proofs, modular counting principle, fixed cardinality, algebraic equations |
13 | Bruce "Tog" Tognazzini |
Principles, techniques, and ethics of stage magic and their application to human interface design. |
INTERCHI |
1993 |
DBLP DOI BibTeX RDF |
HCI design, dissimulation, magician, misdirection, time, ethics, response time, characters, anthropomorphism, technique, principle, magic, illusion, theater |
13 | Barry Richards, Yuejun Jiang, H. Choi |
On Interval-based Temporal Planning: An IQ Strategy. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
Qualification Problem, Interval Principle, Collapsing and Stretching/Clipping, Temporal Logics, Planning, Constraint Satisfaction, Points, Actions, Intervals, Maximal, Frame Problem |
13 | Tein-Hsiang Lin, Kang G. Shin |
Location of a Faulty Module in a Computing System. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
faulty module, likelihood principle, fault tolerance, fault tolerant computing, probability, error detection, error propagation, computing system, model parameters |
13 | J. Christopher Westland |
Scaling Up Output Capacity and Performance Results from Information Systems Prototypes. |
ACM Trans. Database Syst. |
1990 |
DBLP DOI BibTeX RDF |
inclusion-exclusion principle |
13 | Shang-Ching Chou, Xiao-Shan Gao |
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
Wu's method, prover, elementary geometry, degenerate conditions, Ritt-Wu's principle, ascending chain, the dimension theorem, Morley's trisector theorem, ideal, mechanical theorem proving, algebraic variety |
13 | Mark H. Overmars, Chee-Keng Yap |
New upper bounds in Klee's measure problem (extended abstract) |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
Klee measure problem, time-space upper bound, Euclidean d-space, inclusion/exclusion principle, trellises, partition, streaming, upper bounds, dimensions |
13 | Hans Jürgen Ohlbach |
A Resolution Calculus for Modal Logics. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
resolution principle, modal logic, unification |
13 | Klaus D. Thalhofer, Karl D. Reinartz |
A Classification of Algorithms which Are Well Suited for Implementations on the DAP as a Basis for Further Research on Parallel Programming. |
CONPAR |
1986 |
DBLP DOI BibTeX RDF |
SIMD-principle, algorithm patterns, recursive doubling, binary decomposition, large scale pipelining, routing, Parallel programming, preprocessors |
13 | Parker R. Blevins, C. V. Ramamoorthy |
Aspects of a Dynamically Adaptive Operating System. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
adaptive operating systems, dynamically partitioned second moment model (DPSMM), General Principle of Locality, predictive scheduling, workload locality pattern (WLP), Adaptive control, statistical models |
11 | Michael Greenacre, Paul Lewi |
Distributional Equivalence and Subcompositional Coherence in the Analysis of Compositional Data, Contingency Tables and Ratio-Scale Measurements. |
J. Classif. |
2009 |
DBLP DOI BibTeX RDF |
Association models, Biplot, Log-ratio analysis, Spectral mapping, Singular value decomposition, Correspondence analysis |
11 | Nicolas Hadjisavvas, Siegfried Schaible |
Pseudomonotone *{_{\ast}} maps and the cutting plane property. |
J. Glob. Optim. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 49J40, 47H04, 65K05 |
11 | Vivienne Waller, Robert B. Johnston |
Making ubiquitous computing available. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Abraham Othman, Tuomas Sandholm |
Better with Byzantine: Manipulation-Optimal Mechanisms. |
SAGT |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup |
Minimizing dependencies within generic classes for faster and smaller programs. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
generalized hoisting, scary assignments and initializations, generics, templates |
11 | Stephen Lee-Urban, Héctor Muñoz-Avila |
Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions. |
ICCBR |
2009 |
DBLP DOI BibTeX RDF |
adaptation, planning, retrieval, cased-based reasoning, trade-offs |
11 | Sumit Nain, Moshe Y. Vardi |
Trace Semantics is Fully Abstract. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Martin Welk, Guy Gilboa, Joachim Weickert |
Theoretical Foundations for Discrete Forward-and-Backward Diffusion Filtering. |
SSVM |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan |
Minimising Decision Tree Size as Combinatorial Optimisation. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Vasileios Karakasis, Andreas Stafylopatis |
Efficient Evolution of Accurate Classification Rules Using a Combination of Gene Expression Programming and Clonal Selection. |
IEEE Trans. Evol. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Marc Denecker, Eugenia Ternovska |
A logic of nonmonotone inductive definitions. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
logic programming, classical logic, Inductive definitions |
11 | Van-Nam Huynh, Yoshiteru Nakamori, Tetsuya Murai |
Decision Analysis with Fuzzy Targets. |
Intelligent Decision Making: An AI-Based Approach |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Vincenzo Auletta, Paolo Penna, Giuseppe Persiano, Carmine Ventre |
Alternatives to Truthfulness Are Hard to Recognize. |
SAGT |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Karim Tabia, Salem Benferhat |
On the Use of Decision Trees as Behavioral Approaches in Intrusion Detection. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Kalyanmoy Deb |
A robust evolutionary framework for multi-objective optimization. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
decision-making, multi-objective optimization, evolutionary optimization, functional decomposition |
11 | Yantao Zheng, Shi-Yong Neo, Tat-Seng Chua, Qi Tian 0002 |
Probabilistic optimized ranking for multimedia semantic concept detection via RVM. |
CIVR |
2008 |
DBLP DOI BibTeX RDF |
high level feature detection, learning to rank, relevance vector machine, video concept detection |
Displaying result #601 - #700 of 12215 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|