Sciweavers

3228 search results - page 154 / 646
» Basics of Compiler Design
Sort
View
FDL
2008
IEEE
15 years 4 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
ICASSP
2008
IEEE
15 years 4 months ago
Maximum entropy models for speech confidence estimation
In this work we implement a confidence estimation system based on a Naive Bayes classifier, by using the maximum entropy paradigm. The model takes information from various sourc...
Claudio Estienne, Alberto Sanchís, Alfons J...
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
15 years 3 months ago
A hierarchical behavior-based approach to manipulation tasks
Typical mobile robots can be customized to perform a variety of different tasks by combining in different ways a set of basic control modules, or behaviors. By contrast, most cu...
Zbigniew Wasik, Alessandro Saffiotti
IWFM
1998
134views Formal Methods» more  IWFM 1998»
14 years 11 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
GG
2008
Springer
14 years 11 months ago
Open Petri Nets: Non-deterministic Processes and Compositionality
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Bar...