7991 search results - page 336 / 1599 » Using More Reasoning to Improve |
274
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
The SQL queries produced in XML-to-SQL query translation are often unnecessarily complex, even for simple input XML queries. In this paper we argue that relational systems can do ...
170
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
* We address the problem of multiple view stereo from a perceptual organization perspective. Currently, the leading methods in the field are volumetric. They operate at the level o...
189
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
177
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
206
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
The cryptosystem recently proposed by Cramer and Shoup [CS98] is a practical public key cryptosystem that is secure against adaptive chosen ciphertext attack provided the Decision...