838 search results - page 131 / 168 » From Natural Language to Formal Proof Goal |
190
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
159
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
166
click to vote
DALT
2009
Springer
16 years 20 days ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
164
Voted
IEEEICCI
2006
IEEE
16 years 4 days ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
157
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...