4743 search results - page 420 / 949 » The PlusCal Algorithm Language |
125
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
151
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
DEIRA is a virtual agent commenting on virtual horse races in real time. DEIRA analyses the state of the race, acts emotionally and comments about the situation in a believable an...
122
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Given a connected graph G and a failure probability pe for each edge e in G, the reliability of G is the probability that G remains connected when each edge e is removed independe...
154
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
153
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We argue that expert finding is sensitive to multiple document features in an organization, and therefore, can benefit from the incorporation of these document features. We propos...