Sciweavers

511 search results - page 88 / 103
» Spelling Correction Using Context
Sort
View
116
Voted
P2P
2003
IEEE
205views Communications» more  P2P 2003»
15 years 5 months ago
Peer-to-Peer Spatial Queries in Sensor Networks
Sensor networks, that consist of potentially several thousands of nodes each with sensing (heat, sound, light, magnetism, etc.) and wireless communication capabilities, provide gr...
Murat Demirbas, Hakan Ferhatosmanoglu
ECOOP
2007
Springer
15 years 4 months ago
Synchronizing Refactored UML Class Diagrams and OCL Constraints
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
Slavisa Markovic, Thomas Baar
BMCBI
2006
144views more  BMCBI 2006»
15 years 16 days ago
ProFAT: a web-based tool for the functional annotation of protein sequences
Background: The functional annotation of proteins relies on published information concerning their close and remote homologues in sequence databases. Evidence for remote sequence ...
Charles Richard Bradshaw, Vineeth Surendranath, Bi...
118
Voted
TCS
2002
15 years 4 days ago
Authentication tests and the structure of bundles
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
Joshua D. Guttman, F. Javier Thayer
103
Voted
CASES
2006
ACM
15 years 4 months ago
Probabilistic arithmetic and energy efficient embedded signal processing
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
Jason George, B. Marr, Bilge E. S. Akgul, Krishna ...