Sciweavers

1943 search results - page 146 / 389
» Ordering Default Theories
Sort
View
ICASSP
2007
IEEE
16 years 1 months ago
Automating Ornamentation Transcription
A novel technique for detecting single and multi-note ornaments is presented. The system detects audio segments by utilising an onset detector based on comb filters (ODCF), which ...
Mikel Gainza, Eugene Coyle
CONCUR
2007
Springer
16 years 1 months ago
Coalgebraic Models for Reactive Systems
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
Filippo Bonchi, Ugo Montanari
OTM
2007
Springer
16 years 1 months ago
A Meta-model for Ontologies with ORM2
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
Christina Tziviskou, C. Maria Keet
GLVLSI
2006
IEEE
98views VLSI» more  GLVLSI 2006»
16 years 1 months ago
Rapid intermodulation distortion estimation in fully balanced weakly nonlinear Gm-C filters using state-space modeling
State-space modeling of fully differential Gm-C filters with weak nonlinearities is used to develop a fast algorithm for intermodulation distortion estimation. It results in sim...
Paul Sotiriadis, Abdullah Celik, Zhaonian Zhang
BIRTHDAY
2005
Springer
16 years 16 days ago
Graph Transformation with Variables
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
Berthold Hoffmann