7921 search results - page 1248 / 1585 » Process Modeling in Web Applications |
110
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
123
Voted
KI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The accurate extraction of scholarly reference information from scientific publications is essential for many useful applications like BIBTEX management systems or citati...
122
click to vote
CJ
2010
14 years 10 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
125
Voted
TVCG
2011
14 years 7 months ago
2011
—We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative desi...
142
Voted
TIM
2010
14 years 7 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...