6829 search results - page 63 / 1366 » Quantitative Generalizations of Languages |
108
Voted
TRS
2008
15 years 21 days ago
2008
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
98
Voted
INFORMATICALT
2000
15 years 18 days ago
2000
Abstract. We consider in this paper so called simple bracketed languages having special limitations. They are sometimes used for the definitions of some grammatical structures of p...
192
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
72
Voted
AAAI
2007
15 years 3 months ago
2007
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...