1422 search results - page 191 / 285 » Complementation in Abstract Interpretation |
143
click to vote
PERCOM
2010
ACM
15 years 2 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...
135
Voted
PKDD
2010
Springer
15 years 2 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)....
146
Voted
SPIN
2010
Springer
15 years 2 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 ...
107
Voted
CBRMD
2010
15 years 2 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...
122
Voted
DMS
2010
15 years 1 months ago
2010
Abstract--In this paper we present an information visualization approach for visualizing the intersection between multiple feature hierarchies. In cases where a dataset has multipl...