3172 search results - page 19 / 635 » Combining Specification Techniques for Processes, Data and T... |
106
click to vote
IS
2008
14 years 11 months ago
2008
Performing data mining tasks in streaming data is considered a challenging research direction, due to the continuous data evolution. In this work, we focus on the problem of clust...
119
click to vote
CBMS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...
126
click to vote
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Parallel processing using multiple processors is a well-established technique to accelerate many different classes of applications. However, as the density of chips increases, ano...
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...