2713 search results - page 276 / 543 » Parameterized Tree Systems |
157
click to vote
ASPDAC
2006
ACM
16 years 17 days ago
2006
ACM
- We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the comp...
173
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
148
click to vote
EMNLP
2007
15 years 8 months ago
2007
This paper discusses automatic determination of case in Arabic. This task is an important part and major source of errors in full diacritization of Arabic. We use a goldstandard s...
281
click to vote
Book
This book covers several topics such as Classification, Classical Statistical Methods, Modern Statistical Techniques, Machine Learning of Rules and Trees, Neural Networks
Methods ...
158
click to vote
SSS
2005
Springer
16 years 2 days ago
2005
Springer
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...