1348 search results - page 128 / 270 » Keynote Address I |
RSP
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
— Within-subject analysis in event-related functional Magnetic Resonance Imaging (fMRI) first relies on (i) a detection step to localize which parts of the brain are activated b...
AISADM
2007
Springer
14 years 4 months ago
2007
Springer
We believe that intelligent information agents will represent their users interest in electronic marketplaces and other forums to trade, exchange, share, identify, and locate goods...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Real-world behavior-based robot control problems require the coordination of a large number of competing behaviors. However, coordination becomes increasingly difficult as the num...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Recommender Systems are used in various domains to generate personalized information based on personal user data. The ability to preserve the privacy of all participants is an ess...