Sciweavers

2253 search results - page 407 / 451
» The ComFoRT Reasoning Framework
Sort
View
SIES
2007
IEEE
14 years 2 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
14 years 2 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
14 years 2 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
HIPEAC
2007
Springer
14 years 2 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...
HPCC
2007
Springer
14 years 2 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