4617 search results - page 900 / 924 » Automation of Diagrammatic Reasoning |
150
Voted
GIS
2009
ACM
16 years 18 days ago
2009
ACM
The increasing availabilities of GPS-enabled devices have given rise to the location-based social networking services (LBSN), in which users can record their travel experiences wi...
140
click to vote
LICS
2009
IEEE
16 years 13 days ago
2009
IEEE
We consider the standard model of finite two-person zero-sum stochastic games with signals. We are interested in the existence of almost-surely winning or positively winning stra...
182
click to vote
LICS
2009
IEEE
16 years 13 days ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
150
click to vote
LICS
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
156
Voted
TPHOL
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...