2935 search results - page 290 / 587 » An Integrated Approach to High Integrity Software Verificati... |
167
click to vote
SENSYS
2005
ACM
16 years 4 days ago
2005
ACM
Wireless sensor networks based on highly resource-constrained devices require symmetric cryptography in order to make them secure. Integral to this is the exchange of unique symme...
180
click to vote
CIBCB
2005
IEEE
15 years 8 months ago
2005
IEEE
— We present an integrative method for clustering coregulated genes and elucidating their underlying regulatory mechanisms. We use multi-state partition functions and thermodynam...
176
click to vote
IJWET
2010
15 years 5 months ago
2010
: After several years of research, the fundamental Semantic Web technologies have reached a high maturity level. Nevertheless, the average Web user has not yet taken advantage of t...
189
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Grouping cues can affect the performance of segmentation greatly. In this paper, we show that superpixels (image segments) can provide powerful grouping cues to guide segmentation...
160
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...