3573 search results - page 489 / 715 » Reasoning about Codata |
147
click to vote
AUSAI
2003
Springer
15 years 10 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...
166
click to vote
COSIT
2003
Springer
15 years 10 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...
169
click to vote
CP
2003
Springer
15 years 10 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...
141
click to vote
ECAL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract Wherever we see life, we see different kinds of complex networks, reason why they are studied across various fields of science. Random Boolean Networks (RBNs) form a spe...
132
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...