1146 search results - page 123 / 230 » Finite cupping sets |
EWC
2002
13 years 10 months ago
2002
We present a simple set of data structures, and a collection of methods for constructing and updating the structures, designed to support the use of cohesive elements in simulation...
TOCL
2002
13 years 9 months ago
2002
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...
FSTTCS
2010
Springer
13 years 8 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Noise is inevitably introduced during model based parametrization of acoustic fields, acquired using microphone arrays. This is due to the finite number of microphones used, the f...
APSEC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...