6978 search results - page 1028 / 1396 » On Proofs in System P |
199
click to vote
SIMPRA
2010
15 years 6 months ago
2010
Abstract — We apply finite state-dependent queueing networks to model mobility in mobile communication systems. Although they have been successfully used in the past to model ve...
227
click to vote
SEMWEB
2010
Springer
15 years 5 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...
204
click to vote
ACL
2009
15 years 5 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...
161
click to vote
ACL
2009
15 years 5 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...
237
click to vote
AOSD
2011
ACM
15 years 2 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 ...