1054 search results - page 160 / 211 » group 2005 |
DILS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Microarrays are one of the latest breakthroughs in experimental molecular biology. Thousands of different research groups generate tens of thousands of microarray gene e...
110
click to vote
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
The freedom and transparency of information flow on the Internet has heightened concerns of privacy. Given a set of data items, clustering algorithms group similar items together...
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
ESTIMEDIA
2005
Springer
15 years 3 months ago
2005
Springer
We propose a new software audio decoder for processors supporting multiple discrete voltage-frequency operating points. The proposed decoding scheme allows the user to switch betw...