Sciweavers

1529 search results - page 256 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
110
Voted
COOPIS
2002
IEEE
15 years 5 months ago
Open Mind Common Sense: Knowledge Acquisition from the General Public
Abstract. Open Mind Common Sense is a knowledge acquisition system designed to acquire commonsense knowledge from the general public over the web. We describe and evaluate our firs...
Push Singh, Thomas Lin, Erik T. Mueller, Grace Lim...
101
Voted
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
15 years 9 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
104
Voted
ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
15 years 4 months ago
Synthesis for Probabilistic Environments
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
Sven Schewe
WWW
2004
ACM
16 years 1 months ago
Mining models of human activities from the web
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...
Mike Perkowitz, Matthai Philipose, Kenneth P. Fish...
106
Voted
SIGLEX
1991
15 years 4 months ago
Presuppositions and Default Reasoning: A Study in Lexical Pragmatics
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...
Robert E. Mercer