Sciweavers

1823 search results - page 182 / 365
» Generating Multiple New Designs From a Sketch
Sort
View
DIS
2007
Springer
14 years 2 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
BIRTHDAY
2006
Springer
13 years 11 months ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke
SIBGRAPI
2000
IEEE
13 years 11 months ago
Semi-Regular 4-8 Refinement and Box Spline Surfaces
Abstract. In this paper we introduce a new mesh refinement method for subdivision surfaces. It generates a semiregular 4-direction hierarchical structure from control meshes repres...
Luiz Velho
ISCAS
2005
IEEE
119views Hardware» more  ISCAS 2005»
14 years 1 months ago
Multi-plet two-channel perfect reconstruction filter banks
This paper proposes a new class of two-channel structural perfect reconstruction (PR) FIR filter banks (FBs) called the multi-plet FB. It generalizes structural PR FBs proposed by...
S. C. Chan, K. M. Tsui
ICSEA
2006
IEEE
14 years 2 months ago
Template-Based Development of Fault-Tolerant Embedded Software
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
Christian Buckl, Alois Knoll, Gerhard Schrott