1878 search results - page 55 / 376 » The Vienna Abstract Machine |
AIRS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Web catalog integration is an emerging problem in current digital content management. Past studies show that more improvement on integration accuracy can be achieved with...
ECML
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
ICANN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Radial basis function (RBF) kernels are widely used for support vector machines. But for model selection, we need to optimize the kernel parameter and the margin paramete...
ICARIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
SPIN
2005
Springer
14 years 3 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...