271 search results - page 40 / 55 » Logics from Galois connections |
139
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
215
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
113
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose an interconnect reorganization algorithm for reduction stages in parallel multipliers. It aims at minimizing power consumption for given static probabilities at the pri...
132
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
103
click to vote
SYNTHESE
2011
14 years 9 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...