7991 search results - page 304 / 1599 » Using More Reasoning to Improve |
149
click to vote
IJISTA
2008
15 years 6 months ago
2008
: Planar patch detection aims at simplifying data from 3-D imaging sensors to a more compact scene description. We propose a fusion of intensity and depth information using Graph-C...
154
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
The Grammatical Knowledge base of Contemporary Chinese contains detailed feature descriptions of the morphological and syntactic behavior of a more than fifty thousand Chinese wor...
191
click to vote
COOPIS
2000
IEEE
15 years 10 months ago
2000
IEEE
The focus of traditional workflow management systems is on control flow within one process definition, that describes how a single case (i.e., workflow instance) is handled in isol...
173
click to vote
IACR
2011
14 years 6 months ago
2011
We develop a new methodology to assess cryptographic key strength using cloud computing, by calculating the true economic cost of (symmetric- or private-) key retrieval for the mos...
176
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...