4555 search results - page 305 / 911 » Deductive Algorithmic Knowledge |
118
Voted
IMR
2004
Springer
15 years 8 months ago
2004
Springer
There are many diverse algorithms for generating a first mesh, refining it and improving it. A tool that allows us to interchange these algorithms according to the requirements ...
128
Voted
FPGA
2001
ACM
15 years 8 months ago
2001
ACM
As integrated circuits are migrated to more advanced technologies, it has become clear that crosstalk is an important physical phenomenon that must be taken into account. Crosstal...
146
click to vote
PAKDD
2001
ACM
15 years 8 months ago
2001
ACM
Data clustering methods have many applications in the area of data mining. Traditional clustering algorithms deal with quantitative or categorical data points. However, there exist...
141
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
114
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...