3690 search results - page 285 / 738 » Computation with classical sequents |
153
click to vote
COORDINATION
2009
Springer
16 years 5 days ago
2009
Springer
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair t...
140
click to vote
STACS
2009
Springer
16 years 4 days ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
139
click to vote
CSIE
2009
IEEE
16 years 4 days ago
2009
IEEE
This paper proposed an approach of human behavior modeling based on Discriminative Random Fields. In this model, by introducing the hidden behavior feature functions and time wind...
167
click to vote
FOCS
2009
IEEE
16 years 3 days ago
2009
IEEE
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...
166
click to vote
IAT
2009
IEEE
16 years 3 days ago
2009
IEEE
Automating negotiations in markets where multiple buyers and sellers operate is a scientific challenge of extraordinary importance. One-to-one negotiations are classically studie...