8337 search results - page 1637 / 1668 » Reasoning With Characteristic Models |
BIRTHDAY
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
CIKM
2004
Springer
14 years 24 days ago
2004
Springer
The Google search engine uses a method called PageRank, together with term-based and other ranking techniques, to order search results returned to the user. PageRank uses link ana...
KR
2004
Springer
14 years 23 days ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
RT
2004
Springer
14 years 23 days ago
2004
Springer
We introduce a method based on precomputed radiance transfer (PRT) that allows interactive rendering of glossy surfaces and includes shadowing effects from dynamic, “all-frequen...
ISCAS
2003
IEEE
14 years 20 days ago
2003
IEEE
We propose an algorithm based on singular value decomposition (SVD) to reduce the number of process variation variables. With few process variation variables, fault simulation and...