2705 search results - page 326 / 541 » Formal Ontology for Subject |
127
Voted
CIKM
2010
Springer
14 years 7 months ago
2010
Springer
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
100
Voted
HEURISTICS
2010
14 years 7 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...
88
Voted
SIAMSC
2010
14 years 7 months ago
2010
Abstract. The full multigrid (FMG) algorithm is often claimed to achieve so-called discretizationlevel accuracy. In this paper, this notion is formalized by defining a worst-case r...
96
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
109
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The process of rank aggregation is intimately intertwined with the structure of skew-symmetric matrices. We apply recent advances in the theory and algorithms of matrix completion...