4520 search results - page 782 / 904 » Algebraic Techniques for Timed Systems |
161
click to vote
DATE
2007
IEEE
16 years 23 days ago
2007
IEEE
The storage requirements of the array-dominated and looporganized algorithmic specifications running on embedded systems can be significant. Employing a data memory space much l...
184
click to vote
MUE
2007
IEEE
16 years 21 days ago
2007
IEEE
RFID technology has been applied to a number of applications. In [5], a protocol was described how to apply RFID to currency to provide integrity (e.g. reduce counterfeiting) whil...
176
click to vote
ACCV
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...
191
click to vote
AGTIVE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
179
click to vote
CMMR
2007
Springer
16 years 18 days ago
2007
Springer
The UCSB Allosphere is a 3-story-high spherical instrument in which virtual environments and performances can be experienced in full immersion. The space is now being equipped with...