3116 search results - page 532 / 624 » Positively dependent types |
159
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
138
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
The environment considered in this research is a massive multiplayer online gaming (MMOG) environment. Each user controls an avatar (an image that represents and is manipulated by...
140
click to vote
SIGECOM
2009
ACM
15 years 11 months ago
2009
ACM
Restricting the preferences of the agents by assuming that their utility functions linearly depend on a payment allows for the positive results of the Vickrey auction and the Vick...
137
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Tracking moving objects from image sequences obtained by a moving camera is a difficult problem since there exists apparent motion of the static background. It becomes more dif...
127
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Hybrid P2P systems rely on the assumption that sufficient objects exist nearby in order to make the unstructured search component efficient. This availability depends on the o...