Sciweavers

3172 search results - page 196 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
JCO
1998
69views more  JCO 1998»
15 years 6 months ago
Sortabilities of Partition Properties
Consider the partition of a set of integers into parts. Various partition properties have been proposed in the literature to facilitate the restriction of the focus of attention to...
Gerard J. Chang, Fu-Loong Chen, Lingling Huang, Fr...
JSS
2002
101views more  JSS 2002»
15 years 6 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
PAMI
2002
103views more  PAMI 2002»
15 years 6 months ago
Digital Curves in 3D Space and a Linear-Time Length Estimation Algorithm
We consider simple digital curves in a 3D orthogonal grid as special polyhedrally bounded sets. These digital curves model digitized curves or arcs in three-dimensional euclidean ...
Thomas Bülow, Reinhard Klette
TCAD
1998
95views more  TCAD 1998»
15 years 6 months ago
High-precision interconnect analysis
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
Rui Martins, Wolfgang Pyka, Rainer Sabelka, Siegfr...
TCS
1998
15 years 6 months ago
A Computational Model for Metric Spaces
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
Abbas Edalat, Reinhold Heckmann