1285 search results - page 194 / 257 » Information systems revisited - the general continuous case |
178
click to vote
EDCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
163
click to vote
DSMML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Gaussian process prior systems generally consist of noisy measurements of samples of the putatively Gaussian process of interest, where the samples serve to constrain the...
186
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We study the problem of maximizing the aggregated revenue in sensor networks with deadline constraints. Our model is that of a sensor network that is arranged in the fo...
164
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
154
click to vote
CDVE
2004
Springer
15 years 11 months ago
2004
Springer
Not all participants in a collaborative virtual environment (CVE) need to be informed of every other participant’s activities. The technique used for filtering irrelevant message...