Sciweavers

3600 search results - page 614 / 720
» Conversational intelligence analysis
Sort
View
TPHOL
2007
IEEE
15 years 10 months ago
Formalising Java's Data Race Free Guarantee
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
David Aspinall, Jaroslav Sevcík
ATAL
2007
Springer
15 years 10 months ago
Convergence and rate of convergence of a simple ant model
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
Amine M. Boumaza, Bruno Scherrer
ATAL
2007
Springer
15 years 10 months ago
On the Behavior of Competing Markets Populated by Automated Traders
Abstract. Real market institutions, stock and commodity exchanges for example, do not occur in isolation. Company stock is frequently listed on several stock exchanges, allowing tr...
Jinzhong Niu, Kai Cai, Simon Parsons, Elizabeth Sk...
ATAL
2007
Springer
15 years 10 months ago
Sequential Auctions in Uncertain Information Settings
This paper analyzes sequential auctions for private value objects using second-price sealed-bid rules. Now, the equilibrium bids for such auctions depend on the information uncerta...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
BTW
2007
Springer
185views Database» more  BTW 2007»
15 years 10 months ago
Data Staging for OLAP- and OLTP-Applications on RFID Data
: The emerging trend towards seamless monitoring of all business processes via comprehensive sensor networks – in particular RFID readers – creates new data management challeng...
Stefan Krompass, Stefan Aulbach, Alfons Kemper