535 search results - page 104 / 107 » Termination of Abstract Reduction Systems |
LCPC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontroller...
CLOUD
2010
ACM
14 years 3 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
EUROPKI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A substantial number of micropayment schemes in the literature are based on distributing the cost of a digital signature over several successive micropayments (e.g. Paywo...
IJCAI
2007
13 years 11 months ago
2007
Traditionally, Information Extraction (IE) has focused on satisfying precise, narrow, pre-specified requests from small homogeneous corpora (e.g., extract the location and time o...
GI
2009
Springer
13 years 7 months ago
2009
Springer
Abstract: Towed low frequency active sonar systems (LFAS) are used in Anti-Submarine Warfare (ASW) to detect submarines. LFAS systems are hampered by reverberation in shallow water...