407 search results - page 74 / 82 » An Intuitive Automated Modelling Interface for Systems Biolo... |
MVA
2010
14 years 9 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...
78
Voted
CHI
2006
ACM
15 years 11 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 ...
107
click to vote
WWW
2006
ACM
15 years 11 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...
110
Voted
DAC
2003
ACM
16 years 3 days 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...
CSFW
2004
IEEE
15 years 2 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...