2451 search results - page 423 / 491 » The Octagon Abstract Domain |
128
click to vote
PAAMS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Smart environments include context-aware computing to enhance system capabilities which affect user interaction positively. A context-aware application should collect con...
104
Voted
SAFECOMP
2010
Springer
14 years 10 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
114
Voted
SECON
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--This paper investigates the potential of the compressed sensing (CS) paradigm for video streaming in Wireless Multimedia Sensor Networks. The objective is to co-design a ...
97
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Semantic similarity and relatedness measures between ontology concepts are useful in many research areas. While similarity only considers subsumption relations to assess ...
87
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Clinical trials are fundamental for medical science: they provide the evaluation for new treatments and new diagnostic approaches. One of the most difficult parts of clin...