6953 search results - page 1043 / 1391 » Development Tools for Distributed Applications |
193
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
192
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Questions of understanding and quantifying the representation and amount of information in organisms have become a central part of biological research, as they potentially hold th...
189
click to vote
JISE
2008
15 years 6 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
184
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
191
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
Semi-supervised learning plays an important role in the recent literature on machine learning and data mining and the developed semisupervised learning techniques have led to many...