14190 search results - page 2683 / 2838 » Abstractions for hybrid systems |
192
click to vote
ECML
2005
Springer
16 years 19 days 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...
235
click to vote
EPIA
2005
Springer
16 years 19 days 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...
222
click to vote
ER
2005
Springer
16 years 19 days 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...
259
Voted
ESOP
2005
Springer
16 years 19 days 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 ...
193
click to vote
EUROPAR
2005
Springer
16 years 19 days 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...