11374 search results - page 123 / 2275 » Demonstration of the CROSSMARC System |
152
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
152
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
150
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Bayesian reputation systems are quite flexible and can relatively easily be adapted to different types of applications and environments. The purpose of this paper is to ...
136
click to vote
IMSCCS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper demonstrates a heterogeneous windows cluster system to obtain high performance computing (HPC) resources for medical image reconstruction applications. The communicatio...
175
click to vote
WCRE
2006
IEEE
16 years 16 days ago
2006
IEEE
In this demonstration, we present MELIS (Migration Environment for Legacy Information Systems) an integrated environment for the migration of legacy systems to a multi-tier web-ba...