4325 search results - page 120 / 865 » Incremental computation with names |
211
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Recent work in structure from motion (SfM) has successfully built 3D models from large unstructured collections of images downloaded from the Internet. Most approaches use increme...
179
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
We describe a new attack against web authentication, which we call dynamic pharming. Dynamic pharming works by hijacking DNS and sending the victim’s browser malicious Javascrip...
182
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
Networking homes, offices, cars and hand-held computers is the current trend of distributed mobile computing. The ever growing demand of the enterprise for integrating new technol...
141
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
214
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...