13651 search results - page 529 / 2731 » Spectral analysis of data |
170
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
188
click to vote
SAINT
2005
IEEE
16 years 18 days ago
2005
IEEE
Basket Analysis is mathematically characterized and extended to search families of sets in this paper. These theories indicate the possibility of various new approaches of data mi...
183
click to vote
ESEM
2007
ACM
15 years 11 months ago
2007
ACM
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
200
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
208
click to vote
APWEB
2006
Springer
15 years 9 months ago
2006
Springer
Applications of sensor networks have become an emerging technology which can monitor a specific area and collect environmental data around the district. The energy of sensor nodes ...