259 search results - page 2 / 52 » The Feasibility of Folk Science |
NIPS
2007
13 years 10 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
The Exploitation of Switch Lightpaths for e-Science Applications (ESLEA) project is evaluating the feasibility of using switched lightpath networks to support various e-Science ap...
DLOG
2009
13 years 6 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
TCS
2010
13 years 7 months ago
2010
Abstract. Core computation in data exchange is concerned with materializing the minimal target database for a given source database. Gottlob and Nash have recently shown that the c...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...