Sciweavers

2672 search results - page 182 / 535
» Hybridizing Concept Languages
Sort
View
MKWI
2008
206views Business» more  MKWI 2008»
13 years 10 months ago
Service-Oriented Architecture: Introducing a Query Language
: Language offers human beings the ability to exchange information. Whether the information is understood or not depends on the structure, complexity and knowledge of the language....
Sebastian Günther, Claus Rautenstrauch, Niko ...
JSS
2010
120views more  JSS 2010»
13 years 4 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
LLC
2011
120views more  LLC 2011»
13 years 3 months ago
How Talker Identity Relates to Language Processing
Speech carries both linguistic content – phonemes, words, sentences – and talker information, sometimes called ‘indexical information’. While talker variability materially...
Sarah C. Creel, Micah R. Bregman
LATA
2009
Springer
14 years 4 months ago
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
Bruno Courcelle
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
14 years 1 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...