36 search results - page 3 / 8 » Symbolic Preconditioning with Taylor Models: Some Examples |
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
SDM
2012
SIAM
11 years 8 months ago
2012
SIAM
Many animals produce long sequences of vocalizations best described as “songs.” In some animals, such as crickets and frogs, these songs are relatively simple and repetitive c...
AAAI
2004
13 years 7 months ago
2004
The intelligence analysis task of anticipating crises and providing decision makers with reasonable (supportable, explainable)possiblefuturesisextremelydifficult.Toperform this ta...
VISUALIZATION
1995
IEEE
13 years 9 months ago
1995
IEEE
This paper presents a conceptual framework and a process model for feature extraction and iconic visualization. Fearaction is viewed as a process of data abstraction, which can pr...
WDAG
2004
Springer
13 years 11 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...