7820 search results - page 1356 / 1564 » Formalization of Time and Space |
171
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
Given a set of spheres in 3D, constructing its Voronoi diagram in Euclidean distance metric is not easy at all even though many mathematical properties of its structure are known....
164
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
A Space-Time Block Code (STBC) in K symbols (variables) is called g-group decodable STBC if its maximumlikelihood decoding metric can be written as a sum of g terms such that each ...
168
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
189
click to vote
ENTCS
2006
15 years 6 months ago
2006
A network telescope is a portion of the IP address space which is devoted to observing inbound internet traffic. The purpose of a network telescope is to detect and log malicious ...
180
click to vote
IJCV
2008
15 years 6 months ago
2008
Abstract We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our ...