1420 search results - page 186 / 284 » Decision Making Using Probabilistic Inference Methods |
105
click to vote
CIMCA
2005
IEEE
15 years 8 months ago
2005
IEEE
Wrappers play an important role in extracting specified information from various sources. Wrapper rules by which information is extracted are often created from the domain-specifi...
140
click to vote
PAMI
2007
15 years 1 months ago
2007
—A system that could automatically analyze the facial actions in real time has applications in a wide range of different fields. However, developing such a system is always chall...
105
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
102
click to vote
ICOIN
2004
Springer
15 years 7 months ago
2004
Springer
Packet reordering is a well-known phenomenon that the order of packets is inverted in the Internet. Previous research indicates reordering can affect the performance of both the ne...
114
click to vote
ER
2006
Springer
15 years 6 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...