2272 search results - page 375 / 455 » A Calculus for |
DEXAW
2007
IEEE
14 years 5 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
FUZZIEEE
2007
IEEE
14 years 5 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...
ICSEA
2007
IEEE
14 years 5 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
ISBI
2007
IEEE
14 years 5 months ago
2007
IEEE
In total knee replacement surgery, also known as total knee arthroplasty, prosthetics are implanted in the knee joint as treatment for progressive diseases such as arthritis or tr...
LICS
2007
IEEE
14 years 5 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...