4609 search results - page 643 / 922 » Automatic Generation of Sigma-Protocols |
276
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We demonstrate a fully working system for multifaceted browsing over large collections of text-annotated data, such as annotated images, that are stored in relational databases. T...
173
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The front end of many motion analysis algorithms is usually a process that generates bounding boxes around each moving object, roughly segmenting the objects from the background. ...
193
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
190
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
This paper presents a novel segmentation approach featuring shape constraints of multiple structures. A framework is developed combining statistical shape modeling with a maximum a...
159
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...