2573 search results - page 399 / 515 » Combinations of Modal Logics |
116
click to vote
VTS
2005
IEEE
15 years 10 months ago
2005
IEEE
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
163
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
131
Voted
CHES
2005
Springer
15 years 10 months ago
2005
Springer
Wave dynamic differential logic combined with differential routing is a working, practical technique to thwart side-channel power attacks. Measurement-based experimental results sh...
147
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
132
Voted
GEOS
2005
Springer
15 years 10 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...