2436 search results - page 396 / 488 » Comonadic Notions of Computation |
165
click to vote
JMIV
1998
15 years 3 months ago
1998
Singular points of scalar images in any dimensions are classified by a topological number. This number takes integer values and can efficiently be computed as a surface integral ...
147
click to vote
SCP
1998
15 years 3 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
115
click to vote
TCS
2002
15 years 3 months ago
2002
Oblivious permutation routing in binary d-cubes has been well studied in the literature. In a permutation routing, each node initially contains a packet with a destination such th...
124
click to vote
MP
2007
15 years 3 months ago
2007
The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...
116
click to vote
PUC
2007
15 years 3 months ago
2007
This paper proposes a notion of interaction corpus, a captured collection of human behaviors and interactions among humans and artifacts. Digital multimedia and ubiquitous sensor t...