4609 search results - page 421 / 922 » Automatic Generation of Sigma-Protocols |
183
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We present a tool for automatically generating UI layouts for handheld devices based on design principles. This tool introduces a gestalt approach to visual interface design rathe...
238
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
210
click to vote
WCRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
218
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We describe a method for fully automatic object recognition and segmentation using a set of reference images to specify the appearance of each object. Our method uses a generative...
166
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...