3169 search results - page 523 / 634 » Robust Timed Automata |
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
DOCENG
2007
ACM
13 years 11 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
KDD
2010
ACM
13 years 11 months ago
2010
ACM
We propose an online topic model for sequentially analyzing the time evolution of topics in document collections. Topics naturally evolve with multiple timescales. For example, so...
WCNC
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Performance and reliability of content access in mobile networks is conditioned jointly by the number and location of content replicas deployed at the network nodes. The...
WCNC
2010
IEEE
13 years 11 months ago
2010
IEEE
—The IEEE 802.15.4 standard was developed for the purpose of media access control of low power wireless personal area networks. Wireless sensor network devices have the general c...