Sciweavers

3706 search results - page 389 / 742
» OntoComP System Description
Sort
View
COORDINATION
2005
Springer
16 years 7 days ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà
EWMF
2005
Springer
16 years 6 days ago
Semi-automatic Construction of Topic Ontologies
In this paper, we review two techniques for topic discovery in collections of text documents (Latent Semantic Indexing and K-Means clustering) and present how we integrated them in...
Blaz Fortuna, Dunja Mladenic, Marko Grobelnik
FROCOS
2005
Springer
16 years 6 days ago
A Comprehensive Framework for Combined Decision Procedures
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
GW
2005
Springer
189views Biometrics» more  GW 2005»
16 years 6 days ago
Automatic Generation of German Sign Language Glosses from German Words
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
Jan Bungeroth, Hermann Ney
OOPSLA
2005
Springer
16 years 5 days ago
Inferring context-free grammars for domain-specific languages
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
Faizan Javed