8828 search results - page 1743 / 1766 » Formal methods in practice |
JCB
2008
14 years 9 months ago
2008
Large-scale whole genome association studies are increasingly common, due in large part to recent advances in genotyping technology. With this change in paradigm for genetic studi...
JUCS
2008
14 years 9 months ago
2008
Abstract: ZRTP is a protocol designed to set up a shared secret between two communication parties which is subsequently used to secure the media stream (i.e. the audio data) of a V...
JFR
2006
14 years 9 months ago
2006
In mobile robotics, there are often features that, while potentially powerful for improving navigation, prove difficult to profit from as they generalize poorly to novel situations...
JGS
2006
14 years 9 months ago
2006
In practical applications of area-to-point spatial interpolation, inequality constraints, such as non-negativity, or more general constraints on the maximum and/or minimum allowab...
ML
2008
ACM
14 years 9 months ago
2008
ACM
Although memory-based classifiers offer robust classification performance, their widespread usage on embedded devices is hindered due to the device's limited memory resources...