10707 search results - page 569 / 2142 » Designing executable abstractions |
186
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learn...
170
click to vote
EUROPAR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
163
click to vote
DAC
1995
ACM
15 years 11 months ago
1995
ACM
Abstract A central problem in embedded system co-synthesis is the generation of software for lowlevel I O. Scheduling still remains a manual task because existing coarse-grained re...
217
Voted
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
178
click to vote
EKAW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The central problems w.r.t. interoperability and data integration issues in the Semantic Web are schema and ontology matching approaches. Today it takes an expert to dete...