528 search results - page 66 / 106 » Degrees of categoricity of computable structures |
NETWORKING
2007
15 years 21 days 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
14 years 11 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
15 years 3 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
16 years 28 days 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...
172
click to vote
CP
2009
Springer
15 years 12 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...