3552 search results - page 431 / 711 » Proof theory in the abstract |
170
click to vote
MHCI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
212
click to vote
RSCTC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
204
click to vote
TIDSE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This article presents the first implementation results of a storytelling system called Jeherazade. The Jeherazade system is based on the idea to enhance the classical the...
185
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
198
click to vote
DIS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A machine learning-based approach to the prediction of molecular bioactivity in new drugs is proposed. Two important aspects are considered for the task: feature subset s...