838 search results - page 155 / 168 » From Natural Language to Formal Proof Goal |
JMLR
2008
13 years 7 months ago
2008
Efficient and expressive comparison of sequences is an essential procedure for learning with sequential data. In this article we propose a generic framework for computation of sim...
MAGS
2008
13 years 7 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
AIED
2005
Springer
14 years 28 days ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...