2502 search results - page 499 / 501 » Using probabilistic model checking in systems biology |
156
Voted
AIED
2009
Springer
15 years 1 months ago
2009
Springer
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...
151
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
119
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
131
Voted
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...
215
Voted
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Recent research literature on sensor network databases has focused on finding ways to perform in-network aggregation of sensor readings to reduce the message cost. However, with t...