372 search results - page 56 / 75 » From Data to Events: Checking Properties on the Control of a... |
SP
1996
IEEE
14 years 23 days ago
1996
IEEE
The protection of personal health information has become a live issue in a number of countries including the USA, Canada, Britain and Germany. The debate has shown that there is w...
ICASSP
2011
IEEE
13 years 9 days ago
2011
IEEE
Brain-Computer Interfaces (BCIs) allow a user to control a computer application by brain activity as acquired, e.g., by EEG. A standard step in a BCI system is to project the EEG ...
INFOCOM
1998
IEEE
14 years 26 days ago
1998
IEEE
Mobile nodes of the future will be equiped with multiple network interfaces to take advantage of overlay networks, yet no current mobility systems provide full support for the sim...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
BMCBI
2006
13 years 8 months ago
2006
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...