13917 search results - page 2628 / 2784 » Abstraction of Probabilistic Systems |
216
click to vote
ATVA
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
204
click to vote
CP
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
185
click to vote
ECML
2005
Springer
16 years 17 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...
228
click to vote
EPIA
2005
Springer
16 years 17 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...
214
Voted
ER
2005
Springer
16 years 17 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...