1226 search results - page 180 / 246 » Generating Abstractions from Static Domain Analysis |
CASES
2007
ACM
14 years 1 days ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
We present a new CAPTCHA which is based on identifying an image's upright orientation. This task requires analysis of the often complex contents of an image, a task which hum...
AAAI
1990
13 years 9 months ago
1990
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
EVOW
2007
Springer
14 years 2 months ago
2007
Springer
In liquid chromatography-mass spectrometry (LC-MS) based expression proteomics, samples from different groups are analyzed comparatively in order to detect differences that can p...
CAD
2006
Springer
13 years 8 months ago
2006
Springer
Traditional mesh-based approaches to the modeling and analysis of physical fields within geometric models require some form of topological reconstruction and conversion in the mes...