1638 search results - page 261 / 328 » A General Semantics for Evaluation Logic |
105
click to vote
HT
1987
ACM
15 years 3 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
We propose to shift the goal of recognition from naming
to describing. Doing so allows us not only to name familiar
objects, but also: to report unusual aspects of a familiar
ob...
120
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
Spatiotemporal data is associated with vast amounts of raw samples. Given the limited computational resources typically available, an initial organization of this data supporting
...
WWW
2008
ACM
16 years 8 days ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
169
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...