6358 search results - page 1099 / 1272 » Computing spectral sequences |
162
Voted
CMSB
2004
Springer
15 years 10 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
136
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
123
Voted
DIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...
133
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Agents that exist in an environment that changes over time, and are able to take into account the temporal nature of experience, are commonly called incremental learners. It is wid...
139
Voted
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...