1463 search results - page 53 / 293 » The State of the Art in Language Modeling |
CORR
2010
Springer
14 years 4 months ago
2010
Springer
Machine Science, or Data-driven Research, is a new and interesting scientific methodology that uses advanced computational techniques to identify, retrieve, classify and analyse da...
CRYPTO
2012
Springer
13 years 7 days ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
WSC
2004
14 years 11 months ago
2004
This paper demonstrates the utilization of immersive virtual reality environments in the investigation of operations simulation results. The authors outline the benefits offered b...
ENTCS
2010
14 years 9 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
101
click to vote
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...