6829 search results - page 12 / 1366 » Quantitative Generalizations of Languages |
90
Voted
WIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We explore expression automata with respect to determinism, minimization and primeness. We define determinism of expression automata using prefix-freeness. This approac...
103
Voted
IJCAI
2001
15 years 2 months ago
2001
In this paper, we present a quantitative comparison between the syntactic structures of three languages: English, Chinese and Korean. This is made possible by first extracting Lex...
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
90
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
87
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...