Sciweavers

3180 search results - page 519 / 636
» Knowledge-based Document Analysis
Sort
View
PASTE
2004
ACM
15 years 9 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
148
Voted
AMEC
2004
Springer
15 years 9 months ago
Three Automated Stock-Trading Agents: A Comparative Study
Abstract. This paper documents the development of three autonomous stocktrading agents within the framework of the Penn Exchange Simulator (PXS), a novel stock-trading simulator th...
Alexander A. Sherstov, Peter Stone
CIVR
2004
Springer
161views Image Analysis» more  CIVR 2004»
15 years 9 months ago
The CLEF Cross Language Image Retrieval Track (ImageCLEF) 2004
Abstract. In this paper we describe ImageCLEF1, the cross language image retrieval track of the Cross Language Evaluation Forum (CLEF3). We instigated and ran a pilot experiment in...
Paul Clough, Mark Sanderson, Henning Müller
ISMIR
2004
Springer
128views Music» more  ISMIR 2004»
15 years 9 months ago
Audio Issues In MIR Evaluation
Several projects are underway to create music testbeds to suit the needs of the music analysis and music information retrieval (MIR) communities. There are also plans to unify tes...
Josh Reiss, Mark Sandler
MKM
2004
Springer
15 years 9 months ago
CPoint: Dissolving the Author's Dilemma
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
Andrea Kohlhase, Michael Kohlhase