Sciweavers

2253 search results - page 407 / 451
» The ComFoRT Reasoning Framework
Sort
View
SIES
2007
IEEE
15 years 10 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
ACCV
2007
Springer
15 years 10 months ago
Simultaneous Appearance Modeling and Segmentation for Matching People Under Occlusion
We describe an approach to segmenting foreground regions corresponding to a group of people into individual humans. Given background subtraction and ground plane homography, hierar...
Zhe Lin, Larry S. Davis, David S. Doermann, Daniel...
CCIA
2007
Springer
15 years 10 months ago
On the Multimodal Logic of Elementary Normative Systems
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
Pilar Dellunde
158
Voted
HIPEAC
2007
Springer
15 years 10 months ago
Applying Decay to Reduce Dynamic Power in Set-Associative Caches
Abstract. In this paper, we propose a novel approach to reduce dynamic power in set-associative caches that leverages on a leakage-saving proposal, namely Cache Decay. We thus open...
Georgios Keramidas, Polychronis Xekalakis, Stefano...
133
Voted
HPCC
2007
Springer
15 years 10 months ago
A Low-Power Globally Synchronous Locally Asynchronous FFT Processor
Abstract. Low-power design became crucial with the widespread use of the embedded systems, where a small battery has to last for a long period. The embedded processors need to ef...
Yong Li, Zhiying Wang, Jian Ruan, Kui Dai