5451 search results - page 746 / 1091 » Typed Operational Semantics |
204
Voted
IPPS
2003
IEEE
16 years 24 days 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 ...
214
click to vote
CAEPIA
2003
Springer
16 years 22 days 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...
186
Voted
CHARME
2003
Springer
16 years 22 days 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...
179
Voted
EGOV
2003
Springer
16 years 22 days 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...
159
Voted
ER
2003
Springer
16 years 22 days 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...