528 search results - page 66 / 106 » Degrees of categoricity of computable structures |
NETWORKING
2007
13 years 10 months ago
2007
Multicasting is one of the most important applications in Wireless Ad hoc Networks and the currently emerging Wireless Mesh Networks. In such networks, interference due to the shar...
JASSS
2002
13 years 8 months ago
2002
What is the degree of sophistication that we have to put into the agents in agents based computer simulation models? Should we provide them with a "mind"? The answer ran...
ECCV
2000
Springer
14 years 1 months ago
2000
Springer
Factorization using Singular Value Decomposition (SVD) is often used for recovering 3D shape and motion from feature correspondences across multiple views. SVD is powerful at find...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Abstract- We present a novel and computationally simple prediction stage in a Daubechies 5/3 ? like lifting structure for lossless image compression. In the 5/3 wavelet, the predic...
CP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...