4617 search results - page 900 / 924 » Automation of Diagrammatic Reasoning |
109
click to vote
GIS
2009
ACM
15 years 8 months 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...
107
click to vote
LICS
2009
IEEE
15 years 8 months 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...
144
click to vote
LICS
2009
IEEE
15 years 8 months 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 ...
109
Voted
LICS
2009
IEEE
15 years 8 months 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 ...
112
click to vote
TPHOL
2009
IEEE
15 years 8 months 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...