7661 search results - page 1363 / 1533 » Languages and the Computing Profession |
190
click to vote
ICALP
2004
Springer
16 years 14 days 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 ...
190
Voted
ICALP
2004
Springer
16 years 14 days ago
2004
Springer
We study the random composition of a small family of O(n3 ) simple permutations on {0, 1}n . Specifically we ask what is the number of compositions needed to achieve a permutatio...
193
click to vote
ICCS
2004
Springer
16 years 14 days ago
2004
Springer
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
177
click to vote
ICFEM
2004
Springer
16 years 14 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
172
click to vote
ICMI
2004
Springer
16 years 14 days ago
2004
Springer
We demonstrate a same-time different-place collaboration system for managing crisis situations using geospatial information. Our system enables distributed spatial decision-making...