887 search results - page 151 / 178 » Representing Systems with Hidden State |
136
click to vote
RTA
2007
Springer
15 years 8 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
114
click to vote
TRIDENTCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— In this work we characterize the energy consumption of a visual sensor network testbed. Each node in the testbed consists of a ”single-board computer”, namely Cross...
115
Voted
ICPP
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we present a hierarchical Data Cache Architecture called DCA to effectively slash local interconnect traffic and thus boost the storage server performance. DCA is ...
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
119
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...