1763 search results - page 7 / 353 » A Formalization of Polytime Functions |
134
Voted
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
131
Voted
DOCENG
2007
ACM
15 years 7 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...
135
Voted
AI
2008
Springer
15 years 10 months ago
2008
Springer
In this paper, we present a method to identify topics in email messages. The formal concept analysis is adopted as a semantic analysis method to group emails containing the same ke...
101
Voted
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
130
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...