3928 search results - page 54 / 786 » order 2006 |
ASE
2006
13 years 10 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
KDD
2006
ACM
14 years 10 months ago
2006
ACM
Ontologies represent data relationships as hierarchies of possibly overlapping classes. Ontologies are closely related to clustering hierarchies, and in this article we explore th...
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
ICDM
2006
IEEE
14 years 4 months ago
2006
IEEE
Internet routing dynamics have been extensively studied in the past few years. However, dynamics such as interdomain Border Gateway Protocol (BGP) behavior are still poorly unders...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
For the RISM A/II collection of musical incipits (short extracts of scores, taken from the beginning), we have established a ground truth based on the opinions of human experts. I...