1081 search results - page 68 / 217 » Working with the LR Degrees |
110
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
103
Voted
PODS
2010
ACM
15 years 5 months ago
2010
ACM
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
111
Voted
COOPIS
2002
IEEE
15 years 5 months ago
2002
IEEE
Interactive virtual worlds provide a powerful medium for experimental learning and entertainment. Nowadays, virtual environments often incorporate human-like embodied virtual agent...
113
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
— Recent work has shown that the node degree in the WWW induced graph and the AS-level Internet topology exhibit power laws. Since then several algorithms have been proposed to g...
88
Voted
CPAIOR
2010
Springer
15 years 5 months ago
2010
Springer
We present a maintenance scheduling problem arising from semi-conductor manufacturing which is characterized by low resource contention and multiple complex objectives and prefere...