Sciweavers

3432 search results - page 97 / 687
» Language as a Complex Adaptive System
Sort
View
ICALP
2003
Springer
14 years 2 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
MT
2007
100views more  MT 2007»
13 years 8 months ago
Semi-supervised model adaptation for statistical machine translation
Statistical machine translation systems are usually trained on large amounts of bilingual text (used to learn a translation model), and also large amounts of monolingual text in th...
Nicola Ueffing, Gholamreza Haffari, Anoop Sarkar
ADBIS
1997
Springer
109views Database» more  ADBIS 1997»
14 years 1 months ago
A Graphical Yet Formalized Framework for Specifying View Systems
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
Zinovy Diskin, Boris Cadish
DAGSTUHL
2007
13 years 10 months ago
Model-Driven Development for End-Users, too!?
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
Gregor Engels
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
14 years 2 months ago
UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design
UML is gaining increased attention as a system design language, as indicated by current standardization activities such as the SysML initiative and the UML for SoC Forum. Moreover...
Yves Vanderperren, Wim Dehaene