2840 search results - page 363 / 568 » Information Retrieval and Artificial Intelligence |
152
click to vote
TABLEAUX
2007
Springer
16 years 21 days ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
129
click to vote
CEC
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract- On marginal winter nights, highway authorities face a difficult decision as to whether or not to salt the road network. The consequences of making a wrong decision are s...
148
click to vote
CEC
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
216
click to vote
WCFLP
2005
ACM
16 years 5 days ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
139
Voted
AIED
2005
Springer
16 years 4 days ago
2005
Springer
Politeness may play a role in tutorial interaction, including promoting learner motivation and avoiding negative affect. Politeness theory can account for this as a means of mitiga...