Search results for "interval"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Ramon E. Moore	Interval Analysis: Differential Equations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Differential equation, Interval analysis
17	Ramon E. Moore	Interval Analysis: Systems of Nonlinear Equations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Interval Newton operator, Nonlinear equations
17	Mark A. Stadtherr	Interval Analysis: Application to Chemical Engineering Design Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Process synthesis, Process optimization, Interval analysis, Process simulation, Process design
17	Helmut Ratschek, Jon G. Rokne	Interval Global Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Unbounded optimization, Global optimization, Nonsmooth optimization, Interval methods
17	James B. Walters, George F. Corliss	Automatic Differentiation: Point and Interval Taylor Operators.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Code list, Overloaded operator, Interval arithmetic, Automatic differentiation, Taylor series
17	Leah Epstein, Thomas Erlebach, Asaf Levin	Variable Sized Online Interval Coloring with Bandwidth.	Algorithmica	2009	DBLP DOI BibTeX RDF	Interval coloring, Approximation algorithm, Lower bound, Competitive analysis
17	Dongjing Pan	A New Method for Fuzzy Multiple Attribute Decision Making Based on Interval Numbers.	IFITA (3)	2009	DBLP DOI BibTeX RDF	ideal point, closeness degree, multiple attribute decision making, interval number
17	Qiansheng Zhang, Bi Li 0003	A Weighted Interval-Valued Fuzzy Decision Method Based on OWA Operator.	FSKD (6)	2009	DBLP DOI BibTeX RDF	similarity measure, fuzzy reasoning, fuzzy decision, OWA operator, Interval-valued fuzzy set
17	André Trudel	Interval Algebra Networks with Infinite Intervals.	TIME	2009	DBLP DOI BibTeX RDF	Interval algebra networks, infinite temporal intervals, Allen's logic, temporal reasoning
17	André Luis Santiago Maia, Francisco de A. T. de Carvalho	Neural Networks and Exponential Smoothing Models for Symbolic Interval Time Series Processing - Applications in Stock Market.	HIS	2008	DBLP DOI BibTeX RDF	Interval-Valued Data, Exponential Smoothing Models, Stock Market, Time Series Forecasting, Symbolic Data Analysis
17	Jean-Paul Berrut	A formula for the error of finite sinc-interpolation over a finite interval.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Sinc-interpolation, Infinitely differentiable approximation scheme, Equidistant interpolation on the interval, Error formula
17	Van-Nam Huynh, Vladik Kreinovich, Yoshiteru Nakamori, Hung T. Nguyen 0002	Towards Efficient Prediction of Decisions under Interval Uncertainty.	PPAM	2007	DBLP DOI BibTeX RDF	interval uncertainty, decision making
17	Takis Sakkalis, Thomas J. Peters	Ambient isotopic approximations for surface reconstruction and interval solids.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	ambient isotopy, interval solids, offsets and deformations, reverse engineering, surface reconstruction, computational topology
17	Mahmoud Al-Omari, Mohammed Mahafzah	Fault-Tolerant Routing in Hypercubes Using Masked Interval Routing Scheme.	SAC	1999	DBLP DOI BibTeX RDF	interval routing scheme, fault tolerance, hypercube, distributed network, MIRS
17	Neil Pollard, David May 0001	Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets.	ACM Multimedia	1998	DBLP DOI BibTeX RDF	packed arithmmetic, multimedia, compiler, interval arithmetic, fixed point
17	Nikos A. Lorentzos, Yannis G. Mitsopoulos	SQL Extension for Interval Data.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	query language, Data model, spatial data, temporal data, interval data
17	Weiqi Xiao, Yucai Feng	Spatial index based on multiple interval segments.	SAC	1997	DBLP DOI BibTeX RDF	interval segments, spatial database, spatial index
17	Adam A. Porter, Harvey P. Siy, Lawrence G. Votta	Understanding the Effects of Developer Activities on Inspection Interval.	ICSE	1997	DBLP DOI BibTeX RDF	interval reduction, empirical studies, statistical modeling, queueing, software inspection
17	Ulrich Faigle, Renate Garbe, Walter Kern	Randomized Online Algorithms for Maximizing Busy Time Interval Scheduling.	Computing	1996	DBLP DOI BibTeX RDF	busy time, Probabilistic algorithm, interval, online scheduling
17	R. Baker Kearfott	Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers.	Computing	1996	DBLP DOI BibTeX RDF	Interval extensions, minimax approximation, l 1 approximation, global optimization, nonsmooth optimization, nonlinear systems of equations
17	Lars Arge, Jeffrey Scott Vitter	Optimal Dynamic Interval Management in External Memory (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	optimal dynamic interval management, space-optimal external-memory data structure, I/O-optimal external-memory data structure, stabbing query answering, dynamically maintained intervals, I/O algorithms, 2D range searching, optimal linear space, optimal I/O query bound, optimal I/O update bound, worst-case update bounds, balancing technique, worst-case balanced tree manipulation, databases, object-oriented databases, temporal databases, storage management, constraint logic programming, external memory
17	Michel Renovell, P. Huc, Yves Bertrand	The concept of resistance interval: a new parametric model for realistic resistive bridging fault.	VTS	1995	DBLP DOI BibTeX RDF	electric resistance, resistance interval, intrinsic resistance, logic behavior, 0 to 500 ohm, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, fault detection, automatic testing, fault coverage, bridging faults, parametric model, logic gates, logic gates, resistive bridging fault, faulty behavior
17	Haim Kaplan, Ron Shamir, Robert Endre Tarjan	Tractability of parameterized completion problems on chordal and interval graphs: Minimum Fill-in and Physical Mapping	FOCS	1994	DBLP DOI BibTeX RDF	added edges, parameterized completion problems, minimum fill-in, NP-Hard graph completion problem, interval graphs, parameterized complexity, tractability, vertex coloring, physical mapping
17	John M. Snyder	Interval analysis for computer graphics.	SIGGRAPH	1992	DBLP DOI BibTeX RDF	constraint solution, inclusion function, approximation, interval analysis, implicit curve, constrained minimization
17	Fabian Kuhn, Nancy A. Lynch, Rotem Oshman	Distributed computation in dynamic networks.	STOC	2010	DBLP DOI BibTeX RDF	distributed algorithms, dynamic networks
17	Erik D. Demaine, Morteza Zadimoghaddam	Scheduling to minimize power consumption using submodular functions.	SPAA	2010	DBLP DOI BibTeX RDF	pre-emptive scheduling, sleep state, approximation algorithms, multiprocessor scheduling
17	John T. Rickard, Janet Aisbett, Greg Gibbon	Fuzzy Subsethood for Fuzzy Sets of Type-2 and Generalized Type- n.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
17	Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Hadas Shachnai, Mordechai Shalom, Tami Tamir, Shmuel Zaks	Minimizing total busy time in parallel scheduling with application to optical networks.	IPDPS	2009	DBLP DOI BibTeX RDF
17	Joachim Haß, Stefan Blaschke, Thomas Rammsayer, J. Michael Herrmann	A neurocomputational model for optimal temporal processing.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Representation of time, Synaptic competition, STDP, Timing errors, Synfire chains
17	Eun-Sun Jung, Nitin H. Vaidya	Improving IEEE 802.11 power saving mechanism.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Dynamic ATIM window, Wireless network, Medium access control, Power saving mode
17	Chin-Tzong Pang, Yung-Yih Lur	Onthe Stability of Takagi-Sugeno Fuzzy Systems With Time-Varying Uncertainties.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
17	Andreas Eggers, Martin Fränzle, Christian Herde	SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.	ATVA	2008	DBLP DOI BibTeX RDF
17	Mugen Peng, Wenbo Wang 0007	An Adaptive Energy Saving Mechanism in the Wireless Packet Access Network.	WCNC	2008	DBLP DOI BibTeX RDF
17	Santanu Kapat, Amit Patra, Soumitro Banerjee	A novel current controlled tri-state boost converter with superior dynamic performance.	ISCAS	2008	DBLP DOI BibTeX RDF
17	Min Chih Lin, Francisco J. Soulignac, Jayme Luiz Szwarcfiter	A Simple Linear Time Algorithm for the Isomorphism Problem on Proper Circular-Arc Graphs.	SWAT	2008	DBLP DOI BibTeX RDF	proper circular-arc graphs, proper circular-arc canonization, isomorphism problems
17	Adrian Dumitrescu, Ichiro Suzuki, Pawel Zylinski	Offline variants of the "lion and man" problem.	SCG	2007	DBLP DOI BibTeX RDF	lion and man problem, measuring crowdedness, safe path planning, survival problem
17	Daniel Meister 0001	A Characterisation of the Minimal Triangulations of Permutation Graphs.	WG	2007	DBLP DOI BibTeX RDF
17	Xia Chen, Zhi-Ping Fan, Li-Hong Ma	A Methodof Ranking in Group Decision Making Based on Ordinal Preference Information.	FSKD (1)	2007	DBLP DOI BibTeX RDF
17	Vesselin Tzvetkov	Fast detection of disconnection using adaptive Fuzzy Logic.	ICNSC	2007	DBLP DOI BibTeX RDF
17	Vesselin Tzvetkov	Optimization of update intervals in Dead-Peer-Detection using adaptive Fuzzy Logic.	AINA	2007	DBLP DOI BibTeX RDF
17	Steffen Kempe, Jochen Hipp, Rudolf Kruse	FSMTree: An Efficient Algorithm for Mining Frequent Temporal Patterns.	GfKl	2007	DBLP DOI BibTeX RDF
17	John Regehr, Usit Duongsaa	Deriving abstract transfer functions for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, embedded software, transfer functions
17	Steffen Kempe, Jochen Hipp	Mining Sequences of Temporal Intervals.	PKDD	2006	DBLP DOI BibTeX RDF
17	Zining Cao	Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents.	MICAI	2006	DBLP DOI BibTeX RDF
17	Zining Cao	Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	knowledge logic, model checking, cooperation, Real-time temporal logic
17	Daisuke Yamaguchi, GuoDong Li, Masatake Nagai	On the Combination of Rough Set Theory and Grey Theory Based on Grey Lattice Operations.	RSCTC	2006	DBLP DOI BibTeX RDF
17	Kamal Lodaya, Paritosh K. Pandya	A Dose of Timed Logic, in Guarded Measure.	FORMATS	2006	DBLP DOI BibTeX RDF
17	Wei-Shen Wang, Vladik Kreinovich, Michael Orshansky	Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty.	DAC	2006	DBLP DOI BibTeX RDF
17	Syed Ali Jafar, Andrea J. Goldsmith	Multiple-antenna capacity in correlated Rayleigh fading with channel covariance information.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
17	Hairong Sun, Dong Tang, Robert B. Wood	Optimizing Service Strategy for Systems with Deferred Repair.	PRDC	2005	DBLP DOI BibTeX RDF
17	Michael T. Todinov	Reliability governed by the relative locations of random variables following a homogeneous Poisson Process in a finite domain.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
17	Luca Faes, Alberto Porta, R. Cucino, Sergio Cerutti, Renzo Antolini, Giandomenico Nollo	Causal transfer function analysis to describe closed loop interactions between cardiovascular and cardiorespiratory variability signals.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF	Linear transfer function, Cardiovascular control, Coherence
17	Hans-Peter Kriegel, Martin Pfeifle, Marco Pötke, Thomas Seidl 0001	A Cost Model for Spatial Intersection Queries on RI-Trees.	DASFAA	2004	DBLP DOI BibTeX RDF
17	Yoon-Seok Choi, Byung Ro Moon	Genetic Fuzzy Discretization for Classification Problems.	GECCO (2)	2004	DBLP DOI BibTeX RDF
17	Hye-Jung Lee, Won-Hwan Park, Doo-Soon Park	An Efficient Method for Quantitative Association Rules to Raise Reliance of Data.	APWeb	2004	DBLP DOI BibTeX RDF
17	Errin W. Fulp, Douglas S. Reeves	The Economic Impact of Network Pricing Intervals.	QofIS	2002	DBLP DOI BibTeX RDF
17	Boleslaw K. Szymanski, Adnan Saifee, Anand Sastry 0001, Yu Liu, Kiran Madnani	Genesis: a system for large-scale parallel network simulation.	PADS	2002	DBLP DOI BibTeX RDF	Simulation, Scalable, Network, Parallel, Synchronization, Partition, Domain
17	Wenyu Jiang, Henning Schulzrinne	Comparison and optimization of packet loss repair methods on VoIP perceived quality under bursty loss.	NOSSDAV	2002	DBLP DOI BibTeX RDF	bursty loss, low bit-rate redundancy, perceived quality, VoIP, forward error correction, MOS, mean opinion score
17	Itsuo Takanami, Yasuhiro Oyama	An Extreme Value Injection Approach with Reduced Learning Time to Make MLNs Multiple-Weight-Fault Tolerant.	PRDC	2002	DBLP DOI BibTeX RDF
17	Peter C. Fishburn, James A. Reeds	Counting Split Semiorders.	Order	2001	DBLP DOI BibTeX RDF	forbidden posets, split semiorder, partial order, semiorder
17	Pavel V. Sevastjanov, Pawel Róg, Andrey V. Venberg	A Constructive Numerical Method for the Comparison of Intervals.	PPAM	2001	DBLP DOI BibTeX RDF
17	Adam A. Porter, Harvey P. Siy, Audris Mockus, Lawrence G. Votta	Understanding the Sources of Variation in Software Inspections.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	empirical studies, software process, statistical models, software inspection
17	Zhou Chaochen	Duration Calculus, a Logical Approach to Real-Time Systems.	AMAST	1998	DBLP DOI BibTeX RDF
17	Volker Stahl	Error Reduction of the Taylor Centered Form by Half and an Inner Estimation of the Range.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
17	Baining Guo	A Multiscale Model for Structure-Based Volume Rendering.	IEEE Trans. Vis. Comput. Graph.	1995	DBLP DOI BibTeX RDF	Scalar volume rendering, wavelet transforms, data compression, interactive techniques, multiresolution representation, ?-shapes, visibility sorting
17	Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui	Model-Checking for Real-Time Systems Specified in Lotos.	CAV	1992	DBLP DOI BibTeX RDF
17	Angelika Zobel	Program structure as basis for parallelizing global register allocation.	ICCL	1992	DBLP DOI BibTeX RDF
17	Ashraful A. Chowdhury, C. Van Nelson, Clinton P. Fuelling, Roy L. McCormick	Predicting success of a beginning computer course using logistic regression (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
17	Helmut Ratschek	Über einige intervallarithmetische Grundbegriffe.	Computing	1969	DBLP DOI BibTeX RDF
17	E. A. Flinn	A Modification of Filon's Method of Numerical Integration.	J. ACM	1960	DBLP DOI BibTeX RDF
15	Tuan-Che Chen, Jyh-Cheng Chen, Ying-Yu Chen	Maximizing Unavailability Interval for Energy Saving in IEEE 802.16e Wireless MANs.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
15	Faa-Jeng Lin, Po-Huan Chou, Po-Huang Shieh, Syuan-Yi Chen	Robust Control of an LUSM-Based Xhbox-Yhbox-theta Motion Control Stage Using an Adaptive Interval Type-2 Fuzzy Neural Network.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
15	Rong-Qing Jia	Spline wavelets on the interval with homogeneous boundary conditions.	Adv. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 42C40, 46B15, 41A15
15	Duoqian Miao, Nan Zhang, Xiaodong Yue	Knowledge reduction in interval-valued information systems.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
15	Fabian Mörchen	Tutorial CIDM-T Temporal pattern mining in symbolic time point and time interval data.	CIDM	2009	DBLP DOI BibTeX RDF
15	Nianen Chen, Shangping Ren	Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications.	SAC	2009	DBLP DOI BibTeX RDF	checkpoint rollback recovery, system overall quality, optimization, soft real-time systems
15	Jie Zhou, Yixiang Chen	Modeling Instability in a New Framework of Interval Valued Process Algebra.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
15	Evangelos Bampas, Andreas-Nikolas Göbel, Aris Pagourtzis, Aris Tentes	On the Connection between Interval Size Functions and Path Counting.	TAMC	2009	DBLP DOI BibTeX RDF
15	Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin	An Interval-Based Inference of Variant Parametric Types.	ESOP	2009	DBLP DOI BibTeX RDF
15	Quan Zhang, TieYuan Yin, Wei Jia	Customer Value Assessment with Interval Numbers Based on Max-Entropy and TOPSIS.	WKDD	2009	DBLP DOI BibTeX RDF
15	Janusz T. Starczewski	A Type-1 Approximation of Interval Type-2 FLS.	WILF	2009	DBLP DOI BibTeX RDF
15	Olivier Strauss, Abdelkabir Lahrech, Agnès Rico, Denis Mariano-Goulart, Benoît Telle	NIBART: A New Interval Based Algebraic Reconstruction Technique for Error Quantification of Emission Tomography Images.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
15	Sun-Min Hwang, Eui-nam Huh	An Efficient Topology Control and Dynamic Interval Scheduling Scheme for 6LoWPAN.	ICCSA (1)	2009	DBLP DOI BibTeX RDF	Sensor network management, Sensor network Routing, Sensor network duty cycle, Error detection
15	Sahely Bhadra, J. Saketha Nath, Aharon Ben-Tal, Chiranjib Bhattacharyya	Interval Data Classification under Partial Information: A Chance-Constraint Approach.	PAKDD	2009	DBLP DOI BibTeX RDF
15	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
15	Thomas K. F. Wong, Siu-Ming Yiu, Tak Wah Lam, Wing-Kin Sung	The 2-Interval Pattern Matching Problems and Its Application to ncRNA Scanning.	BICoB	2009	DBLP DOI BibTeX RDF
15	W. Dwayne Collins, Chenyi Hu	Studying interval valued matrix games with fuzzy logic.	Soft Comput.	2008	DBLP DOI BibTeX RDF
15	Haining Shu, Qilian Liang, Jean Gao	Wireless Sensor Network Lifetime Analysis Using Interval Type-2 Fuzzy Logic Systems.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
15	Chia-Feng Juang, Yu-Wei Tsao	A Self-Evolving Interval Type-2 Fuzzy Neural Network With Online Structure and Parameter Learning.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
15	Huaguang Zhang, Zhanshan Wang, Derong Liu 0001	Robust Stability Analysis for Interval Cohen-Grossberg Neural Networks With Unknown Time-Varying Delays.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
15	Glad Deschrijver, Etienne E. Kerre	Aggregation Operators in Interval-valued Fuzzy and Atanassov's Intuitionistic Fuzzy Set Theory.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
15	Jussi Kujala, Tapio Elomaa	Ranking the Uniformity of Interval Pairs.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
15	Eva Dyllong	Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
15	Andreas Rauh, Johanna Minisini, Eberhard P. Hofer	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
15	Kunihiko Hiraishi	Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.	Petri Nets	2008	DBLP DOI BibTeX RDF
15	Thomas Gawlitza, Helmut Seidl	Precise Interval Analysis vs. Parity Games.	FM	2008	DBLP DOI BibTeX RDF
15	Zhuo Chen, Lingyun Wang, Feng Zhang, Xinbing Wang, Wen Chen 0001	VoIP over WLANs by Adapting Transmitting Interval and Call Admission Control.	ICC	2008	DBLP DOI BibTeX RDF
15	Yuji Yoshida	Aggregated Mean Ratios of an Interval Induced from Aggregation Operations.	MDAI	2008	DBLP DOI BibTeX RDF
15	Chandra Sekhar Pedamallu, Linet Özdamar	Comparison of Simulated Annealing, Interval Partitioning and Hybrid Algorithms in Constrained Global Optimization.	Advances in Metaheuristics for Hard Optimization	2008	DBLP DOI BibTeX RDF
15	Rein Vesilo	Asymptotic Analysis of Load Distribution for Size-Interval Task Allocation with Bounded Pareto Job Sizes.	ICPADS	2008	DBLP DOI BibTeX RDF