2373 search results - page 390 / 475 » On the Theory of Structural Subtyping |
160
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
159
click to vote
HCI
2007
15 years 7 months ago
2007
Software Engineering (SE) and Usability Engineering (UE) both provide a wide range of elaborated process models to create software solutions. Today, many companies have realized th...
160
click to vote
ITSL
2008
15 years 7 months ago
2008
In this paper we present a randomized complexity theoretic model for those epidemics propagated via short-distance close contact. We prove that the contact-based epidemics problems...
180
click to vote
IJCAI
2007
15 years 7 months ago
2007
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...
151
click to vote
NIPS
2008
15 years 7 months ago
2008
In most cognitive and motor tasks, speed-accuracy tradeoffs are observed: Individuals can respond slowly and accurately, or quickly yet be prone to errors. Control mechanisms gove...