5243 search results - page 807 / 1049 » Reasoning About Strategies |
169
click to vote
POPL
2003
ACM
15 years 12 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
166
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
164
click to vote
AUSAI
2003
Springer
15 years 12 months ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
190
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
197
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...