23704 search results - page 17 / 4741 » Data and Information as Property |
123
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
154
click to vote
IJCNN
2006
IEEE
15 years 7 months ago
2006
IEEE
— Recent work has revealed a close connection between certain information theoretic divergence measures and properties of Mercer kernel feature spaces. Specifically, it has been...
108
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
108
Voted
CIARP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Cluster validation to determine the right number of clusters is an important issue in clustering processes. In this work, a strategy to address the problem of cluster val...
129
click to vote
CONCURRENCY
2008
15 years 1 months ago
2008
context. In contrast to previous approaches that take a very abstract view of IQ properties, we allow scientists to define the quality characteristics that are of importance to the...