Sciweavers

3706 search results - page 389 / 742
» OntoComP System Description
Sort
View
COORDINATION
2005
Springer
16 years 1 months 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à
199
Voted
EWMF
2005
Springer
16 years 1 months 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 1 months 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 1 months 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 1 months 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