2757 search results - page 103 / 552 » On separating systems |
139
click to vote
HAIS
2010
Springer
15 years 6 months ago
2010
Springer
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
125
click to vote
FORTE
1990
15 years 5 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
142
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The concept of ‘mobility’ as it is conceptualized in mobile HCI is scrutinized in this paper. The currently applied understanding is often limited to perceiving mobility as co...
114
click to vote
ICIP
1995
IEEE
16 years 5 months ago
1995
IEEE
A structure for implementing lapped transforms with time-varying block sizes is presented which allows full orthogonality of the transient transforms. The formulation is based on ...
134
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...