Sciweavers

1364 search results - page 163 / 273
» Comparative Branching-Time Semantics
Sort
View
125
Voted
CMMR
2007
Springer
104views Music» more  CMMR 2007»
15 years 9 months ago
Semiotics of Sounds Evoking Motions: Categorization and Acoustic Features
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
Adrien Merer, Sølvi Ystad, Richard Kronland...
144
Voted
ESWS
2007
Springer
15 years 9 months ago
Ontology-based Representation of Compliance Requirements for Service Processes
: Service processes are becoming increasingly essential in modern economies as traditional, production-oriented industries decline. When comparing service processes to standard bus...
Rainer Schmidt, Christian Bartsch, Roy Oberhauser
97
Voted
OOPSLA
2007
Springer
15 years 9 months ago
Understanding programmer language
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
Einar W. Høst
132
Voted
RR
2007
Springer
15 years 9 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
111
Voted
WILF
2007
Springer
125views Fuzzy Logic» more  WILF 2007»
15 years 9 months ago
Computational Humour: Utilizing Cross-Reference Ambiguity for Conversational Jokes
This paper presents a computer implementation that utilizes cross-reference ambiguity in utterances for simple conversational jokes. The approach is based on the SSTH. Using a simp...
Hans Wim Tinholt, Anton Nijholt