3172 search results - page 441 / 635 » Combining Specification Techniques for Processes, Data and T... |
162
click to vote
ENTCS
2008
15 years 6 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
138
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In this paper, we discuss the utility and deficiencies of existing ontology resources for a number of language processing applications. We describe a technique for increasing the ...
292
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...
166
click to vote
PERCOM
2008
ACM
16 years 26 days ago
2008
ACM
The emerging pervasive computing is regarded as a promising solution to the systems of personal healthcare and emergency aid, which can monitor personal health status in a real-ti...
173
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Transmission electron tomography is an increasingly common three-dimensional electron microscopy approach that can provide new insights into the structure of subcellul...