4498 search results - page 539 / 900 » How to Invent Functions |
178
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
209
click to vote
ALT
2008
Springer
16 years 3 months ago
2008
Springer
Abstract For many centuries scientists have wondered how the human brain represents thoughts in terms of the underlying biology of neural activity. Philosophers, linguists, cogniti...
149
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
— Being able to localize the origin of a sound is important for our capability to interact with the environment. Humans can localize a sound source in both the horizontal and ver...
159
click to vote
TAICPART
2006
IEEE
16 years 8 days ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
166
click to vote
ML
2006
ACM
16 years 7 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...