Sciweavers

3706 search results - page 162 / 742
» System Description: E-KRHyper
Sort
View
EVOW
2006
Springer
14 years 1 months ago
Synthesising Timbres and Timbre-Changes from Adjectives/Adverbs
Synthesising timbres and changes to timbres from natural language descriptions is an interesting challenge for computer music. This paper describes the current state of an ongoing ...
Alex Gounaropoulos, Colin G. Johnson
AAAI
2008
13 years 11 months ago
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...
WICSA
2001
13 years 10 months ago
Statechart Simulator for Modeling Architectural Dynamics
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
Alexander Egyed, David S. Wile
FORTE
1990
13 years 10 months ago
Step-wise Refinement Design Example Using LOTOS
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
Luís Ferreira Pires, Wanderley Lopes de Sou...
CORR
2002
Springer
126views Education» more  CORR 2002»
13 years 9 months ago
Unsupervised Discovery of Morphemes
We present two methods for unsupervised segmentation of words into morphemelike units. The model utilized is especially suited for languages with a rich morphology, such as Finnis...
Mathias Creutz, Krista Lagus