Sciweavers

5009 search results - page 835 / 1002
» Mapping Human Networks
Sort
View
DATE
2007
IEEE
118views Hardware» more  DATE 2007»
16 years 1 months 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,...
175
Voted
IRI
2007
IEEE
16 years 1 months 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 1 months 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
163
Voted
ATAL
2007
Springer
16 years 1 months 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
171
Voted
ESORICS
2007
Springer
16 years 1 months 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 ...