Sciweavers

3103 search results - page 143 / 621
» Parsimonious relevance models
Sort
View
97
Voted
ICCS
2007
Springer
15 years 7 months ago
Composing Different Models of Computation in Kepler and Ptolemy II
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
Antoon Goderis, Christopher Brooks, Ilkay Altintas...
ICSOC
2007
Springer
15 years 7 months ago
Mobile Ontology: Towards a Standardized Semantic Model for the Mobile Domain
Ontologies will be crucial for the future development of Next Generation Service Delivery Platforms. While various projects have defined ontologies for the mobile domain, there is ...
Claudia Villalonga, Martin Strohbach, Niels Snoeck...
ISAS
2005
Springer
15 years 7 months ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid
ECAI
2004
Springer
15 years 7 months ago
Using the Implication/Realization Model for Measuring Melodic Similarity
Abstract. The concept of melodic similarity has become increasingly relevant in the light of music retrieval and music content processing systems. We propose a new way of measuring...
Maarten Grachten, Josep Lluís Arcos
93
Voted
HYBRID
2003
Springer
15 years 7 months ago
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
Leandro G. Barajas, Ashish Kansal, Abhinav Saxena,...