7773 search results - page 289 / 1555 » On generalized Frame-Stewart numbers |
233
Voted
COOPIS
2002
IEEE
16 years 12 days ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
224
click to vote
FOCS
2002
IEEE
16 years 12 days ago
2002
IEEE
We consider the classical vertex cover and set cover problems with the addition of hard capacity constraints. This means that a set (vertex) can only cover a limited number of its...
188
Voted
INFOCOM
2002
IEEE
16 years 11 days ago
2002
IEEE
—Modern Personal Digital Assistant (PDA) architectures often utilize a wholesale data transfer protocol known as “slow sync” for synchronizing PDAs with Personal Computers (P...
204
Voted
ISSRE
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
221
Voted
LICS
2002
IEEE
16 years 10 days ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...