6829 search results - page 424 / 1366 » Quantitative Generalizations of Languages |
158
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
This paper introduces two complexity-theoretic formulations of Bennett’s computational depth: finite-state depth and polynomial-time depth. It is shown that for both formulation...
192
Voted
HASKELL
2006
ACM
16 years 25 days ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
185
click to vote
JCDL
2006
ACM
16 years 25 days ago
2006
ACM
This paper discusses the application of speech alignment, image processing, and language understanding technologies to build efficient interfaces into large digital oral history a...
172
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
176
click to vote
INLG
2004
Springer
16 years 7 days ago
2004
Springer
This discussion paper describes a sequence of experiments with human subjects aimed at finding out how an nlg system should choose between the different forms of a gradable adjec...