2596 search results - page 420 / 520 » Gradual Typing for Objects |
140
Voted
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Server consolidation based on virtualization is a key ingredient for improving power efficiency and resource utilization in cloud computing infrastructures. However, to provide...
140
Voted
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
Digital Libraries are complex information systems that involve rich sets of digital objects and their respective metadata, along with multiple organizational structures and servic...
135
Voted
AIML
2008
15 years 5 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
128
Voted
IPCO
2010
15 years 5 months ago
2010
In a column-restricted covering integer program (CCIP), all the non-zero entries of any column of the constraint matrix are equal. Such programs capture capacitated versions of cov...
126
Voted
LREC
2010
15 years 5 months ago
2010
The current PASSAGE syntactic representation is the result of 9 years of constant evolution with the aim of providing a common ground for evaluating parsers of French whatever the...