|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3723 occurrences of 2166 keywords
|
|
|
|
|
Results
Found 4631 publication records. Showing 4631 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Avishai Mandelbaum, William A. Massey, Martin I. Reiman |
Strong approximations for Markovian service networks.  |
Queueing Syst.  |
1998 |
DBLP DOI BibTeX RDF |
strong approximations, fluid approximations, queues with abandonment, queues with retrials, nonstationary queues, queueing networks, priority queues, diffusion approximations, Jackson networks, multiserver queues |
| 4 | B. K. Tripathy, G. K. Panda |
On Covering Based Approximations of Classifications of Sets.  |
IEA/AIE  |
2009 |
DBLP DOI BibTeX RDF |
approximations of classifications, covering based rough sets and covering based approximations of classifications, Classifications, rough sets |
| 4 | B. K. Tripathy, G. K. Panda |
On some properties of covering based approximations of classifications of sets.  |
Int. Conf. Interaction Sciences  |
2009 |
DBLP DOI BibTeX RDF |
CB - rough sets and CB - approximations of classifications, approximations of classifications, classifications, rough sets |
| 3 | Benoît Gérard, Jean-Pierre Tillich |
On Linear Cryptanalysis with Many Linear Approximations.  |
IMA Int. Conf.  |
2009 |
DBLP DOI BibTeX RDF |
multiple linear approximations, information theory, linear cryptanalysis |
| 3 | Joshua L. Payne, Margaret J. Eppstein |
Parameterizing pair approximations for takeover dynamics.  |
GECCO (Companion)  |
2008 |
DBLP DOI BibTeX RDF |
interaction topologies, pair approximations, saturation dynamics, takeover time analysis, spatial structure |
| 3 | Hiroshi Sakai, Ryuji Ishibashi, Michinori Nakata |
Lower and Upper Approximations of Rules in Non-deterministic Information Systems.  |
RSCTC  |
2008 |
DBLP DOI BibTeX RDF |
Rough sets, Incomplete information, Rule generation, Apriori algorithm, Lower and upper approximations, Non-deterministic information |
| 3 | Yuriy A. Reznik |
On Precision-Redundancy Relation in the Design of Source Coding Algorithms.  |
DCC  |
2008 |
DBLP DOI BibTeX RDF |
information divergence, approximations, entropy, source coding, Diophantine approximations |
| 3 | Michinori Nakata, Hiroshi Sakai |
Lower and Upper Approximations in Data Tables Containing Possibilistic Information.  |
T. Rough Sets  |
2007 |
DBLP DOI BibTeX RDF |
Imprecise value, Correctness criterion, Weighted equivalence class, Rough sets, Lower and upper approximations |
| 3 | Nicholas Kolokotronis, Konstantinos Limniotis, Nicholas Kalouptsidis |
Efficient Computation of the Best Quadratic Approximations of Cubic Boolean Functions.  |
IMA Int. Conf.  |
2007 |
DBLP DOI BibTeX RDF |
second order nonlinearity, low-order approximations, Boolean functions, Reed-Muller codes, covering radius, bent functions |
| 3 | Boris Aronov, Sariel Har-Peled, Micha Sharir |
On approximate halfspace range counting and relative epsilon-approximations.  |
Symposium on Computational Geometry  |
2007 |
DBLP DOI BibTeX RDF |
approximate range queries, epsilon-approximations, partition trees, range spaces, queries, discrepancy, range, VC-dimension, halfspaces |
| 3 | Roberto Santana, Pedro Larrañaga, José Antonio Lozano |
Mixtures of Kikuchi Approximations.  |
ECML  |
2006 |
DBLP DOI BibTeX RDF |
Mixture of distributions, Kikuchi approximations, estimation of distribution algorithms, EM |
| 3 | Michael W. Berry, Shakhina A. Pulatova, G. W. Stewart |
Algorithm 844: Computing sparse reduced-rank approximations to sparse matrices.  |
ACM Trans. Math. Softw.  |
2005 |
DBLP DOI BibTeX RDF |
Gram-Schmidt algorithm, MATLAB, Sparse approximations |
| 3 | Sylvain Maire |
Polynomial approximations of multivariate smooth functions from quasi-random data.  |
Statistics and Computing  |
2004 |
DBLP DOI BibTeX RDF |
iterative Monte Carlo algorithm, quasi-random sequences, numerical integration, polynomial approximations |
| 3 | Alex Biryukov, Christophe De Cannière, Michaël Quisquater |
On Multiple Linear Approximations.  |
CRYPTO  |
2004 |
DBLP DOI BibTeX RDF |
multiple linear approximations, stochastic systems of linear equations, maximum likelihood decoding, key-ranking, AES, DES, Linear cryptanalysis |
| 3 | Lucian Leahu, Carla P. Gomes |
Quality of LP-Based Approximations for Highly Combinatorial Problems.  |
CP  |
2004 |
DBLP DOI BibTeX RDF |
hybrid LP/CSP, approximations, phase transition, search heuristics |
| 3 | YongHoon Kwon, Ben-yu Guo, Ki-Hyun Cha |
Parameter Estimation in Two-Dimensional Space by Mixed Chebyshev-Legendre Approximations.  |
J. Sci. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
Chebyshev-Legendre approximations, spectral accuracy, parameter estimation |
| 3 | Johan Wallén |
Linear Approximations of Addition Modulo 2n.  |
FSE  |
2003 |
DBLP DOI BibTeX RDF |
correlation, linear cryptanalysis, Linear approximations, modular addition |
| 3 | Jean-Michel Muller |
"Partially Rounded" Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods.  |
IEEE Symposium on Computer Arithmetic  |
2003 |
DBLP DOI BibTeX RDF |
elementary and special functions, table-based methods, Computer arithmetic, polynomial approximations |
| 3 | L. M. Ould Mohamed Abdallahi, Camilo La Rota, M. Béguin, Olivier François |
Parameter estimation in a model for multidimensional recording of neuronal data: a Gibbsian approximation approach.  |
Biological Cybernetics  |
2003 |
DBLP DOI BibTeX RDF |
Multidimensional neuronal data, Interacting point processes, Gibbsian approximations, Pseudomaximum likelihood, Mean-field approximations, Auditory cortex |
| 3 | Gianpiero Cattaneo, Davide Ciucci |
A Quantitative Analysis of Preclusivity vs. Similarity Based Rough Approximations.  |
Rough Sets and Current Trends in Computing  |
2002 |
DBLP DOI BibTeX RDF |
Preclusivity spaces, rough approximations, asymmetric accuracy measure |
| 3 | Vladimir M. Chernov |
Diophantine Approximations of Algebraic Irrationalities and Stability Theorems for Polynomial Decision Rules.  |
CAIP  |
2001 |
DBLP DOI BibTeX RDF |
decision rules, Diophantine approximations |
| 3 | Roman Slowinski, Daniel Vanderpooten |
A Generalized Definition of Rough Approximations Based on Similarity.  |
IEEE Trans. Knowl. Data Eng.  |
2000 |
DBLP DOI BibTeX RDF |
Rough sets, ambiguity, similarity relation, lower and upper approximations |
| 3 | Oleg Botchkarev, Stavros Tripakis |
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.  |
HSCC  |
2000 |
DBLP DOI BibTeX RDF |
ellipsoidal approximations, verification, hybrid systems, reachability analysis |
| 3 | B. Venkateshwara Rao, Richard M. Feldman |
Numerical approximations for the steady-state waiting times in a GI/G/1 queue.  |
Queueing Syst.  |
1999 |
DBLP DOI BibTeX RDF |
Gauss-Legendre quadrature, approximations, waiting times, Fredholm integral equations, GI/G/1 queue |
| 3 | Tjavdar Ivanov, Vladimir Maz'ya, Gunther Schmidt 0002 |
Boundary layer approximate approximations and cubature of potentials in domains.  |
Adv. Comput. Math.  |
1999 |
DBLP DOI BibTeX RDF |
volume potentials, semi-analytic cubature formulae, approximate approximations, approximate multi-resolution, 65N38, 65D32, 65D15 |
| 3 | Michael J. Schulte, James E. Stine |
Accurate Function Approximations by Symmetric Table Lookup and Addition.  |
ASAP  |
1997 |
DBLP DOI BibTeX RDF |
multi-operand addition, approximations, computer arithmetic, hardware, error analysis, floating point, table lookup, Elementary functions, Taylor series, symmetric |
| 3 | Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi |
Tearing based automatic abstraction for CTL model checking.  |
ICCAD  |
1996 |
DBLP DOI BibTeX RDF |
ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition |
| 3 | Toshikazu Kimura |
Approximations for multi-server queues: System interpolations.  |
Queueing Syst.  |
1994 |
DBLP DOI BibTeX RDF |
system interpolations, delay probability, approximations, Queues, asymptotic analysis, multi-server, mean waiting time, queue-length distribution |
| 2 | Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven |
Simplifying XML schema: single-type approximations of regular tree languages.  |
PODS  |
2010 |
DBLP DOI BibTeX RDF |
complexity, approximation, xml, xml schema |
| 2 | Punyaslok Purkayastha, John S. Baras |
Convergence results for ant routing algorithms viastochastic approximation.  |
HSCC  |
2010 |
DBLP DOI BibTeX RDF |
ant routing algorithms, stochastic approximations and learning algorithms, queuing networks |
| 2 | Jonatha Anselmi, Yingdong Lu, Mayank Sharma, Mark S. Squillante |
Improved approximations for the Erlang loss model.  |
Queueing Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60G10, 60G35, 90C30, 60K25, 90B15 |
| 2 | Gül Gürkan, Jong-Shi Pang |
Approximations of Nash equilibria.  |
Math. Program.  |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C15, 91A06, 91A15, 90C31, 90C33, 91A10 |
| 2 | Jonatha Anselmi, Yingdong Lu, Mayank Sharma, Mark S. Squillante |
Improved Approximations for Stochastic Loss Networks.  |
SIGMETRICS Performance Evaluation Review  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Pierre-François Marteau, Gildas Ménier |
Speeding up simplification of polygonal curves using nested approximations.  |
Pattern Anal. Appl.  |
2009 |
DBLP DOI BibTeX RDF |
Dynamic programming, Multiresolution, Polygonal approximation |
| 2 | |
Piecewise-Constant Approximations.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Mary Hudachek-Buswell, Catherine Matos, Michael Stewart |
Deblurring with rank-structured inverse approximations.  |
SIGGRAPH Posters  |
2009 |
DBLP DOI BibTeX RDF |
rank-structured matrices, structured matrices, superfast algorithm, deblurring, toeplitz matrices |
| 2 | S. M. Shontz, V. E. Howle, P. D. Hough |
Experience with Approximations in the Trust-Region Parallel Direct Search Algorithm.  |
ICCS  |
2009 |
DBLP DOI BibTeX RDF |
nonlinear programming, parallel optimization, approximation models |
| 2 | Fabio Cuzzolin |
Complexes of Outer Consonant Approximations.  |
ECSQARU  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Robert J. Simmons, Frank Pfenning |
Linear logical approximations.  |
PEPM  |
2009 |
DBLP DOI BibTeX RDF |
bottom-up linear logic programming, abstract interpretation, operational semantics |
| 2 | Jerzy W. Grzymala-Busse, Wojciech Rzasa |
Local Approximations.  |
IDEAL  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Douglas E. Carroll, Adam Meyerson, Brian Tagiku |
Approximations for Aligned Coloring and Spillage Minimization in Interval and Chordal Graphs.  |
APPROX-RANDOM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Stef Graillat, Philippe Trebuchet |
A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system.  |
ISSAC  |
2009 |
DBLP DOI BibTeX RDF |
quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding |
| 2 | Laurent Paquereau, Bjarne E. Helvik |
Revisiting the Auto-Regressive Functions of the Cross-Entropy Ant System.  |
IWSOS  |
2009 |
DBLP DOI BibTeX RDF |
Ant-based optimization, CEAS, linear approximations, Cross-Entropy method |
| 2 | Foad Iravani, Baris Balcioglu |
Approximations for the M/GI/N+GI type call center.  |
Queueing Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60K25, 90B22, 68M20 |
| 2 | Jiheng Zhang, Bert Zwart |
Steady state approximations of limited processor sharing queues in heavy traffic.  |
Queueing Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60K25, 68M07, 90B22, 68M20 |
| 2 | Yan Li, Shalinee Kishore |
Diversity factor-based capacity asymptotic approximations of MRC reception in Rayleigh fading channels.  |
IEEE Transactions on Communications  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniel Benevides da Costa, Michel Daoud Yacoub, José Cândido Silveira Santos Filho |
Highly Accurate Closed-Form Approximations to the Sum of alpha-muVariates and Applications.  |
IEEE Transactions on Wireless Communications  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Bijan Davvaz |
Approximations in n -ary algebraic systems.  |
Soft Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Algebraic system, n-ary semigroup, Rough set, Fuzzy set, Upper approximation, Lower approximation |
| 2 | Dong-U Lee, Ray C. C. Cheung, Wayne Luk, John D. Villasenor |
Hardware Implementation Trade-Offs of Polynomial Approximations and Interpolations.  |
IEEE Trans. Computers  |
2008 |
DBLP DOI BibTeX RDF |
Approximation, Interpolation, VLSI Systems, Algorithms implemented in hardware |
| 2 | Tadej Kotnik |
The prime-counting function and its analytic approximations.  |
Adv. Comput. Math.  |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 11A41, 41A60, 11Y35, 65G99 |
| 2 | Jerzy W. Grzymala-Busse, Wojciech Rzasa |
Local and Global Approximations for Incomplete Data.  |
T. Rough Sets  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Lars Ferm, Per Lötstedt, Andreas Hellander |
A Hierarchy of Approximations of the Master Equation Scaled by a Size Parameter.  |
J. Sci. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Reaction rate equations, Linear noise approximation, Moment equations, Master equation |
| 2 | Jacinto González-Pachón, Carlos Romero |
A method for obtaining transitive approximations of a binary relation.  |
Annals OR  |
2008 |
DBLP DOI BibTeX RDF |
Transitive approximation, Maximal transitive sub-relation, Transitive opening, Transitive closure, Goal programming, Binary relation |
| 2 | Daler N. Rakhmatov |
Energy Budget Approximations for Battery-Powered Systems With a Fixed Schedule of Active Intervals.  |
IEEE Trans. VLSI Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Volkan Cevher, Aswin C. Sankaranarayanan, Rama Chellappa |
Factorized variational approximations for acoustic multi source localization.  |
ICASSP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Tamara Ulrich, Dimo Brockhoff, Eckart Zitzler |
Pattern identification in pareto-set approximations.  |
GECCO  |
2008 |
DBLP DOI BibTeX RDF |
heuristics, decision making, multi-objective optimization, representations |
| 2 | Chien-Chung Chan, Gwo-Hshiung Tzeng |
Computing Approximations of Dominance-Based Rough Sets by Bit-Vector Encodings.  |
RSCTC  |
2008 |
DBLP DOI BibTeX RDF |
Dominance-based rough sets, Multiple criteria decision analysis (MCDA), Rough sets, Approximate reasoning |
| 2 | Ryszard Janicki |
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders.  |
RSCTC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Philipp Reinecke, Katinka Wolter |
Phase-Type Approximations for Message Transmission Times in Web Services Reliable Messaging.  |
SIPEW  |
2008 |
DBLP DOI BibTeX RDF |
WSRM, Modelling, Queueing Model, Phase-Type Distributions, Response Time Analysis, Distribution Fitting |
| 2 | A. Arnal, A. Lluch, Juan Monterde |
Triangular Bézier Approximations to Constant Mean Curvature Surfaces.  |
ICCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Huizhen Yu, Dimitri P. Bertsekas |
New Error Bounds for Approximations from Projected Linear Equations.  |
EWRL  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Armand M. Makowski |
The Binary Bridge Selection Problem: Stochastic Approximations and the Convergence of a Learning Algorithm.  |
ANTS Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Feifei Xu, Yiyu Yao, Duoqian Miao |
Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces.  |
ISMIS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | José Moreira, Cristina Ribeiro, Jean-Marc Saglio, Michel Scholl |
A model of approximations for representing time-varying multidimensional data.  |
ICDE Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniel Benevides da Costa, Michel Daoud Yacoub |
Accurate Closed-Form Approximations to the Sum of Generalized Random Variables and Applications.  |
WCNC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Eckart Zitzler, Joshua D. Knowles, Lothar Thiele |
Quality Assessment of Pareto Set Approximations.  |
Multiobjective Optimization ![In: Multiobjective Optimization, Interactive and Evolutionary Approaches [outcome of Dagstuhl seminars]. , pp. 373-404, 2008, Springer, 978-3-540-88907-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Andreas Frommer, Valeria Simoncini |
Error Bounds for Lanczos Approximations of Rational Functions of Matrices.  |
Numerical Validation in Current Hardware Architectures  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | P. Lopes dos Santos, José A. Ramos, J. L. Martins de Carvalho |
Identification of LPV systems using successive approximations.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Wei-Zhi Wu, Lei Zhou |
Intuitionistic Fuzzy Approximations and Intuitionistic Fuzzy Sigma-Algebras.  |
RSKT  |
2008 |
DBLP DOI BibTeX RDF |
intuitionistic fuzzy rough sets, ??algebras, rough sets, Approximation spaces, intuitionistic fuzzy sets, measurable spaces |
| 2 | Salvatore Greco, Benedetto Matarazzo, Roman Slowinski |
Case-Based Reasoning Using Gradual Rules Induced from Dominance-Based Rough Approximations.  |
RSKT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Nicolas Brisebarre, Sylvain Chevillard, Milos D. Ercegovac, Jean-Michel Muller, Serge Torres |
An efficient method for evaluating polynomial and rational function approximations.  |
ASAP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Paolo Giacomazzi, Gabriella Saddemi |
Bounded-Variance Network Calculus: Computation of Tight Approximations of End-to-End Delay.  |
ICC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Andrzej Czygrinow, Michal Hanckowiak, Wojciech Wawrzyniak |
Fast Distributed Approximations in Planar Graphs.  |
DISC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Christopher Y. Crutchfield, Zoran Dzunic, Jeremy T. Fineman, David R. Karger, Jacob Scott |
Improved approximations for multiprocessor scheduling under uncertainty.  |
SPAA  |
2008 |
DBLP DOI BibTeX RDF |
scheduling under uncertainty, approximation algorithms, multiprocessor scheduling, stochastic scheduling |
| 2 | Gagan Rath, Christine Guillemot, Jean-Jacques Fuchs |
Sparse approximations for joint source-channel coding.  |
MMSP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniele Linaro, Marco Storace |
A method based on a genetic algorithm to find PWL approximations of multivariate nonlinear functions.  |
ISCAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Peter Buchholz |
Product Form Approximations for Communicating Markov Processes.  |
QEST  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ana R. Teixeira, Ana Maria Tomé, Elmar Wolfgang Lang |
Feature Extraction Using Low-Rank Approximations of the Kernel Matrix.  |
ICIAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Vadim G. Timkovsky |
Some Approximations for Shortest Common Nonsubsequences and Supersequences.  |
SPIRE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Guilong Liu, James Kuodo Huang |
An Equivalent Definition of Rough Sets.  |
RSCTC  |
2008 |
DBLP DOI BibTeX RDF |
Composition of relations, Rough sets, Approximations, Characteristic functions, Binary relations |
| 2 | Michinori Nakata, Hiroshi Sakai |
Applying Rough Sets to Information Tables Containing Possibilistic Values.  |
Transactions on Computational Science  |
2008 |
DBLP DOI BibTeX RDF |
Imprecise value, Weighted equivalence class, Rough sets, Missing value, Lower and upper approximations, Possibility distribution |
| 2 | Jinfeng Ni, Chinya V. Ravishankar |
Indexing Spatio-Temporal Trajectories with Efficient Polynomial Approximations.  |
IEEE Trans. Knowl. Data Eng.  |
2007 |
DBLP DOI BibTeX RDF |
Access methods, spatio-temporal databases |
| 2 | Chek Beng Chua |
The Primal-Dual Second-Order Cone Approximations Algorithm for Symmetric Cone Programming.  |
Foundations of Computational Mathematics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Leslaw K. Bieniasz |
A set of compact finite-difference approximations to first and second derivatives, related to the extended Numerov method of Chawla on nonuniform grids.  |
Computing  |
2007 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications 65D05, 65D25, 65L99, 65L10, 65L12 |
| 2 | Thomas Blumensath, Michael E. Davies |
Monte Carlo Methods for Adaptive Sparse Approximations of Time-Series.  |
IEEE Transactions on Signal Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Yiyu Yao |
A Note on Definability and Approximations.  |
T. Rough Sets  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Bernardo Cockburn, Ryuhei Ichikawa |
Adjoint Recovery of Superconvergent Linear Functionals from Galerkin Approximations. The One-dimensional Case.  |
J. Sci. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
post-processing, discontinuous Galerkin methods, Superconvergence |
| 2 | Dimitris Achlioptas, Frank McSherry |
Fast computation of low-rank matrix approximations.  |
J. ACM  |
2007 |
DBLP DOI BibTeX RDF |
sampling, Singular value decomposition, low rank approximation |
| 2 | Pieter Collins |
Optimal Semicomputable Approximations to Reachable and Invariant Sets.  |
Theory Comput. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems.  |
Formal Methods in System Design  |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
| 2 | Jerzy W. Grzymala-Busse, Wojciech Rzasa |
Definability of Approximations for a Generalization of the Indiscernibility Relation.  |
FOCI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Oliver Schütze, Marco Laumanns, Emilia Tantar, Carlos A. Coello Coello, El-Ghazali Talbi |
Convergence of stochastic search algorithms to gap-free pareto front approximations.  |
GECCO  |
2007 |
DBLP DOI BibTeX RDF |
epsilon-dominance, stochastic search algorithms, multi-objective optimization, convergence |
| 2 | Nicolas Oury |
Pattern matching coverage checking with dependent types using set approximations.  |
PLPV  |
2007 |
DBLP DOI BibTeX RDF |
coverage checking, set approximation, pattern matching |
| 2 | Juan M. Estévez-Tapiador, John A. Clark, Julio César Hernández Castro |
Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes.  |
IMA Int. Conf.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Dan Feldman, Amos Fiat, Micha Sharir, Danny Segev |
Bi-criteria linear-time approximations for generalized k-mean/median/center.  |
Symposium on Computational Geometry  |
2007 |
DBLP DOI BibTeX RDF |
bi-criteria approximation, approximation, k-mean, geometric optimization, k-median, k-center |
| 2 | Lijie Liu, Trac D. Tran |
Rate-Distortion Analysis of Multiplierless Lifting-based IDCT Approximations.  |
CISS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Juan M. Estévez-Tapiador, Julio César Hernández Castro, John A. Clark |
Heuristic search for non-linear cryptanalytic approximations.  |
IEEE Congress on Evolutionary Computation  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Akira Takahashi, Yoshitaka Takahashi, Shigeru Kaneda, Noriteru Shinagawa |
Diffusion Approximations for the GI/G/c/K queue.  |
ICCCN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Ming-Wen Shao, Hong-Zhi Yang, Shi-Qing Fan |
Set Approximations in Multi-level Conceptual Data.  |
RSKT  |
2007 |
DBLP DOI BibTeX RDF |
Rough sets, formal concept analysis, concept lattice, upper approximation, lower approximation |
| 2 | Ioannis Z. Koukoutsidis, Vasilios A. Siris |
Modeling Approximations for an IEEE 802.11 WLAN Under Poisson MAC-Level Arrivals.  |
Networking  |
2007 |
DBLP DOI BibTeX RDF |
WLAN, 802.11, mathematical modeling, non-saturation |
Displaying result #1 - #100 of 4631 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|