25189 search results - page 286 / 5038 » Information Systems Frontiers |
168
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
178
click to vote
NOLISP
2005
Springer
16 years 6 days ago
2005
Springer
The best performing systems in the area of automatic speaker recognition have focused on using short-term, low-level acoustic information, such as sepstral features. Recently, vari...
148
click to vote
CSR
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
171
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces the concept of accessibility from the field of transportation planning and adopts it within the context of Information Retrieval (IR). An analogy is drawn bet...
167
click to vote
ICAT
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper proposes a wearable annotation overlay system which can correctly annotate dynamic users of wearable computers. To provide users with the newest annotation information, ...