3653 search results - page 147 / 731 » On Recognizable Timed Languages |
FLAIRS
2006
14 years 11 months ago
2006
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Human languages evolve continuously, and a puzzling problem is how to reconcile the apparent robustness of most of the deep linguistic structures we use with the evidence that the...
144
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
211
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
C5
2008
IEEE
15 years 4 months ago
2008
IEEE
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...