1205 search results - page 213 / 241 » Program Extraction from Large Proof Developments |
106
click to vote
MP
1998
15 years 29 days ago
1998
A practical warm-start procedure is described for the infeasible primal-dualinterior-point method employed to solve the restricted master problem within the cutting-plane method. ...
117
click to vote
VLDB
2002
ACM
15 years 28 days ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
141
click to vote
EMNLP
2010
14 years 11 months ago
2010
Extant Statistical Machine Translation (SMT) systems are very complex softwares, which embed multiple layers of heuristics and embark very large numbers of numerical parameters. A...
113
click to vote
HCI
2009
14 years 11 months ago
2009
The recent movement by major Web services towards making many application programming interfaces (APIs) available for public use has led to the development of the new MashUp techno...
138
click to vote
TWC
2010
14 years 8 months ago
2010
This paper proposes a framework for distributed sequential parameter estimation in wireless sensor networks. In the proposed scheme, the estimator is updated sequentially at the c...