Sciweavers

1969 search results - page 250 / 394
» Financial Theory 1
Sort
View
DEXAW
2007
IEEE
104views Database» more  DEXAW 2007»
14 years 4 months ago
An MDA Approach to Implement Personal IR Tools
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
Sven Meyer zu Eissen, Benno Stein
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
14 years 4 months ago
Agent-based Human-computer-interaction for Real-time Monitoring Systems in the Trucking Industry
Auto ID systems can replace time-consuming, costly and error-prone processes of human data entry and produce detailed real time information. However, they will add value only to t...
Elfriede Krauth, Jos van Hillegersberg, Steef L. v...
ICAC
2007
IEEE
14 years 4 months ago
Approximation Modeling for the Online Performance Management of Distributed Computing Systems
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
Dara Kusic, Nagarajan Kandasamy, Guofei Jiang
ATAL
2007
Springer
14 years 4 months ago
Policy recognition for multi-player tactical scenarios
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
Gita Sukthankar, Katia P. Sycara
CSL
2007
Springer
14 years 4 months ago
Unbounded Proof-Length Speed-Up in Deduction Modulo
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
Guillaume Burel