20511 search results - page 156 / 4103 » On the level |
161
click to vote
APN
2005
Springer
16 years 16 days ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
180
click to vote
EMMCVPR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
182
click to vote
GPCE
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
192
click to vote
ICA3PP
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Designing a simple but powerful low-level communication library for Java HPC environments is an important task. We introduce new low-level communication library for Java ...
146
click to vote
ICWE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...