2316 search results - page 106 / 464 » The many forms of hypercomputation |
150
click to vote
ESWA
2008
15 years 4 months ago
2008
Many methods have been developed to recognize those progresses of technologies, and one of them is to analyze patent information. And visualization methods are considered to be pr...
126
click to vote
ENTCS
2006
15 years 4 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
135
click to vote
IANDC
2006
15 years 4 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
142
click to vote
IJSNET
2008
15 years 4 months ago
2008
: Coverage is an important optimization objective in pre and post-deployment stage of a Wireless Sensor Network (WSN). In this paper, we address the issue of placing a finite set o...
142
click to vote
IJCV
2006
15 years 4 months ago
2006
Suppose two perspective views of four world points are given and that the intrinsic parameters are known but the camera poses and the world point positions are not. We prove that t...