Sciweavers

17054 search results - page 181 / 3411
» Logics of Dynamical Systems
Sort
View
AMC
2000
94views more  AMC 2000»
15 years 7 months ago
Elements of a theory of simulation II: sequential dynamical systems
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
Christopher L. Barrett, Henning S. Mortveit, Chris...
ECAI
2008
Springer
15 years 8 months ago
Reasoning about Dynamic Depth Profiles
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
Mikhail Soutchanski, Paulo Santos
BIRTHDAY
2010
Springer
15 years 6 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein
FPGA
2004
ACM
117views FPGA» more  FPGA 2004»
16 years 14 days ago
A magnetoelectronic macrocell employing reconfigurable threshold logic
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
Steve Ferrera, Nicholas P. Carter
179
Voted
SAS
2004
Springer
16 years 13 days ago
Generalized Records and Spatial Conjunction in Role Logic
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
Viktor Kuncak, Martin C. Rinard