6607 search results - page 1274 / 1322 » Making TeX Work |
AROBOTS
2005
14 years 9 months ago
2005
In the recent past, several researchers have shown that important variables in relearning motor skills and in changing the underlying neural architecture after stroke are the quant...
TCOM
2008
14 years 9 months ago
2008
Abstract-- Traditionally, conflict resolution in an inputbuffered switch is solved by finding a matching between inputs and outputs per time slot. To do this, a switch not only nee...
ASE
2005
14 years 9 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
103
click to vote
IPM
2007
14 years 9 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
IR
2007
14 years 9 months ago
2007
Variants of Huffman codes where words are taken as the source symbols are currently the most attractive choices to compress natural language text databases. In particular, Tagged...