4341 search results - page 796 / 869 » Quantitative Model checking |
131
click to vote
CMMR
2007
Springer
15 years 8 months ago
2007
Springer
A survey of emotion in North Indian classical music was undertaken to determine the type and consistency of emotional responses to raag. Participants listened to five oneminute r...
126
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
149
click to vote
ISBRA
2007
Springer
15 years 8 months ago
2007
Springer
The fundamental goal of computational neuroscience is to discover anatomical features that reflect the functional organization of the brain. Investigations of the physical connect...
131
click to vote
MM
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stroke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotono...
102
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...