2783 search results - page 322 / 557 » The Nature Of Near-Synonymic Relations |
142
click to vote
HASKELL
2005
ACM
15 years 7 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
107
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
109
click to vote
ICMI
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents Latent Semantic Googling, a variant of Landauer’s Latent Semantic Indexing that uses the Google search engine to judge the semantic closeness of sets of word...
110
click to vote
ISRR
2005
Springer
15 years 7 months ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...
133
Voted
DCOSS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract— Wireless sensor networks are useful for monitoring physical parameters and detecting objects or substances in an area. Most ongoing research consider the use of either ...