4460 search results - page 132 / 892 » Resources in process algebra |
172
click to vote
CSCLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
161
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
145
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Despite being one of the most widely-spoken languages in the world, Portuguese remains a relatively resource-poor language, for which only in recently years NLP tools such as parse...
154
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
One of the major challenges in TRECstyle question-answering (QA) is to overcome the mismatch in the lexical representations in the query space and document space. This is particul...
165
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Efficient design of wireless networks requires implementation of cross-layer algorithms that exploit channel state information. Capitalizing on convex optimization and stochastic...