4609 search results - page 535 / 922 » Automatic Generation of Sigma-Protocols |
184
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
199
click to vote
CIVR
2007
Springer
16 years 29 days ago
2007
Springer
Automatic image annotation techniques that try to identify the objects in images usually need the images to be segmented first, especially when specifically annotating image reg...
183
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
166
click to vote
SAMT
2007
Springer
16 years 28 days ago
2007
Springer
This paper proposes a new stopping criterion for automatic image segmentation based on region merging. The criterion is dependent on image content itself and when combined with the...
187
click to vote
FGR
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, a layered deformable model (LDM) is proposed for human body pose recovery in gait analysis. This model is inspired by the manually labeled silhouettes in [6] and it...