4047 search results - page 244 / 810 » Some Properties and Some Problems on Set Functors |
184
click to vote
ISPA
2007
Springer
16 years 18 days ago
2007
Springer
Grid and distributed public computing schemes has become an essential tool for many scientific fields including bioinformatics, computational biology and systems biology. The adopt...
207
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We study the cosegmentation problem where the objective
is to segment the same object (i.e., region) from a pair
of images. The segmentation for each image can be cast
using a p...
147
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
169
click to vote
MIRAGE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper is concerned itself with the analysis of the twophase Mumford-Shah model also known as the active contour without edges model introduced by Chan and Vese. It c...
150
click to vote
APN
2005
Springer
16 years 5 hour 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 ...