6358 search results - page 987 / 1272 » Computing spectral sequences |
178
click to vote
ACSC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
176
click to vote
CIBCB
2006
IEEE
16 years 22 days ago
2006
IEEE
- Sliding window based methods are relatively often applied in prediction of various aspects related to protein structure. Despite their wide spread use, researchers did not establ...
194
click to vote
CVPR
2006
IEEE
16 years 22 days ago
2006
IEEE
In scenes containing specular objects, the image motion observed by a moving camera may be an intermixed combination of optical flow resulting from diffuse reflectance (diffuse ...
176
click to vote
DSN
2006
IEEE
16 years 22 days ago
2006
IEEE
One way to prevent control hijacking attack is to compare a network application’s run-time system calls with a pre-defined normal system call behavior model, and raise an alert...
170
click to vote
FOCS
2006
IEEE
16 years 22 days ago
2006
IEEE
Lossless condensers are unbalanced expander graphs, with expansion close to optimal. Equivalently, they may be viewed as functions that use a short random seed to map a source on ...