Sciweavers

2835 search results - page 255 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
RSP
2005
IEEE
15 years 10 months ago
Porting DSP Applications across Design Tools Using the Dataflow Interchange Format
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
Chia-Jui Hsu, Shuvra S. Bhattacharyya
PKDD
2010
Springer
162views Data Mining» more  PKDD 2010»
15 years 3 months ago
Expectation Propagation for Bayesian Multi-task Feature Selection
In this paper we propose a Bayesian model for multi-task feature selection. This model is based on a generalized spike and slab sparse prior distribution that enforces the selectio...
Daniel Hernández-Lobato, José Miguel...
STTT
2008
103views more  STTT 2008»
15 years 4 months ago
Model-based development of a course of action scheduling tool
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
Lars Michael Kristensen, Peter Mechlenborg, Lin Zh...
BIRTHDAY
2004
Springer
15 years 10 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
158
Voted
CADE
2000
Springer
15 years 9 months ago
Reasoning with Individuals for the Description Logic SHIQ
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
Ian Horrocks, Ulrike Sattler, Stephan Tobies