Sciweavers

973 search results - page 20 / 195
» Arguing Using Opponent Models
Sort
View
DLOG
2003
13 years 9 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
ICCS
2009
Springer
14 years 2 months ago
Semantic Search - Using Graph-Structured Semantic Models for Supporting the Search Process
Semantic search attempts to go beyond the current state of the art in information access by addressing information needs on the semantic level, i.e. considering the meaning of user...
Thanh Tran, Peter Haase, Rudi Studer
ECAI
2004
Springer
14 years 28 days 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
ISBI
2007
IEEE
14 years 1 months ago
Inverse Biomedical Imaging Using Separately Adapted Meshes for Parameters and Forward Model Variables
Many important existing and upcoming biomedical imaging modalities lead to nonlinear relationships between state variables from which measurements result and the tissue properties...
Wolfgang Bangerth, Amit Joshi, Eva M. Sevick-Murac...
SODA
2010
ACM
160views Algorithms» more  SODA 2010»
14 years 5 months ago
Solving Simple Stochastic Tail Games
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
Hugo Gimbert, Florian Horn