1018 search results - page 6 / 204 » Building the Biodiversity Commons |
GLVLSI
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
FTDCS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
69
Voted
DEBS
2007
ACM
15 years 1 months ago
2007
ACM
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
106
Voted
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Complementary security systems are widely deployed in networks to protect digital assets. Alert correlation is essential to understanding the security threats and taking appropria...
LREC
2010
14 years 11 months ago
2010
This paper describes the first TTS evaluation campaign designed for Spanish. Seven research institutions took part in the evaluation campaign and developed a voice from a common s...