3256 search results - page 631 / 652 » Applications of Formal Methods to System Design and Verifica... |
110
click to vote
MM
2004
ACM
15 years 3 months ago
2004
ACM
Security of multimedia files attracts more and more attention and many encryption methods have been proposed in literature. However most cryptographic systems deal with multimedia...
108
Voted
W2GIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring t...
MOBISYS
2004
ACM
15 years 9 months ago
2004
ACM
The 802.11 IEEE Standard has enabled low cost and effective wireless LAN services (WLAN). With the sales and deployment of WLAN based networks exploding, many people believe that ...
117
click to vote
DAGSTUHL
2009
14 years 10 months ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...