495 search results - page 39 / 99 » Abstract Numeration Systems and Tilings |
CAV
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
HOLOMAS
2007
Springer
14 years 4 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
During workflow design, workflow modelers generally specify the performers of a task by their organizational role. However, during workflow enactment, numerous workers with differ...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...