3456 search results - page 348 / 692 » Algorithms for Interface Synthesis |
185
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
DNA probe arrays have emerged as a core genomic technology that enables cost-effective gene expression monitoring, mutation detection, single nucleotide polymorphism analysis and ...
194
click to vote
ASE
2005
15 years 6 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
191
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose in this paper an interactive segmentation algorithm based on curve evolution techniques. The task of automated segmentation has proven to be highly complex and applicat...
180
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
With the emergence of digital pen and paper interfaces, there is a need for gesture recognition tools for digital pen input. While there exists a variety of gesture recognition fr...
193
click to vote
INFOVIS
2005
IEEE
16 years 7 days ago
2005
IEEE
Treemaps are a well-known method for the visualization of attributed hierarchical data. Previously proposed Treemap layout algorithms are limited to rectangular shapes, which caus...