Sciweavers

5984 search results - page 843 / 1197
» The Informal Nature of Systems Engineering
Sort
View
ICCPOL
2009
Springer
16 years 6 days ago
Constructing Parallel Corpus from Movie Subtitles
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...
Han Xiao, Xiaojie Wang
ECSQARU
2001
Springer
16 years 3 days ago
Reasoning about Knowledge Using Rough Sets
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
Weiru Liu
DATE
2000
IEEE
87views Hardware» more  DATE 2000»
16 years 21 hour ago
Test Synthesis for Mixed-Signal SOC Paths
Higher levels of integration, the need for test re-use, and the mixed-signal nature of today’s SOC’s necessitate hierarchical test generation and system level test composition...
Sule Ozev, Ismet Bayraktaroglu, Alex Orailoglu
ADC
2000
Springer
146views Database» more  ADC 2000»
15 years 12 months ago
Handling Dynamic Schema Change in Process Models
Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platfo...
Shazia W. Sadiq
FM
1999
Springer
93views Formal Methods» more  FM 1999»
15 years 12 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine