4520 search results - page 645 / 904 » Algebraic Techniques for Timed Systems |
183
click to vote
CASES
2006
ACM
16 years 20 days ago
2006
ACM
Embedded application requirements, including high performance, low power consumption and fast time to market, are uncommon in the broader domain of general purpose applications. I...
172
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper presents a method to generate dynamic shading of image-based objects without geometric models. Since conventional rendering techniques cannot be used to render the shad...
190
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
121
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Access and retrieval of meteorological and oceanographic data from heterogeneous sources in a distributed system presents many issues. Effective bandwidth utilization is important...
177
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we study the problem of constructing accurate decision tree models from data streams. Data streams are incremental tasks that require incremental, online, and any-ti...