7504 search results - page 442 / 1501 » Computing with Action Potentials |
133
click to vote
IPPS
2000
IEEE
15 years 9 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...
134
Voted
BIRTHDAY
2000
Springer
15 years 9 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...
128
Voted
EICS
2010
ACM
15 years 9 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...
131
Voted
AGENTS
1999
Springer
15 years 9 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...
131
click to vote
JIT
1999
Springer
15 years 9 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 ...