306 search results - page 44 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
VIS
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper presents a novel method for interactive exploration of industrial CT volumes such as cast metal parts, with the goal of interactively detecting, classifying, and quantif...
BMCBI
2008
13 years 7 months ago
2008
Background: Liquid chromatography coupled to mass spectrometry (LC-MS) has become a prominent tool for the analysis of complex proteomics and metabolomics samples. In many applica...
NDQA
2003
13 years 9 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
VRML
2004
ACM
14 years 1 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
ICNS
2008
IEEE
14 years 2 months ago
2008
IEEE
—To provide seamless mobility to the wireless user, a continuous connection to the Internet is required while moving from one administration domain to another. To enable continuo...