6050 search results - page 365 / 1210 » Information In The Non-Stationary Case |
223
click to vote
ISAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
177
click to vote
ITRUST
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
176
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
145
click to vote
SIGIR
2004
ACM
16 years 8 days ago
2004
ACM
Okapi BM25 scoring of anchor text surrogate documents has been shown to facilitate effective ranking in navigational search tasks over web data. We hypothesize that even better r...
161
click to vote
SSPR
2004
Springer
16 years 6 days ago
2004
Springer
Most machine learning algorithms are designed either for supervised or for unsupervised learning, notably classification and clustering. Practical problems in bioinformatics and i...