2722 search results - page 312 / 545 » Automating Language Evolution |
147
click to vote
ACL
2011
14 years 7 months ago
2011
Information extraction (IE) holds the promise of generating a large-scale knowledge base from the Web’s natural language text. Knowledge-based weak supervision, using structured...
170
click to vote
DLOG
2011
14 years 7 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
173
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
156
Voted
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
193
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...