5639 search results - page 285 / 1128 » Timed Abstract Non-interference |
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with researching, teaching and learning activities at the sa...
123
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Topological relationships between spatial objects in the twodimensional space have been investigated for a long time in a number of disciplines like artificial intellige...
122
click to vote
ECML
2004
Springer
15 years 9 months ago
2004
Springer
HEXQ is a reinforcement learning algorithm that discovers hierarchical structure automatically. The generated task hierarchy repthe problem at different levels of abstraction. In ...
104
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Two methods were evaluated for performing spectral breakpoint matching: a multi-level pruned exhaustive search and a genetic algorithm. The GA found matches about as good...
99
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Bulk Synchronous Parallel ML or BSML is a functional dataparallel language for programming bulk synchronous parallel (BSP) algorithms. The execution time can be estimated...