1669 search results - page 103 / 334 » Structured Specification of Model Interpreters |
146
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
144
Voted
FLAIRS
2008
15 years 5 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
128
click to vote
MLG
2007
Springer
15 years 9 months ago
2007
Springer
: Network topology not only tells about tightly-connected “communities,” but also gives cues on more subtle properties of the vertices. We introduce a simple probabilistic late...
134
Voted
MM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
137
Voted
TCBB
2010
15 years 1 months ago
2010
—The literature on protein function prediction is currently dominated by works aimed at maximizing predictive accuracy, ignoring the important issues of validation and interpreta...