1307 search results - page 88 / 262 » Follow the intellectual property |
107
click to vote
CRV
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we introduce the Fourier tag, a synthetic fiducial marker used to visually encode information and provide controllable positioning. The Fourier tag is a synthetic ta...
115
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...
119
Voted
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...
AMW
2010
15 years 3 months ago
2010
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...
COLING
2008
15 years 3 months ago
2008
We study the self-organization of the consonant inventories through a complex network approach. We observe that the distribution of occurrence as well as cooccurrence of the conso...