1127 search results - page 122 / 226 » Theory Extension in ACL2(r) |
185
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Today's society is largely connected and many real life applications lend themselves to be modeled as multi-agent systems. Although such systems as well as their models are d...
143
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
172
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
187
click to vote
HCI
2009
15 years 4 months ago
2009
Within the communication process of human beings, the speaker's facial expression and lip-shape movement contains extremely rich language information. The hearing impaired, a...
187
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...