15416 search results - page 2908 / 3084 » Embeddings of Computable Structures |
181
click to vote
NOSSDAV
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we propose a fully distributed peer-to-peer (P2P) infrastructure supporting Networked Virtual Environment (NVE) applications, such as massively multiplayer online ga...
180
click to vote
PDCAT
2005
Springer
16 years 1 days ago
2005
Springer
Recently a bulk of research [14, 5, 15, 9] has been done on the modelling of the smallworld phenomenon, which has been shown to be pervasive in social and nature networks, and eng...
186
click to vote
PREMI
2005
Springer
16 years 1 days ago
2005
Springer
In the typical nonparametric approach to classification in instance-based learning and data mining, random data (the training set of patterns) are collected and used to design a d...
176
click to vote
RTA
2005
Springer
16 years 1 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
172
click to vote
APGV
2004
ACM
15 years 12 months ago
2004
ACM
Studies have shown that although shading can give an image a ”natural” look and is an important shape cue, visual perception of surface shape from shading only is severely lim...