5638 search results - page 390 / 1128 » On presence |
184
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
185
click to vote
VLSID
2000
IEEE
15 years 11 months ago
2000
IEEE
We consider the problem of timing analysis in the presence of known false paths. The main difficulty in adaptation of classical breadth-first search to the problem is that at each...
165
click to vote
WECWIS
2000
IEEE
15 years 11 months ago
2000
IEEE
XML documents are semistructured and the structure of the documents is embedded in the tags. Although XML documents can be accompaniedby a DTD that defines the structure of the d...
186
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents Talking in Circles, a multimodal audioconferencing environment whose novel design emphasizes spatial grounding with the aim of supporting naturalistic group in...
146
click to vote
SIGECOM
2000
ACM
15 years 11 months ago
2000
ACM
Reputation reporting systems have emerged as an important risk management mechanism in online trading communities. However, the predictive value of these systems can be compromise...