1914 search results - page 274 / 383 » Verification by Abstract Interpretation |
JOLLI
2010
14 years 11 months ago
2010
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
115
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
Abstract—Becoming proficient in a sport requires significant investment in training. Wearable sensor devices can improve training due to the high level of mobility, ubiquity and...
111
Voted
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We consider the problem of training discriminative structured output predictors, such as conditional random fields (CRFs) and structured support vector machines (SSVMs)....
118
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
87
Voted
CBRMD
2010
14 years 11 months ago
2010
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...