Sciweavers

1580 search results - page 122 / 316
» Modules for Crosscutting Models
Sort
View
WOA
2007
13 years 9 months ago
Expectations driven approach for Situated, Goal-directed Agents
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
AMC
2010
116views more  AMC 2010»
13 years 8 months ago
On a bilinear optimization problem in parallel magnetic resonance imaging
This work is concerned with the structure of bilinear minimization problems arising in recovering subsampled and modulated images in parallel magnetic resonance imaging. By consid...
Christian Clason, Gregory von Winckel
ENGL
2007
133views more  ENGL 2007»
13 years 8 months ago
Adaptive Wavelet-based-CMAC Network Predictor Design for Lossless Image Coding
— In this paper, we propose a novel wavelet-based-CMAC (WCMAC) network for predictive image coding. The Gaussian functions of traditional CMAC are replaced by wavelet functions. ...
Ching-Hung Lee, Bo-Hang Wang
TCS
2008
13 years 8 months ago
Making the use of maximal ideals constructive
The purpose of this paper is to decipher constructively a lemma of Suslin which played a central role in his second solution of Serre's problem on projective modules over pol...
Ihsen Yengui
IFIP
2010
Springer
13 years 2 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...