11345 search results - page 1898 / 2269 » Foundations of Computer Science |
137
click to vote
IFM
2004
Springer
15 years 9 months 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...
129
Voted
ISAAC
2004
Springer
15 years 9 months ago
2004
Springer
String comparison is a fundamental problem in computer science, with applications in areas such as computational biology, text processing or compression. In this paper we address t...
126
click to vote
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
Let G = (V, E) be a (directed) graph with vertex set V and edge (arc) set E. Given a set P of (source-sink) pairs of vertices of G, an important problem that arises in the computat...
117
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Social factors, such as status differences, may prevent some members from participating in group decisions. Computerized group decision support systems (GDSSs) can reduce social i...
143
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...