3690 search results - page 332 / 738 » Computation with classical sequents |
156
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
The Precision-Recall (PR) curve is a widely used visual tool to evaluate the performance of scoring functions in regards to their capacities to discriminate between two population...
181
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes TinkerSheets, a paper-based interface to tangible simulations. The proposed interface combines the advantages of form-based input and paper. Form-based input ...
169
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
140
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— The mining of meaningful shapes of time series is done widely in order to find shapes that can be used, for example, in classification problems or in summarizing signals. Nor...
171
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...