22114 search results - page 4331 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
200
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
197
click to vote
TKDE
2012
13 years 8 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
170
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The Lepidoptera Spodoptera frugiperda is a pest which causes widespread economic damage on a variety of crop plants. It is also well known through its famous Sf9 cell ...
276
click to vote
VCIP
2000
15 years 6 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
155
click to vote
SPAA
2010
ACM
15 years 10 months ago
2010
ACM
Partitioning is the dominant technique to transmit large files in peer-to-peer networks. A peer can redistribute each part immediately after its download. BitTorrent combines thi...