5122 search results - page 222 / 1025 » Comparing Consequence Relations |
163
click to vote
GSN
2009
Springer
15 years 9 months ago
2009
Springer
The understanding of complex environmental phenomena, such as deforestation and epidemics, requires observations at multiple scales. This scale dependency is not handled well by to...
131
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
128
click to vote
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
114
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
In a combined negotiation in e-commerce, the user is interested in many goods or services and consequently engages in many negotiations at the same time. The negotiations are inde...
145
Voted
ISCA
2000
IEEE
15 years 9 months ago
2000
IEEE
Trace caches enable high bandwidth, low latency instruction supply, but have a high miss penalty and relatively large working sets. Consequently, their performance may suffer due ...