1689 search results - page 237 / 338 » On Natural Non-dcpo Domains |
165
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
192
click to vote
RT
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we propose a solution to adapt the differential point rendering technique developed by Kalaiah and Varshney to implicit surfaces. Differential point rendering was i...
174
click to vote
ISMVL
2000
IEEE
15 years 10 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
166
click to vote
SSDBM
2000
IEEE
15 years 10 months ago
2000
IEEE
Fast retrieval of time series in terms of their contents is important in many application domains. This paper studies database techniques supporting fast searches for time series ...
150
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...