Sciweavers

114 search results - page 19 / 23
» Specialized Aspect Languages Preserving Classes of Propertie...
Sort
View
85
Voted
ALT
2007
Springer
15 years 8 months ago
Learning in Friedberg Numberings
In this paper we consider learnability in some special numberings, such as Friedberg numberings, which contain all the recursively enumerable languages, but have simpler grammar e...
Sanjay Jain, Frank Stephan
IJCAI
1989
15 years 25 days ago
On the Declarative Semantics of Inheritance Networks
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
Krishnaprasad Thirunarayan, Michael Kifer, David S...
OOPSLA
2005
Springer
15 years 5 months ago
Relational queries over program traces
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
Simon Goldsmith, Robert O'Callahan, Alexander Aike...
TIT
2010
107views Education» more  TIT 2010»
14 years 6 months ago
Rate distortion and denoising of individual data using Kolmogorov complexity
We examine the structure of families of distortion balls from the perspective of Kolmogorov complexity. Special attention is paid to the canonical rate-distortion function of a so...
Nikolai K. Vereshchagin, Paul M. B. Vitányi
LREC
2010
207views Education» more  LREC 2010»
15 years 1 months ago
A Recursive Annotation Scheme for Referential Information Status
We provide a robust and detailed annotation scheme for information status, which is easy to use, follows a semantic rather than cognitive motivation, and achieves reasonable inter...
Arndt Riester, David Lorenz, Nina Seemann