407 search results - page 74 / 82 » An Intuitive Automated Modelling Interface for Systems Biolo... |
69
Voted
MVA
2010
14 years 8 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...
CHI
2006
ACM
15 years 10 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 ...
WWW
2006
ACM
15 years 10 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...
102
click to vote
DAC
2003
ACM
15 years 10 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...
CSFW
2004
IEEE
15 years 1 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...