Sciweavers

403 search results - page 35 / 81
» Implementing Semantic Precision and Recall
Sort
View
RE
2002
Springer
15 years 3 days ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
124
Voted
BMCBI
2008
141views more  BMCBI 2008»
15 years 17 days ago
The development of PIPA: an integrated and automated pipeline for genome-wide protein function annotation
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
Chenggang Yu, Nela Zavaljevski, Valmik Desai, Seth...
BMCBI
2005
110views more  BMCBI 2005»
15 years 10 days ago
Discovery of protein-protein interactions using a combination of linguistic, statistical and graphical information
Background: The rapid publication of important research in the biomedical literature makes it increasingly difficult for researchers to keep current with significant work in their...
James W. Cooper, Aaron Kershenbaum
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
15 years 2 months ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
93
Voted
IICS
2003
Springer
15 years 5 months ago
Semantic Geocast Using a Self-organizing Infrastructure
Geocast mechanisms allow a sender to transmit network packets to receivers residing at a certain geographical region. Geocast forms the basis for a number of location-based service...
Jörg Roth