8587 search results - page 1371 / 1718 » Interactive dynamic abstraction |
117
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
151
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. As grids typically consist of autonomously managed subsystems with strongly varying resources, fault-tolerance forms an important aspect of the scheduling process of appl...
130
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
119
click to vote
ISI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract—We present an extended version of a software system SIGHTS1 (Statistical Identification of Groups Hidden in Time and Space), which can be used for the discovery, analys...
162
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...