838 search results - page 60 / 168 » From Natural Language to Formal Proof Goal |
145
click to vote
ICGI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...
149
click to vote
ESOP
2007
Springer
16 years 9 days ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
130
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
223
click to vote
GOSLER
1995
15 years 9 months ago
1995
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as from both, positive and negative data. We consider...
172
click to vote
MKWI
2008
15 years 7 months ago
2008
: This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of p...