3443 search results - page 134 / 689 » More Algebras for Determiners |
IANDC
2008
13 years 10 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
Internet search results are a growing and highly profitable advertising platform. Search providers auction advertising slots to advertisers on their search result pages. Due to the...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
The main challenge in integrating two hierarchies is determining the correspondence between the nodes and edges of each hierarchy. Traditionally, the correspondence is determined ...
MFCS
2009
Springer
14 years 5 months ago
2009
Springer
The concept of determinism, while clear and well assessed for string languages, is still matter of research as far as picture languages are concerned. We introduce here a new kind ...
DSD
2006
IEEE
14 years 4 months ago
2006
IEEE
In wireless sensor networks, the coarse grained localization is a method to compute the position of randomly distributed sensor nodes. Without optimizations, it provides low preci...