9507 search results - page 1638 / 1902 » Time-based language models |
177
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
182
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
Despite the immense potential of Peer-to-Peer (P2P) networks in facilitating collaborative applications, they have become largely known as a free haven for pirated music swapping....
141
Voted
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
175
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
157
click to vote
MABS
2004
Springer
15 years 12 months ago
2004
Springer
For an integrated simulation such as the natural environment affected by human society, it is indispensable to provide an integrated simulator that incorporates multiple computatio...