6756 search results - page 976 / 1352 » The Structure of Visual Spaces |
195
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
173
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Research shows that most agent-based collaborations suffer from lack of flexibility. This is due to the fact that most agent-based applications assume pre-defined knowledge of age...
200
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
160
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In the general area of radar detection, estimation of the clutter covariance matrix is an important point. This matrix commonly exhibits a persymmetric structure: this is the case...
185
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider comparison of Mutual Information (MI)-Energy tradeoff in correlated wireless sensor network (WSN) for cooperative multiple input and multiple output (MIMO) and non-...