440 search results - page 36 / 88 » On Some Systems Controlled by the Structure of Their Memory |
FROCOS
2000
Springer
14 years 11 days ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
ASPDAC
2004
ACM
14 years 15 days ago
2004
ACM
Abstract-- Despite the limited power available in a batteryoperated hand-held device, a display system must still have an enough resolution and sufficient color depth to deliver th...
ICRA
1995
IEEE
14 years 9 days ago
1995
IEEE
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
DFT
1999
IEEE
14 years 1 months ago
1999
IEEE
A programmable single-chip multiprocessor system for video coding has been developed. The system is implemented in a high-performance 0.25 m logic/embedded DRAM process. It integr...