6608 search results - page 987 / 1322 » On the Completeness of Model Checking |
162
click to vote
TOG
2002
15 years 6 months ago
2002
Efficient algorithms for compressing geometric data have been widely developed in the recent years, but they are mainly designed for closed polyhedral surfaces which are manifold ...
186
click to vote
RAS
2008
15 years 6 months ago
2008
We present an approach for creating conceptual representations of human-made indoor environments using mobile robots. The concepts refer to spatial and functional properties of ty...
173
click to vote
JOLLI
2010
15 years 5 months ago
2010
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
143
click to vote
PVLDB
2010
15 years 5 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
168
Voted
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
– This paper provides a partial answer to the question: "what is the best angular density of multipath in MIMO channels?" using the size-asymptotic theory of Toeplitz m...