7064 search results - page 221 / 1413 » From States to Histories |
178
click to vote
ENTCS
2002
15 years 6 months ago
2002
Morvan and Stirling have proved that the context-sensitive languages are exactly the traces of graphs defined by transducers with labelled final states. We prove that this result ...
133
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The CHI conference has grown rapidly over the last 26 years. We present a quantitative analysis on the countries and organizations that contribute to its success. Only 7.8 percent...
151
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Global and distributed software development increases the need to find and connect developers with relevant expertise. Existing recommendation systems typically model expertise b...
187
click to vote
ICVS
2009
Springer
16 years 1 months ago
2009
Springer
Traditionally computer vision and pattern recognition algorithms are evaluated by measuring differences between final interpretations and ground truth. These black-box evaluations ...
182
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...