503 search results - page 70 / 101 » Computational Efficiency Evaluation in Output Analysis |
167
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
281
click to vote
SIAMIS
2010
15 years 28 days ago
2010
Markov random field (MRF) models, including conditional random field models, are popular in computer vision. However, in order to be computationally tractable, they are limited to ...
210
click to vote
SEMCO
2009
IEEE
16 years 28 days ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
179
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Deluged by the rate and complexity of completed genomic sequences, the need to align longer sequences becomes more urgent, and many more tools have thus been developed...
170
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
The field of e-science currently faces many challenges. Among the most important ones are the analysis of huge volumes of scientific data and the connection of various sciences an...