Sciweavers

3824 search results - page 306 / 765
» Geometry Constructions Language
Sort
View
ENTCS
2007
130views more  ENTCS 2007»
15 years 4 months ago
Specify, Compile, Run: Hardware from PSL
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
Roderick Bloem, Stefan Galler, Barbara Jobstmann, ...
COLING
2004
15 years 4 months ago
Word Translation Disambiguation Using Bilingual Bootstrapping
This paper proposes a new method for word translation disambiguation using a machine learning technique called `Bilingual Bootstrapping'. Bilingual Bootstrapping makes use of...
Hang Li, Cong Li
COLING
2002
15 years 4 months ago
Paraphrasing of Chinese Utterances
One of the key issues in spoken language translation is how to deal with unrestricted expressions in spontaneous utterances. This research is centered on the development of a Chin...
Yujie Zhang, Kazuhide Yamamoto
SAC
2008
ACM
15 years 4 months ago
Preserving coordination properties when transforming concurrent system components
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
Gudmund Grov, Robert F. Pointon, Greg Michaelson, ...
ICEIS
2010
IEEE
15 years 2 months ago
Graph-based Knowledge Representation and Reasoning
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
M. Chein