946 search results - page 81 / 190 » Process Algebra and Non-Interference |
111
click to vote
JAR
1998
15 years 9 days ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
157
Voted
DISCO
1993
15 years 4 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
107
Voted
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Kernel-based methods, e.g., support vector machine (SVM), produce high classification performances. However, the computation becomes time-consuming as the number of the vectors su...
112
Voted
STTT
2011
14 years 7 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
174
Voted
SIGMOD
2005
ACM
16 years 23 days ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...