4690 search results - page 794 / 938 » An operational semantics for Scheme |
192
click to vote
SSDBM
2006
IEEE
16 years 1 months ago
2006
IEEE
Monitoring movement of high-dimensional points is essential for environmental databases, geospatial applications, and biodiversity informatics as it reveals crucial information ab...
198
click to vote
SUTC
2006
IEEE
16 years 1 months ago
2006
IEEE
Taking advantage of the delay tolerance for objects tracking sensor networks, we propose delay-tolerant trajectory compression (DTTC) technique, an efficient and accurate algorit...
229
click to vote
SUTC
2006
IEEE
16 years 1 months ago
2006
IEEE
Security in wireless ad hoc networks is hard to achieve due to the vulnerability of its links, limited physical protection, and the absence of a centralized management point. Cons...
165
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
— We present a precoded reduced-complexity soft detection (PRCSD) algorithm for spatial multiplexing systems. The linear operations at both transmit and receive sides based on co...
209
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...