4814 search results - page 862 / 963 » Combining abstract interpreters |
IPMI
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. We introduce a novel algorithm for actin filament segmentation in 2D TIRFM image sequences. This problem is difficult because actin filaments dynamically change shapes ...
NETWORKING
2011
13 years 27 days ago
2011
Abstract. Sensing mechanisms that estimate the occupancy of wireless spectrum are crucial to the success of approaches based on Dynamic Spectrum Access. In this paper, we present k...
ACII
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Driver anger could be potentially harmful for road safety and longterm health. Because of its mood inducing properties, music is assumed to be a potential medium that cou...
ECBS
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
EDOC
2011
IEEE
12 years 9 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...