|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5160 occurrences of 2909 keywords
|
|
|
Results
Found 19925 publication records. Showing 19925 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | King C. Ho, Sarma B. K. Vrudhula |
Interval graph algorithms for two-dimensional multiple folding of array-based VLSI layouts. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Wil M. P. van der Aalst |
Interval Timed Coloured Petri Nets and their Analysis. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Christopher J. Merz, William E. Bond, Daniel C. St. Clair |
Matching Interval-Valued-Argument Propositions in Rule-Based Systems. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Max Michel, Jean-Bernard Stefani |
Interval Logics and Sequential Transducers. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Jing Zhou, Guosun Zeng |
A general data dependence analysis for parallelizing compilers. |
J. Supercomput. |
2008 |
DBLP DOI BibTeX RDF |
Dependence test, Integer interval theory, Nonlinear subscript, Nested loop |
23 | Quan Zhang, WenJia Feng, Dan Shao |
A New Approach to Faculty Evaluation with Uncertain Information. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
Faculty Assessment, superiority possibility, Multiple attribute decision making, Interval Numbers |
23 | Robin Sharp, Michael R. Hansen |
Timed Traces and Strand Spaces. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
verification, real-time, Security protocols, interval logic |
23 | Parvathi Chundi, Daniel J. Rosenkrantz |
Information Preserving Time Decompositions of Time Stamped Documents*. |
Data Min. Knowl. Discov. |
2006 |
DBLP DOI BibTeX RDF |
measure functions, optimal information preserving decomposition, compressed interval decomposition |
23 | Mihály Csaba Markót, Tibor Csendes |
A Reliable Area Reduction Technique for Solving Circle Packing Problems. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
Circle packing, area reduction, computer-assisted proof, interval arithmetic |
23 | Kun Peng, Colin Boyd, Ed Dawson, Eiji Okamoto |
A Novel Range Test. |
ACISP |
2006 |
DBLP DOI BibTeX RDF |
interval range, range test, specialized zero test, correctness, soundness |
23 | WoongChul Choi, YongSuk Lee, Byung Joon Park, Kuk-Hyun Cho |
On Performance Improvement for 802.11-based Multi-hop Ad Hoc Wireless Networks. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
CAI (Collision Avoidance Interval), IEEE 802.11, MAC, Collision, Ad-hoc wireless networks |
23 | Jean-François Condotta |
A General Qualitative Framework for Temporal and Spatial Reasoning. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
temporal and spatial qualitative reasoning, preconvexity, complexity, constraint networks, interval algebra, generalized intervals |
23 | Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith 0001 |
Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums. |
COCOS |
2003 |
DBLP DOI BibTeX RDF |
Pronys method, redundant constraint, Parameter estimation, interval arithmetic, constraint propagation, exponential sum |
23 | Edith Cohen, Haim Kaplan |
Exploiting Regularities in Web Traffic Patterns for Cache Replacement. |
Algorithmica |
2002 |
DBLP DOI BibTeX RDF |
Varying page sizes and fetching costs, Predictable load, Inter-request time distribution, Caching, Interval caching |
23 | Zygmunt A. Garczarczyk |
Parallel Schemes of Computation for Bernstein Coefficients and Their Application. |
PARELEC |
2002 |
DBLP DOI BibTeX RDF |
nonlinear algebraic equations, interval analysis techniques, range evaluations, Bernstein polynomials |
23 | Lynne Baur |
Cardinal Functions on Initial Chain Algebras on Pseudotrees. |
Order |
2000 |
DBLP DOI BibTeX RDF |
cardinal function, cardinal invariant, initial chain algebra, interval algebra |
23 | Xiaoye Jiang, Prasant Mohapatra |
Efficient Admission Control Algorithms for Multimedia Servers. |
Multim. Syst. |
1999 |
DBLP DOI BibTeX RDF |
Future-Max algorithm, Interval estimation algorithm, Quality of service, Admission control, Multimedia storage server |
23 | Koichi Munakata, Masatoshi Yoshikawa, Shunsuke Uemura |
On Synchronous Properties of Periodically Generated Data Sequences. |
DANTE |
1999 |
DBLP DOI BibTeX RDF |
periodic interval, real time, synchronousness, query processing, upper bound |
23 | Kazuhiro Sato, Shuhei Takimoto |
Evaluating Performance of High-Speed and Long Distance Communications on HIPPI-ATM Networks. |
LCN |
1996 |
DBLP DOI BibTeX RDF |
high-speed communications, long distance communications, HIPPI-ATM networks, flow-control performance, HIPPI-ATM conversion system, ANSI, transmission distance, new-credit sending interval, HIPPI interface, ATM interface, transfer performance, protocol-sequence diagram, return path traffic, 622 Mbit/s, 800 Mbit/s, performance evaluation, local area networks, simulation results, transmission delay |
23 | Norman F. Schneidewind |
Software Reliability Model with Optimal Selection of Failure Data. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
failure data, failure counts, data aging techniques, Schneidewind nonhomogeneous Poisson process, failure count interval index, data vectors, constant variance, US Space Shuttle on-board software, NHPP software reliability, space vehicles, software reliability, maximum likelihood estimation, aerospace computing, software reliability model, mean square error, exponential smoothing, weighted least squares, moving average |
23 | Michael R. Hansen, Zhou Chaochen |
Semantics and Completeness of Duration Calculus. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic |
23 | Harry Joe |
Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
general-order-statistics, nonhomogeneous-Poisson-process software reliability models, asymptotic likelihood inference, asymptotic confidence levels, interval estimates, conditional failure rate, debugging, software reliability, statistical analysis, inference mechanisms, statistical inference |
22 | Paluri S. V. Nataraj, Suresh Srivastava |
Synthesis of Robustly Stabilizing General Order Compensators for Interval Plants Using Interval Analysis. |
Reliab. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Gregory G. Menshikov |
Intersection Subdistributivity and Interval Hull Superdistributivity with Respect to the Interval Maps. |
Reliab. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Alejandro E. Brito, Olga Kosheleva |
Interval + Image = Wavelet: For Image Processing under Interval Uncertainty, Wavelets Are Optimal. |
Reliab. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Zenon Kulpa |
Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations. |
Reliab. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
21 | John Y. Chiang, Shuenn-Ren Cheng, Yen-Ren Huang |
Multiple-instance image database retrieval by spatial similarity based on Interval Neighbor Group. |
CIVR |
2010 |
DBLP DOI BibTeX RDF |
interval neighbor group (ING), retrieval by spatial similarity (RSS), content-based image retrieval (CBIR), multiple-instance learning |
21 | Christian Jansson |
Interval Linear Systems. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Optimization, Interval arithmetic, Linear systems of equations |
21 | R. Baker Kearfott |
Interval Fixed Point Theory. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Automatic result verification, Global optimization, Interval computations, Fixed point iteration |
21 | Jimmy Leblet, Jean-Xavier Rampon |
Inductive Characterizations of Finite Interval Orders and Semiorders. |
Order |
2009 |
DBLP DOI BibTeX RDF |
Finite order, Decomposition, Characterization, Partially ordered sets, Interval order, Inductive definition, Antichain, Semiorder |
21 | Vladimir Mikhailovich Shishkin, Sergey Vitalievich Savkov |
The method of interval estimation in risk-analysis system. |
SIN |
2009 |
DBLP DOI BibTeX RDF |
dispersion of estimation, inaccuracy, uncertainty, probabilistic model, interval analysis, risk estimation |
21 | Qiufeng Cai, Jianjiang Yu |
Further Stability Analysis for Neural Networks with Time-Varying Interval Delay. |
ISNN (1) |
2009 |
DBLP DOI BibTeX RDF |
Lyapunov-Krasovskii functional, Delay-dependent, Time-varying interval delay, Neural networks (NNs) |
21 | Chia-Hui Huang, Han-Ying Kao |
Interval Regression Analysis with Soft-Margin Reduced Support Vector Machine. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
Interval regression analysis, reduced support vector machine, soft margin |
21 | Daniel Le Berre, Pierre Marquis, Meltem Öztürk |
Aggregating Interval Orders by Propositional Optimization. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
preference modelling and aggregation, propositional reasoning, Boolean optimization, Interval orders |
21 | Vimal Singh |
Improved Global Robust Stability for Interval-Delayed Hopfield Neural Networks. |
Neural Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
Neural networks, Hopfield neural networks, Robust stability, Interval neural networks, Equilibrium analysis |
21 | Chandra Sekhar Pedamallu, Linet Özdamar, Tibor Csendes, Tamás Vinkó |
Efficient interval partitioning for constrained global optimization. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Constrained global optimization, Interval partitioning, Adaptive search tree management, Subdivision direction selection rules, Parsing |
21 | Frédéric Goualard, Christophe Jermann |
A Reinforcement Learning Approach to Interval Constraint Propagation. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Interval propagation, Reinforcement learning, Numerical constraints |
21 | Eva Dyllong |
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
Reliable solid modeling, interval arithmetic, hierarchical data structure |
21 | Ulrich W. Kulisch |
Complete Interval Arithmetic and Its Implementation on the Computer. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic |
21 | Fábio Rodrigues de la Rocha, Rômulo Silva de Oliveira |
Strategies for QoS improvement on the time-interval scheduling. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
time-interval scheduling, QoS, real-time |
21 | Fang Liu 0011, Shaohua Zhu, Yuxiao Fu, Fan Fan, Tianjiang Wang, Songfeng Lu |
Image Analysis of the Relationship between Changes of Cornea and Postmortem Interval. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
cornea, postmortem interval, death time, image analysis |
21 | Ángela Blanco-Fernández, Norberto Corral, Gil González-Rodríguez, María Asunción Lubiano |
Some Properties of the dK-Variance for Interval-Valued Random Sets. |
SMPS |
2008 |
DBLP DOI BibTeX RDF |
Random interval, d K -Metric, Estimation, Variance |
21 | Patrick Baier, Bartlomiej Bosek, Piotr Micek |
On-line Chain Partitioning of Up-growing Interval Orders. |
Order |
2007 |
DBLP DOI BibTeX RDF |
Chain partitioning, On-line, Interval order |
21 | Hiroshi Sekigawa, Kiyoshi Shirayanagi |
On the Location of Pseudozeros of a Complex Interval Polynomial. |
Math. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
Interval polynomial, polynomial, convex set, zero |
21 | Hongmei Ju, Xuehai Yuan |
Similarity Measures on Interval-Valued Fuzzy Sets and Application to Pattern Recognitions. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
pattern recognition, similarity measures, Interval-valued fuzzy sets |
21 | Alfredo Candia-Véjar, Eduardo Álvarez-Miranda |
On a Class of Interval Data Minmax Regret CO Problems. |
OR |
2007 |
DBLP DOI BibTeX RDF |
minmax regret, Approximation algorithm, interval data |
21 | Hiroshi Sekigawa |
On real factors of real interval polynomials. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
interval polynomial, factor, divisibility, polytope |
21 | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai |
Reply to Comments on "An Interval Logic for Real-Time System Specification'. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
TILCO, conciseness, temporal logic, Formal language, interval temporal logic |
21 | Rong-Qing Jia, Song-Tao Liu |
Wavelet bases of Hermite cubic splines on the interval. |
Adv. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
wavelets on the interval, Hermite cubic splines, numerical solutions of differential equations |
21 | Chuntao Liu, Zhihang Lin |
Product Robust Design with a Mixture of Random and Interval Factors. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
random factors, interval factors, Support Vector Regression, robust design, Response Surface Methodology, percentile |
21 | Íñigo Ugarte, Pablo Sanchez |
Verification of Embedded Systems Based on Interval Analysis. |
Int. J. Parallel Program. |
2005 |
DBLP DOI BibTeX RDF |
Embedded system verification, design for verification, interval analysis, assertion-based verification |
21 | Roberto Montemanni, Luca Maria Gambardella |
The robust shortest path problem with interval data via Benders decomposition. |
4OR |
2005 |
DBLP DOI BibTeX RDF |
robust optimization, Shortest path problem, Benders decomposition, interval data |
21 | Ming-Hui Jin, Cheng-Yan Kao, Yu-Cheng Huang, D. Frank Hsu, Ren-Guey Lee, Chih-Kung Lee |
Compact genetic algorithm for active interval scheduling in hierarchical sensor networks. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
active interval scheduling problem, sensor network |
21 | Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie |
Interval constraint solving for camera control and motion planning. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
inner approximation, interval constraint, universal quantifier, Camera control |
21 | Changyin Sun, Chun-Bo Feng |
On Robust Exponential Periodicity of Interval Neural Networks with Delays. |
Neural Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
exponential stability, periodic solution, activation function, interval neural networks |
21 | Haibin Lu, Sartaj Sahni |
Enhanced Interval Trees for Dynamic IP Router-Tables. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
Interval trees, router tables, highest-priority matching, dynamic rule-tables, rule insertion and deletion, packet classification, packet routing, longest-prefix matching |
21 | Javier Hormigo, Julio Villalba, Emilio L. Zapata |
CORDIC Processor for Variable-Precision Interval Arithmetic. |
J. VLSI Signal Process. |
2004 |
DBLP DOI BibTeX RDF |
interval arithmetic, CORDIC, reliable computing, variable precision |
21 | Hiroyuki Miyazawa, Thomas Erlebach |
An Improved Randomized On-Line Algorithm for a Weighted Interval Selection Problem. |
J. Sched. |
2004 |
DBLP DOI BibTeX RDF |
interval scheduling, lower bound, randomized algorithm, competitive analysis, upper bound, on-line algorithm |
21 | Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu |
Interval query indexing for efficient stream processing. |
CIKM |
2004 |
DBLP DOI BibTeX RDF |
interval indexing, query monitoring, data streams, continual queries, query indexing |
21 | Huaying Xu, Matthew J. Barth |
A transmission-interval and power-level modulation methodology for optimizing inter-vehicle communications. |
Vehicular Ad Hoc Networks |
2004 |
DBLP DOI BibTeX RDF |
LOS, power modulation, self-organizing traffic information system, transmission interval, inter-vehicle communications |
21 | Like Zhuang, Zhongbao Kou, Changshui Zhang |
Session Identification Based on Time Interval in Web Log Mining. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
session identification, Web log mining, time interval |
21 | Robert Fenk, Volker Markl, Rudolf Bayer |
Interval Processing with the UB-Tree. |
IDEAS |
2002 |
DBLP DOI BibTeX RDF |
interval management, intersection query, parameter space, UB-Tree |
21 | |
The COPRIN Project: Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis. |
COCOS |
2002 |
DBLP DOI BibTeX RDF |
parametric polynomial, eigenvalues, interval analysis |
21 | Riccardo Mattolini, Paolo Nesi |
An Interval Logic for Real-Time System Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic |
21 | Michael J. Schulte, Earl E. Swartzlander Jr. |
A Family of Variable-Precision Interval Arithmetic Processors. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
variable-precision arithmetic, computer arithmetic, accuracy, Processors, interval arithmetic, hardware designs, roundoff error |
21 | Juan J. Flores |
Complex fans: a representation for vectors in polar form with interval attributes. |
ACM Trans. Math. Softw. |
1999 |
DBLP DOI BibTeX RDF |
complex fans, abstract data type, qualitative reasoning, interval computation, complex numbers |
21 | Haim Kaplan, Ron Shamir |
Bounded Degree Interval Sandwich Problems. |
Algorithmica |
1999 |
DBLP DOI BibTeX RDF |
Parametrized complexity, Computational biology, Interval graphs, Design and analysis of algorithms |
21 | Paolo Cignoni, Paola Marino, Claudio Montani, Enrico Puppo, Roberto Scopigno |
Speeding Up Isosurface Extraction Using Interval Trees. |
IEEE Trans. Vis. Comput. Graph. |
1997 |
DBLP DOI BibTeX RDF |
interval tree, Volume visualization, marching cubes, isosurface extraction |
21 | Phan Hong Giang |
Representation of Uncertain Belief Using Interval Probability. |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set |
21 | R. Baker Kearfott |
Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type. |
ACM Trans. Math. Softw. |
1996 |
DBLP DOI BibTeX RDF |
operator overloading, portability, interval arithmetic, Fortran 90 |
21 | Bernhard Nebel, Hans-Jürgen Bürckert |
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
constraint satisfaction, temporal reasoning, qualitative reasoning, interval algebra |
21 | Ralph Baker Kearfott, Milind Dawande, Kaisheng Du, Chenyi Hu |
Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library. |
ACM Trans. Math. Softw. |
1994 |
DBLP DOI BibTeX RDF |
operator overloading, standard functions, interval arithmetic, Fortran 77, FORTRAN 77, Fortran 90, BLAS |
21 | Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna |
A Graphical Interval Logic for Specifying Concurrent Systems. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
automated proof-checking, graphical interval logic, formal specifications, temporal logic, visual languages, concurrent systems, timing diagrams |
21 | C. Pandu Rangan, Maw-Shang Chang |
Weighted Irredundance of Interval Graphs. |
ISAAC |
1994 |
DBLP DOI BibTeX RDF |
irredundant set, interval graphs, circular-arc graphs |
21 | Gérard Berthelot, Hanifa Boucheneb |
Occurrence Graphs for Interval Timed Coloured Nets. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
interval timed coloured Petri nets, occurrence graph |
21 | Nozer D. Singpurwalla |
Determining an Optimal Time Interval for Testing and Debugging Software. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
optimal time interval, single-state testing, software testing, uncertainty, decision-making, software reliability, program testing, probabilistic models, decision theory, decision theory, costs, programming theory, program debugging, utility function, optimization problem, software failure, software debugging, expected utility, maximization |
21 | Lyle B. Smith |
Interval arithmetic determinant evaluation and its use in testing for a Chebyshev system. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
Chebyshev system, determinant evaluation, mathematical proof by computer, range arithmetic, interval arithmetic, error bounds |
21 | Yihua Lan, Hong Liu 0005, Enmin Song, Chih-Cheng Hung |
An improved K-view algorithm for image texture classification using new characteristic views selection methods. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
k-view-datagram algorithm, k-view-template algorithm, texture classification, characteristic view |
21 | Kitty K. Y. Wong, Peter J. McLane |
Reduced-complexity equalization techniques for ISI and MIMO wireless channels in iterative decoding. |
IEEE J. Sel. Areas Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Oscar Castillo 0001, Patricia Melin |
Computational intelligence software: Type-2 Fuzzy Logic and Modular Neural Networks. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Max J. Egenhofer |
Temporal Relations of Intervals with a Gap. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Yumiko Kimura, Daishi Watabe, Hideyashu Sai, Osamu Nakamura |
New Threshold Setting Method for the Extraction of Facial Areas and the Recognition of Facial Expressions. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Iwona Skalna |
Evolutionary Optimization Method for Approximating the Solution Set Hull of Parametric Linear Systems. |
Numerical Methods and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Michael H. Böhlen, Johann Gamper, Christian S. Jensen |
Multi-dimensional Aggregation for Temporal Data. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Davide Bresolin, Angelo Montanari |
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jun-Bae Seo, Seung-Que Lee, Nam-Hoon Park, Hyong-Woo Lee, Choong-Ho Cho |
Performance analysis of sleep mode operation in IEEE 802.16e. |
VTC Fall (2) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Reuven Bar-Yehuda, Magnús M. Halldórsson, Joseph Naor, Hadas Shachnai, Irina Shapira |
Scheduling split intervals. |
SODA |
2002 |
DBLP BibTeX RDF |
|
21 | Josep Vehí, José Rodellar, Miguel Ángel Sainz, Joaquim Armengol |
Analysis of the Robustness of Predictive Controllers via Modal Intervals. |
Reliab. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Maria de los A. Irizarry, Michael E. Kuhl, Emily K. Lada, Sriram Subramanian, James R. Wilson |
Analyzing transformation-based simulation metamodels. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Itsuo Takanami, Masaru Sato, Yun Ping Yang |
A Fault-Value Injection Approach for Multiple-Weight-Fault Tolerance of MNNs. |
IJCNN (3) |
2000 |
DBLP DOI BibTeX RDF |
multi-layered neural network, weight fault, fault-tolerance, fault injection |
21 | René J. van der Vleuten |
New Methods for Multiplication-Free Arithmetic Coding. |
Data Compression Conference |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Jürgen Ruf, Thomas Kropf |
Modleing and Checking Networks of Communicating Real-Time Process. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Bo Wen Fang, Jin Ke Wu |
On interval fuzzy implications derived from interval additive generators of interval t-norms. |
Int. J. Approx. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xinlei Qi, Huihui Li, Weizhong Tian, Yaoting Yang |
Confidence Interval, Prediction Interval and Tolerance Interval for the Skew Normal Distribution: A Pivotal Approach. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Arian Hafezalkotob, Ashkan Hafezalkotob, Huchang Liao, Francisco Herrera |
Interval MULTIMOORA Method Integrating Interval Borda Rule and Interval Best-Worst-Method-Based Weighting Model: Case Study on Hybrid Vehicle Engine Selection. |
IEEE Trans. Cybern. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Zdenko Takác, Maria Minárová, Javier Montero, Edurne Barrenechea, Javier Fernández 0002, Humberto Bustince |
Interval-valued fuzzy strong S-subsethood measures, interval-entropy and P-interval-entropy. |
Inf. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Benjamín R. C. Bedregal, Humberto Bustince, Eduardo Silva Palmeira, Graçaliz Pereira Dimuro, Javier Fernández 0002 |
Generalized interval-valued OWA operators with interval weights derived from interval-valued overlap functions. |
Int. J. Approx. Reason. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Junsheng Qiao, Bao Qing Hu |
On interval additive generators of interval overlap functions and interval grouping functions. |
Fuzzy Sets Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Benjamín R. C. Bedregal, Humberto Bustince, Eduardo Silva Palmeira, Graçaliz Pereira Dimuro, Javier Fernández 0002 |
Generalized Interval-valued OWA Operators with Interval Weights Derived from Interval-valued Overlap Functions. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
20 | Heriberto Román-Flores, Yurilev Chalco-Cano |
Transitivity of interval and fuzzy-interval extensions of interval functions. |
IFSA-EUSFLAT |
2015 |
DBLP BibTeX RDF |
|
Displaying result #501 - #600 of 19925 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|