483 search results - page 25 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
BMCBI
2011
13 years 1 days ago
2011
Background: Conotoxin has been proven to be effective in drug design and could be used to treat various disorders such as schizophrenia, neuromuscular disorders and chronic pain. ...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
SSIAI
2002
IEEE
14 years 1 months ago
2002
IEEE
We present results quantifying the exploitability of compressed remote sensing imagery. The performance of various feature extraction and classification tasks is measured on hype...
SAFECOMP
2004
Springer
14 years 1 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...