3047 search results - page 500 / 610 » On the Meaning of Logical Completeness |
COLING
2010
14 years 4 months ago
2010
Although much work in NLP has focused on simply determining what a document means, we also must know whether or not to believe it. Fact-finding algorithms attempt to identify the ...
173
click to vote
ACTA
2011
14 years 4 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...
127
click to vote
JSC
2010
14 years 4 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
MANSCI
2010
14 years 4 months ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
103
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...