5599 search results - page 371 / 1120 » Abstract State Services |
202
click to vote
ICGI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of th...
186
Voted
ASM
2003
ASM
15 years 12 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
159
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
156
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
167
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- This paper considers when a discrete-time periodic non-homogeneous system can be transformed to a time-invariant one by using regular linear mappings of state variables,...