971 search results - page 177 / 195 » Approximate Satisfiability and Equivalence |
114
click to vote
SIGMOD
2004
ACM
15 years 12 months ago
2004
ACM
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
113
click to vote
ALT
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a novel paradigm for learning languages that consists of mapping strings to an appropriate high-dimensional feature space and learning a separating hyperplane i...
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Many object surfaces are composed of layers of different physical substances, known as layered surfaces. These surfaces, such as patinas, water colors, and wall paintings, have mo...
101
click to vote
ICDE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Sampling is used as a universal method to reduce the running time of computations – the computation is performed on a much smaller sample and then the result is scaled to comp...
119
click to vote
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— A major barrier preventing the wide employment of mobile networks of robots in tasks such as exploration, mapping, surveillance, and environmental monitoring is the lack of efï...