3724 search results - page 348 / 745 » Timed regular expressions |
170
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional dataparallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, a...
168
click to vote
FCT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The maximum intersection problem for a matroid and a greedoid, given by polynomial-time oracles, is shown NP-hard by expressing the satisfiability of boolean formulas in...
176
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
212
click to vote
ACL
1990
15 years 8 months ago
1990
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
168
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Given a nonlinear system and a performance index to be minimized, we present a general approach to expressing the finite time optimal feedback control law applicable to different ...