7311 search results - page 378 / 1463 » Time in State Machines |
183
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
Man-Machine Interaction (MMI) Systems that utilize multimodal information about users’ current emotional state are presently at the forefront of interest of the computer vision ...
170
click to vote
COLT
2005
Springer
16 years 1 months ago
2005
Springer
We examine a Markovian model for the price evolution of a stock, in which the probability of local upward or downward movement is arbitrarily dependent on the current price itself...
196
click to vote
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
179
click to vote
DSD
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper proposes a methodology and a basic structure for the design of wrappers used to adapt cores for use as bus masters. The AMBA AHB protocol is used as a case study in thi...
205
click to vote
ASM
2003
ASM
16 years 26 days 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...