Sciweavers

1722 search results - page 72 / 345
» Dedication
Sort
View
MODELS
2009
Springer
14 years 4 months ago
Towards Semantic Modeling of Network Physical Devices
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina, T...
OOPSLA
2009
Springer
14 years 4 months ago
TROPIC: a framework for model transformations on petri nets in color
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
RTA
2009
Springer
14 years 4 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
SAMT
2009
Springer
132views Multimedia» more  SAMT 2009»
14 years 4 months ago
CorpVis: An Online Emotional Speech Corpora Visualisation Interface
Our research in emotional speech analysis has led to the construction of several dedicated high quality, online corpora of natural emotional speech assets. The requirements for que...
Charlie Cullen, Brian Vaughan, John McAuley, Evin ...
SCIA
2009
Springer
140views Image Analysis» more  SCIA 2009»
14 years 4 months ago
Fast Prototype Based Noise Reduction
This paper introduces a novel method for noise reduction in medical images based on concepts of the Non-Local Means algorithm. The main objective has been to develop a method that ...
Kajsa Tibell, Hagen Spies, Magnus Borga