1626 search results - page 122 / 326 » Subtyping with Power Types |
137
click to vote
BTW
2005
Springer
15 years 6 months ago
2005
Springer
: Recent advances in sensor technologies, wireless communication, powerful mobile devices, and wearable computers strongly support novel types of applications. Especially in health...
122
click to vote
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
Currently, falling prices in technologies associated with surveillance applications has led to a huge increase in their use in all types of environments, although the most common ...
152
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
120
Voted
TC
2008
15 years 4 months ago
2008
Quality of service (QoS) is becoming an attractive feature for high-performance networks and parallel machines because, in those environments, there are different traffic types, ea...
139
click to vote
ROBOTICA
2008
15 years 3 months ago
2008
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...