Sciweavers

4762 search results - page 283 / 953
» About the use of protein models
Sort
View
ARTMED
2006
108views more  ARTMED 2006»
15 years 6 months ago
Constructing explanatory process models from biological data and knowledge
We address the task of inducing explanatory models from observations and knowledge about candidate biological processes, using the illustrative problem of modeling photosynthesis ...
Pat Langley, Oren Shiran, Jeff Shrager, Ljupco Tod...
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
16 years 24 days ago
A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
Daniel Meyer-Delius, Christian Plagemann, Georg vo...
IPPS
2003
IEEE
15 years 12 months ago
Trust Modeling for Peer-to-Peer Based Computing Systems
The peer-to-peer approach to design large-scale systems has significant benefits including scalability, low cost of ownership, robustness, and ability to provide site autonomy. ...
Farag Azzedin, Muthucumaru Maheswaran
ISER
1999
Springer
112views Robotics» more  ISER 1999»
15 years 11 months ago
Models for Automated Earthmoving
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
Howard Cannon, Sanjiv Singh
SPIN
1999
Springer
15 years 11 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...