26602 search results - page 5197 / 5321 » A New Imaging Model |
121
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
120
Voted
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
130
click to vote
RECOMB
2007
Springer
15 years 7 months ago
2007
Springer
A complete understanding of transcriptional regulatory processes in the cell requires identification of transcription factor binding sites on a genomewide scale. Unfortunately, th...
109
click to vote
SAMOS
2007
Springer
15 years 7 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
106
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
In collaborative indexing systems users generate a big amount of metadata by labelling web-based content. These labels are known as tags and form a shared vocabulary. In order to u...