2171 search results - page 367 / 435 » A Generic Process Algebra |
121
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
125
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
The provision of context-aware services in terms of the anytime/anywhere/anymedia paradigm requires the consideration of certain context properties in terms of time, location, devi...
116
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we present a novel strategy, DragPushing, for improving the performance of text classifiers. The strategy is generic and takes advantage of training errors to succes...
133
Voted
ERCIMDL
2005
Springer
15 years 8 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
115
Voted
EUROPKI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...