1941 search results - page 373 / 389 » Reasoning about Computations Using Two-Levels of Logic |
MOBISYS
2010
ACM
15 years 2 months ago
2010
ACM
Most current methods for 802.11-based indoor localization depend on surveys conducted by experts or skilled technicians. Some recent systems have incorporated surveying by users. ...
ICPR
2002
IEEE
16 years 26 days ago
2002
IEEE
: One way to scale up clustering algorithms is to squash the data by some intelligent compression technique and cluster only the compressed data records. Such compressed data recor...
119
click to vote
EUROCRYPT
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. The Joint Sparse Form is currently the standard representation system to perform multi-scalar multiplications of the form [n]P + m[Q]. We introduce the concept of Joint D...
PEWASUN
2004
ACM
15 years 5 months ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
131
click to vote
ICS
1995
Tsinghua U.
15 years 3 months ago
1995
Tsinghua U.
Current data cache organizations fail to deliver high performance in scalar processors for many vector applications. There are two main reasons for this loss of performance: the u...