3690 search results - page 666 / 738 » Computation with classical sequents |
107
click to vote
RT
2004
Springer
15 years 3 months ago
2004
Springer
ks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments Hui Xu, Nathan Gossett and Baoquan Chen University of Minnesota Digital Technology Center at Twin Cities † ...
TAL
2004
Springer
15 years 3 months ago
2004
Springer
Word fragments or n-grams have been widely used to perform different Natural Language Processing tasks such as information retrieval [1] [2], document categorization [3], automatic...
ICDCSW
2003
IEEE
15 years 3 months ago
2003
IEEE
Nodes in ad hoc networks generally transmit data at regular intervals over long periods of time. Recently, ad hoc network nodes have been built that run on little power and have v...
ICPP
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper investigates the power mode management problem for an IEEE 802.11-based mobile ad hoc network (MANET) that allows mobile hosts to tune to the power-saving (PS) mode. The...
100
click to vote
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...