6800 search results - page 962 / 1360 » Testing with Functions as Specifications |
153
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We analyze the strategic interactions among endusers and between end-users and attackers in mass and targeted attacks. In mass attacks, precautions by endusers are strategic subst...
168
Voted
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Traditional fMRI analysis has focused on modeling temporal changes in BOLD signals on a voxel-by-voxel basis to infer brain activation. To incorporate spatial information, we have...
177
Voted
SC
2009
ACM
16 years 1 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
196
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Independent component analysis (ICA) is not only popular for blind source separation but also for unsupervised learning when the observations can be decomposed into some independe...
171
click to vote
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
IMS Learning Design (IMS LD) is a powerful and expressive educational modeling language, which is becoming a “de facto” encoding and interchange standard for activity-based co...