3573 search results - page 385 / 715 » Reasoning about Codata |
151
click to vote
BC
2006
15 years 6 months ago
2006
The part of the primate visual cortex responsible for the recognition of objects is parcelled into about a dozen areas organized somewhat hierarchically (the region is called the v...
147
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
157
click to vote
CONNECTION
2006
15 years 6 months ago
2006
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
176
click to vote
ENTCS
2006
15 years 6 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
155
click to vote
ENTCS
2006
15 years 6 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...