1284 search results - page 231 / 257 » Abstract Processes in Orchestration Languages |
142
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
133
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Stochastic Local Search (SLS) is a simple and effective paradigm for attacking a variety of Combinatorial (Optimization) Problems (COP). However, it is often non-trivial...
160
Voted
EPIA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
141
Voted
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
146
click to vote
IESS
2007
Springer
15 years 11 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...