2496 search results - page 375 / 500 » Error-detecting properties of languages |
117
click to vote
RAS
2007
15 years 3 months ago
2007
RatSLAM is a biologically-inspired visual SLAM and navigation system that has been shown to be effective indoors and outdoors on real robots. The spatial representation at the cor...
132
click to vote
SCP
2010
15 years 2 months ago
2010
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
146
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
124
click to vote
ACL
2009
15 years 2 months ago
2009
Large scale efforts are underway to create dependency treebanks and parsers for Hindi and other Indian languages. Hindi, being a morphologically rich, flexible word order language...
163
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...