7991 search results - page 8 / 1599 » Using More Reasoning to Improve |
MMM
2007
Springer
15 years 4 months ago
2007
Springer
A new segmentation algorithm for multifont Farsi/Arabic texts based on conditional labeling of up and down contours was presented in [1]. A preprocessing technique was used to adju...
AIEDU
2004
14 years 9 months ago
2004
Learning and reasoning from multiple documents requires students to employ the skills of sourcing (i.e., attending to and citing sources) and information integration (i.e., making ...
CSL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...