Sciweavers

1953 search results - page 108 / 391
» Embedded Probabilistic Programming
Sort
View
CP
2001
Springer
15 years 6 months ago
Evaluation of Search Heuristics for Embedded System Scheduling Problems
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
Cecilia Ekelin, Jan Jonsson
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 5 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
SOQUA
2004
15 years 3 months ago
Scenario-based Component Testing Using Embedded Metadata
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
Mark Strembeck, Uwe Zdun
106
Voted
AROBOTS
2004
99views more  AROBOTS 2004»
15 years 2 months ago
Bayesian Robot Programming
We propose a new method to program robots based on Bayesian inference and learning. It is called BRP for Bayesian Robot Programming. The capacities of this programming method are d...
Olivier Lebeltel, Pierre Bessière, Julien D...
224
Voted
ICLP
2009
Springer
16 years 2 months ago
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
Henning Christiansen, Ole Torp Lassen