1581 search results - page 214 / 317 » Mechanizing Inductive Reasoning |
110
click to vote
ACTAC
2006
14 years 12 months ago
2006
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
104
click to vote
FSS
2008
14 years 12 months ago
2008
In the field of classification problems, we often encounter classes with a very different percentage of patterns between them, classes with a high pattern percentage and classes w...
123
click to vote
ENTCS
2006
14 years 12 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
GRID
2006
Springer
14 years 12 months ago
2006
Springer
In this paper, a task parallel application is implemented with Ninf-G which is a GridRPC system, and experimented on, using the Grid testbed in Asia Pacific, for three months. The...
105
click to vote
JODS
2006
14 years 12 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...