Sciweavers

8266 search results - page 1322 / 1654
» Information About the Journal
Sort
View
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 6 months ago
Selfish Response to Epidemic Propagation
An epidemic spreading in a network calls for a decision on the part of the network members: They should decide whether to protect themselves or not. Their decision depends on the ...
George Theodorakopoulos, Jean-Yves Le Boudec, John...
198
Voted
CORR
2010
Springer
169views Education» more  CORR 2010»
15 years 6 months ago
Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
Heiko Hamann, Jürgen Stradner, Thomas Schmick...
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
Join Bayes Nets: A new type of Bayes net for relational data
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
Oliver Schulte, Hassan Khosravi, Flavia Moser, Mar...
CSL
2008
Springer
15 years 6 months ago
Applying an analysis of acted vocal emotions to improve the simulation of synthetic speech
: All speech produced by humans includes information about the speaker, including conveying the emotional state of the speaker. It is thus desirable to include vocal affect in any ...
Iain R. Murray, John L. Arnott
« Prev « First page 1322 / 1654 Last » Next »