6388 search results - page 1068 / 1278 » Knowledge and Information |
167
click to vote
GRAPHITE
2007
ACM
15 years 10 months ago
2007
ACM
Point-sampled geometry has gained significant interest due to their simplicity. The lack of connectivity touted as a plus, however, creates difficulties in many operations like ge...
185
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
173
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
163
click to vote
CISC
2006
Springer
15 years 10 months ago
2006
Springer
Enterprises use security equipments in order to protect their information assets from various attacks such as viruses and hacking. However, such individual equipments hardly provid...
182
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
In real world scenes, objects to be classified are usually not visible from every direction, since they are almost always positioned on some kind of opaque plane. When moving a cam...