154 search results - page 25 / 31 » Abstract Interpretation with Applications to Timing Validati... |
MICCAI
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. It has been shown that brain structures in normal aging undergo significant changes attributed to neurodevelopmental and neurodegeneration processes as a lifelong, dynami...
ICCAD
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract—Because of the today’s market demand for highperformance, high-density portable hand-held applications, electronic system design technology has shifted the focus from ...
RSP
2003
IEEE
14 years 1 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
ARC
2010
Springer
13 years 8 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
TWC
2008
13 years 8 months ago
2008
Abstract--In this letter we discuss the exploitation of aggregated mobility patterns in mobile networks including heterogeneous multiple access techniques. We advocate the use of k...