1670 search results - page 176 / 334 » On Skolemization in constructive theories |
203
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— Wireless topology control is the process of structuring the connectivity between network nodes to achieve some network-wide goal. This paper presents a cognitive networ...
159
click to vote
ICIP
2007
IEEE
16 years 25 days ago
2007
IEEE
The geometric features of images, such as edges, are difficult to represent. When a redundant transform is used for their extraction, the compression challenge is even more dif...
167
click to vote
ICNSC
2007
IEEE
16 years 25 days ago
2007
IEEE
—This paper studies the problem of understanding noisy and structurally deformed two-dimensional images by means of abstractly defined neural works. First, in the framework of sy...
155
click to vote
COLT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
167
click to vote
EDUTAINMENT
2007
Springer
16 years 21 days ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...