2573 search results - page 401 / 515 » Combinations of Modal Logics |
149
click to vote
VRCAI
2004
ACM
15 years 10 months ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
111
Voted
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
133
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
133
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
146
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...