2556 search results - page 158 / 512 » The Triconnected Abstraction of Process Models |
154
Voted
FDL
2005
IEEE
16 years 20 days ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
224
Voted
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract— In this paper, we consider a class of continuoustime, continuous-space stochastic optimal control problems. Building upon recent advances in Markov chain approximation ...
226
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
236
click to vote
ICIAP
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. The recognition of events in videos is a relevant and challenging task of automatic semantic video analysis. At present one of the most successful frameworks, used for ob...
178
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...