838 search results - page 119 / 168 » From Natural Language to Formal Proof Goal |
281
click to vote
CMSB
2011
Springer
14 years 6 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
144
click to vote
ACL
2007
15 years 7 months ago
2007
Domain adaptation is an important problem in natural language processing (NLP) due to the lack of labeled data in novel domains. In this paper, we study the domain adaptation prob...
141
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
168
click to vote
CRYPTO
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we formalize a general model of cryptanalytic time/memory tradeoffs for the inversion of a random function f : {0, 1, . . . , N - 1} {0, 1, . . . , N - 1}. The model...
150
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Data Warehouse (DWH) systems are used by decision makers for performance measurement and decision support. Currently the main focus of the DWH research field is not as mu...