13277 search results - page 2269 / 2656 » An Approach to Clustering Abstracts |
180
click to vote
IFIP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
204
click to vote
IFM
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
199
click to vote
IFM
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
187
click to vote
INLG
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Although humans are the ultimate “natural language generators”, the area of psycholinguistic modeling has been somewhat underrepresented in recent approaches to Natur...
219
click to vote
IPSN
2004
Springer
16 years 28 days ago
2004
Springer
This paper investigates the problem of designing decentralized representations to support monitoring and inferences in sensor networks. State-space models of physical phenomena su...