2050 search results - page 355 / 410 » A formal foundation for process modeling |
143
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
104
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
126
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
Printing and scanning of text documents introduces degradations to the characters which can be modeled. Interestingly, certain combinations of the parameters that govern the degra...
128
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...