Sciweavers

1878 search results - page 146 / 376
» The Vienna Abstract Machine
Sort
View
135
Voted
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
15 years 1 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne
150
Voted
CIARP
2010
Springer
15 years 1 months ago
A New Algorithm for Training SVMs Using Approximate Minimal Enclosing Balls
Abstract. It has been shown that many kernel methods can be equivalently formulated as minimal-enclosing-ball (MEB) problems in certain feature space. Exploiting this reduction eff...
Emanuele Frandi, Maria Grazia Gasparo, Stefano Lod...
136
Voted
ICMLA
2010
15 years 29 days ago
Incremental Learning of Relational Action Rules
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
Christophe Rodrigues, Pierre Gérard, C&eacu...
126
Voted
IJEIS
2010
113views more  IJEIS 2010»
15 years 28 days ago
A Good Role Model for Ontologies: Collaborations
Abstract. Ontologies are today used to annotate web data with machine processable semantics and for domain modeling. As the use of ontologies increases and the ontologies themselve...
Michael Pradel, Jakob Henriksson, Uwe Aßmann
166
Voted
ACII
2011
Springer
14 years 3 months ago
Investigating the Prosody and Voice Quality of Social Signals in Scenario Meetings
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...
Marcela Charfuelan, Marc Schröder