407 search results - page 74 / 82 » An Intuitive Automated Modelling Interface for Systems Biolo... |
86
Voted
MVA
2010
14 years 11 months ago
2010
For evaluating the contents of trucks, containers, cargo, and passenger vehicles by a non-intrusive gamma-ray or X-ray imaging system to determine the possible presence of contrab...
87
Voted
CHI
2006
ACM
16 years 1 months ago
2006
ACM
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
118
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
125
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
114
click to vote
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...