3616 search results - page 152 / 724 » Support Tucker Machines |
120
click to vote
ICARIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
148
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
138
click to vote
DPPI
2003
ACM
15 years 11 months ago
2003
ACM
For experience-driven design to become an influential design strategy, much effort should be put into method development and elaborate case studies. In the present paper, we prese...
248
click to vote
CONPAR
1994
15 years 10 months ago
1994
The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...
158
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. The increasing capabilities of experimental household robot platforms require more and more sophisticated methods of interaction. While there are many developments in all...