2490 search results - page 343 / 498 » Complexity of Contextual Reasoning |
129
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
104
click to vote
QUATIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
136
click to vote
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
—Teaching a robot new skills may require that the teacher scaffolds the teaching experience appropriately. However, due to inherent assumptions made by a human teacher the scaffo...
129
click to vote
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
Fault tolerant distributed protocols typically utilize a homogeneous fault model, either fail-crash or fail-Byzantine, where all processors are assumed to fail in the same manner....
137
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...