1330 search results - page 254 / 266 » Dynamic Data Structures for Fat Objects and Their Applicatio... |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Evaluation of network security is an essential step in securing any network. This evaluation can help security professionals in making optimal decisions about how to design secu...
ICMI
2005
Springer
14 years 1 months ago
2005
Springer
Tracking speakers in multiparty conversations constitutes a fundamental task for automatic meeting analysis. In this paper, we present a probabilistic approach to jointly track th...
ENTCS
2007
13 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
BMCBI
2004
13 years 7 months ago
2004
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...