1061 search results - page 166 / 213 » Co-authoring with structured annotations |
92
Voted
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
111
Voted
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
102
Voted
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
109
click to vote
MICCAI
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we propose a weakly supervised learning algorithm for appearance models based on the minimum description length (MDL) principle. From a set of training images or volu...
MTSR
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...