1391 search results - page 182 / 279 » Completeness of Neighbourhood Logic |
162
click to vote
TIME
2006
IEEE
16 years 9 days ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
165
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
118
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Various implementations are known for the efficient implementation of adders. As opposed to traditional optimization techniques a statistical approach using early termination det...
151
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
162
click to vote
AI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...