29 search results - page 5 / 6 » Intensionality and Two-steps Interpretations |
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...
GAMEON
2009
13 years 6 months ago
2009
At present, trajectory data, series of coordinate data traversed by moving objects, can be readily obtained due to the advent of positioning technologies. Clustering of trajectori...
FROCOS
2000
Springer
14 years 4 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...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Object motions can be represented as a sequence of shape deformations and translations which can be interpretated as a sequence of points in N-dimensional shape space. These space...
FORTE
2008
13 years 10 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...