Sciweavers

1364 search results - page 163 / 273
» Comparative Branching-Time Semantics
Sort
View
CMMR
2007
Springer
104views Music» more  CMMR 2007»
16 years 14 days 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...
ESWS
2007
Springer
16 years 14 days 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
OOPSLA
2007
Springer
16 years 13 days 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
RR
2007
Springer
16 years 13 days 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
WILF
2007
Springer
125views Fuzzy Logic» more  WILF 2007»
16 years 12 days 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