2694 search results - page 109 / 539 » Frege's New Science |
192
click to vote
HUMAN
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we propose the ontology-based semantic web search model to enhance efficiency and accuracy of information retrieval for unstructured and semi-structured documents. N...
158
click to vote
BIRTHDAY
2010
Springer
15 years 11 months ago
2010
Springer
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
152
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
125
click to vote
CTRS
1990
15 years 10 months ago
1990
A new positive-unit theorem-proving procedure for equational Horn clauses is presented. It uses a term ordering to restrict paxamodulation to potentiallymaximal sides of equations...
166
click to vote
CLOUDCOM
2009
Springer
15 years 9 months ago
2009
Springer
Many areas of science are seeing a data deluge coming from new instruments, myriads of sensors and exponential growth in electronic records. We take two examples