14190 search results - page 2683 / 2838 » Abstractions for hybrid systems |
84
Voted
ECML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
115
Voted
EPIA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents a novel approach to analyze the appearance of human motions with a simple model i.e. mapping the motions using a virtual marionette model. The approac...
109
Voted
ER
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
128
Voted
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
89
Voted
EUROPAR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Blue Gene/L uses a large number of low power processors, together with multiple integrated interconnection networks, to build a supercomputer with low cost, space and pow...