Sciweavers

652 search results - page 75 / 131
» Linear Explicit Substitutions
Sort
View
ITC
2003
IEEE
153views Hardware» more  ITC 2003»
14 years 2 months ago
An Efficient and Effective Methodology on the Multiple Fault Diagnosis
In this paper, we analyze failing circuits and propose a multiple-fault diagnosis approach. Our methodology has been validated experimentally and has proved to be highly efficient...
Zhiyuan Wang, Kun-Han Tsai, Malgorzata Marek-Sadow...
GMP
2002
IEEE
14 years 1 months ago
The Minkowski Sum of Two Simple Surfaces Generated by Slope-Monotone Closed Curves
We present an algorithm for computing Minkowski sums among surfaces of revolution and surfaces of linear extrusion, generated by slope-monotone closed curves. The special structur...
Joon-Kyung Seong, Myung-Soo Kim, Kokichi Sugihara
AISC
2010
Springer
14 years 1 months ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...
IUI
2000
ACM
14 years 1 months ago
Data exploration across temporal contexts
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...
Mark Derthick, Steven F. Roth
SIGCOMM
2000
ACM
14 years 1 months ago
A stochastic model of TCP/IP with stationary random
In this paper, we present a model for TCP/IP ow control mechanism. The rate at which data is transmitted increases linearly in time until a packet loss is detected. At that point,...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...