Sciweavers

5009 search results - page 835 / 1002
» Mapping Human Networks
Sort
View
DATE
2007
IEEE
118views Hardware» more  DATE 2007»
16 years 22 days ago
Statistical model order reduction for interconnect circuits considering spatial correlations
In this paper, we propose a novel statistical model order reduction technique, called statistical spectrum model order reduction (SSMOR) method, which considers both intra-die and...
Jeffrey Fan, Ning Mi, Sheldon X.-D. Tan, Yici Cai,...
IRI
2007
IEEE
16 years 21 days ago
A Reference Framework for Requirements and Architecture in Biomedical Grid Systems
In this paper we introduce the work done to define a framework for requirements and architectural understanding in biomedical grid computing systems. A set of core requirements fo...
Chris Mattmann, Vito Perrone, Sean C. Kelly, Danie...
ISMVL
2007
IEEE
109views Hardware» more  ISMVL 2007»
16 years 20 days ago
Quantum Mechanical Model of Emotional Robot Behaviors
In this paper the emotional model of the humanoid Cynthea (Cybernetic Networked Humanoid Emotional Agent) robot is presented. The robot is explained at two levels: the cognitive l...
Martin Lukac, Marek A. Perkowski
ATAL
2007
Springer
16 years 18 days ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer
ESORICS
2007
Springer
16 years 17 days ago
Synthesizing Secure Protocols
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
Véronique Cortier, Bogdan Warinschi, Eugen ...