10891 search results - page 1650 / 2179 » Combining Model Reductions |
124
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
Previous systems have explored the challenges of designing an interface for automotive styling which combine the metaphor of 2D drawing using physical tape with the simultaneous c...
222
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
144
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Current approaches for identification and detection of transcription factor binding sites rely on an extensive set of known target genes. Here we describe a novel structu...
123
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...
226
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
This paper focuses on the problem of improving distributed query throughput of the RDBMS-based data integration system that has to inherit the query execution model of the underly...