5451 search results - page 746 / 1091 » Typed Operational Semantics |
171
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Clusters of PC containing mostly general purpose hardware have become more and more usable for high performance computing tasks in the past few years. Clustering existing systems ...
191
click to vote
CAEPIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
161
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
159
click to vote
EGOV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In the CB-BUSINESS project (IST-2001-33147, http://www.cbbusiness.com/), a number of administrative services from public agencies and professional chambers in different c...
139
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...