4744 search results - page 252 / 949 » Connected Computing |
139
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
153
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Many datasets can be described in the form of graphs or networks where nodes in the graph represent entities and edges represent relationships between pairs of entities. A common ...
126
click to vote
ESA
2009
Springer
15 years 10 months ago
2009
Springer
We consider a process called Group Network Formation Game, which represents the scenario when strategic agents are building a network together. In our game, agents can have extrem...
121
click to vote
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
136
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
– Nowadays, the Internet provides a convenient medium for sharing complex 3D models online. However, transmitting 3D progressive meshes over networks may encounter the problem of...