7504 search results - page 442 / 1501 » Computing with Action Potentials |
185
click to vote
IPPS
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
209
click to vote
BIRTHDAY
2000
Springer
15 years 12 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
184
click to vote
EICS
2010
ACM
15 years 12 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
183
click to vote
AGENTS
1999
Springer
15 years 12 months ago
1999
Springer
This research proposes a computational framework for generating visual attending behavior in an embodied simulated human agent. Such behaviors directly control eye and head motion...
179
click to vote
JIT
1999
Springer
15 years 12 months ago
1999
Springer
In the near future we expect a widespread deployment of mobile computational resources including network-enabled end devices like Laptops and PDAs. An interesting problem then and ...