6829 search results - page 46 / 1366 » Quantitative Generalizations of Languages |
100
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
93
Voted
GPCE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
114
click to vote
UAI
2001
15 years 2 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
113
Voted
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
Even though multilingual communities that use machine translation to overcome language barriers are increasing, we still lack a complete understanding of how machine translation a...
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...