1283 search results - page 140 / 257 » Science: the rules of the game |
166
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we propose a novel general framework for analysing competing double auction markets that vie for traders, who then need to choose which market to go to. Based on th...
139
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
169
click to vote
ACMACE
2009
ACM
15 years 10 months ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...
138
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
We present an information extraction system for automated information extraction from free text. The system, XAR, available open-source to the community, s an extraction applicati...
154
click to vote
RTA
2007
Springer
16 years 14 days ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...