Sciweavers

4520 search results - page 782 / 904
» Algebraic Techniques for Timed Systems
Sort
View
173
Voted
DATE
2007
IEEE
89views Hardware» more  DATE 2007»
16 years 1 months ago
Mapping multi-dimensional signals into hierarchical memory organizations
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...
Hongwei Zhu, Ilie I. Luican, Florin Balasa
210
Voted
MUE
2007
IEEE
111views Multimedia» more  MUE 2007»
16 years 1 months ago
Securing the Pharmaceutical Supply Chain using RFID
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...
Brian King, Xiaolan Zhang 0003
ACCV
2007
Springer
16 years 1 months ago
Fast 3-D Interpretation from Monocular Image Sequences on Large Motion Fields
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 ...
Jong-Sung Kim, Ki-Sang Hong
217
Voted
AGTIVE
2007
Springer
16 years 1 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...
197
Voted
CMMR
2007
Springer
141views Music» more  CMMR 2007»
16 years 1 months ago
Experiencing Audio and Music in a Fully Immersive Environment
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...
Xavier Amatriain, Jorge Castellanos, Tobias Hö...