1283 search results - page 137 / 257 » Science: the rules of the game |
187
click to vote
AAAI
2010
15 years 7 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
170
click to vote
WSKS
2009
Springer
16 years 29 days ago
2009
Springer
Nowadays, every public or private company has to provide the access to their services through Internet. Unfortunately, the access channels and devices increase both in numbers and ...
168
click to vote
TLCA
2009
Springer
16 years 27 days ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
169
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
178
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...