1592 search results - page 95 / 319 » The state of the email address |
NIPS
2004
13 years 10 months ago
2004
Theories of access consciousness address how it is that some mental states but not others are available for evaluation, choice behavior, and verbal report. Farah, O'Reilly, a...
DSN
2004
IEEE
14 years 1 months ago
2004
IEEE
The management of modern distributed systems is complicated by scale and dynamics. Scalable, decoupled communication establishes flexible, loosely coupled component relationships,...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
We address the problem of classification of EEG recordings for the detection of epileptic seizures. We assume that the EEG measurements can be described by a low dimensional manif...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Many methods and tools for the reengineering of software systems have been developed so far. However, the domain-specific requirements of telecommunication systems have not been a...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...