4341 search results - page 547 / 869 » Quantitative Model checking |
198
click to vote
ICAISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
182
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Collaborative tagging systems have the potential to produce socially constructed information organization schemes. The effectiveness of tags for finding and re-finding information...
160
click to vote
AGI
2008
15 years 8 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
194
click to vote
ICMLA
2008
15 years 8 months ago
2008
In this work, a new learning paradigm called target selection is proposed, which can be used to test for associations between a single genetic variable and a multidimensional, qua...
182
click to vote
IJCAI
2007
15 years 8 months ago
2007
A local spatial context is an area currently under consideration in a spatial reasoning process. The boundary between this area and the surrounding space together with the spatial...