921 search results - page 99 / 185 » On Interleaving in Timed Automata |
121
click to vote
PACT
2005
Springer
15 years 5 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
112
click to vote
JUCS
2010
14 years 10 months ago
2010
: We consider the problem of efficiently evaluating a large number of XPath expressions, especially in the case when they define subscriber profiles for filtering of XML documen...
115
click to vote
VTS
2006
IEEE
15 years 5 months ago
2006
IEEE
We consider self-testing of complete wireless nodes in the field through a low-energy software-based selftest (SBST) method. Energy consumption is optimized both for individual co...
80
Voted
CHES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A digit-serial, multiplier-accumulator based cryptographic coprocessor architecture is proposed, similar to fix-point DSP's with enhancements, supporting long modula...
99
Voted
SIGDIAL
2010
14 years 9 months ago
2010
Dialog modeling in robotics suffers from lack of generalizability, due to the fact that the dialog is heavily influenced by the tasks the robot is able to perform. We introduce in...