1418 search results - page 284 / 284 » The Dynamic Complexity of Formal Languages |
MTA
2008
13 years 5 months ago
2008
Information on the World Wide Web becomes more and more important for our society. For blind people this is a chance to access more information for their everyday life. In this pap...
CE
2005
13 years 5 months ago
2005
Laboratory exercises, field observations and field trips are a fundamental part of many earth science and environmental science courses. Field observations and field trips can be ...
ICSE
2007
IEEE-ACM
13 years 12 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...