20511 search results - page 156 / 4103 » On the level |
152
click to vote
APN
2005
Springer
16 years 4 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 ...
171
click to vote
EMMCVPR
2005
Springer
16 years 3 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 ...
167
click to vote
GPCE
2005
Springer
16 years 3 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...
180
click to vote
ICA3PP
2005
Springer
16 years 3 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 ...
139
click to vote
ICWE
2005
Springer
16 years 2 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 ...