1798 search results - page 357 / 360 » Generating presentation constraints from rhetorical structur... |
DIALM
2004
ACM
14 years 1 months ago
2004
ACM
We present three localized techniques for broadcasting in large scale ad hoc networks, i.e., for the problem of disseminating a message from a source node to all the nodes in the ...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
ATAL
2003
Springer
14 years 28 days ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...
DOCENG
2007
ACM
13 years 11 months ago
2007
ACM
A surrogate is an object that stands for a document and enables navigation to that document. Hypermedia is often represented with textual surrogates, even though studies have show...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Web spam is a widely-recognized threat to the quality and security of the Web. Web spam pages pollute search engine indexes, burden Web crawlers and Web mining services, and expos...