3571 search results - page 595 / 715 » Cohen and Set Theory |
201
click to vote
SIAMSC
2010
15 years 4 months ago
2010
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
181
click to vote
STTT
2010
15 years 4 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
182
click to vote
TASLP
2010
15 years 4 months ago
2010
—This paper presents a set of novel physical models for sound synthesis of membrane percussion instruments. First, a model for tension modulation in a struck circular membrane is...
141
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
154
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Pitching is the starting point of an event in baseball games. Hence, locating pitching shots is a critical step in content analysis of a baseball game video. However, pitching fra...