3605 search results - page 404 / 721 » Associated types with class |
179
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
176
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
152
Voted
AUTOMATICA
2007
15 years 7 months ago
2007
The certainty equivalence approach to adaptive control is commonly used with two types of identifiers: passivity-based identifiers and swapping identifiers. The “passive” (...
142
click to vote
BMCBI
2010
15 years 7 months ago
2010
The Protein-DNA Interface database (PDIdb) is a repository containing relevant structural information of Protein-DNA complexes solved by X-ray crystallography and available at the...
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Let S = {si}iIN IN be a numerical semigroup. For si S, let (si) denote the number of pairs (si -sj, sj) S2 . When S is the Weierstrass semigroup of a family {Ci}iIN of one-point...