4325 search results - page 596 / 865 » Incremental computation with names |
214
click to vote
STACS
2007
Springer
16 years 22 days ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
163
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
206
click to vote
ACSC
2006
IEEE
16 years 21 days ago
2006
IEEE
Remotely-sensed images of the earth’s surface are used across a wide range of industries and applications including agriculture, mining, defence, geography and geology, to name ...
177
click to vote
CLUSTER
2006
IEEE
16 years 21 days ago
2006
IEEE
Interconnect speeds currently surpass the abilities of today’s processors to satisfy their demands. The throughput rate provided by the network simply generates too much protoco...
122
click to vote
CVPR
2006
IEEE
16 years 21 days ago
2006
IEEE
A wide range of methods have been proposed to detect and recognize objects. However, effective and efficient multiviewpoint detection of objects is still in its infancy, since mo...