5863 search results - page 822 / 1173 » On Model-Checking of P Systems |
200
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
The Web of Data currently coming into existence through the Linked Open Data (LOD) effort is a major milestone in realizing the Semantic Web vision. However, the development of app...
181
click to vote
ACL
2009
15 years 4 months ago
2009
Cross-lingual tasks are especially difficult due to the compounding effect of errors in language processing and errors in machine translation (MT). In this paper, we present an er...
145
click to vote
ACL
2009
15 years 4 months ago
2009
Correct stress placement is important in text-to-speech systems, in terms of both the overall accuracy and the naturalness of pronunciation. In this paper, we formulate stress ass...
209
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
Aspect-oriented refactoring is a promising technique for improving modularity and reducing complexity of existing software systems through encapsulating crosscutting concerns. As ...
196
Voted
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In this paper we consider the k-set agreement problem in distributed round-based systems where processes communicate by message passing. We capture the synchrony and reliability o...