744 search results - page 15 / 149 » Observations on the Decidability of Transitions |
152
click to vote
CAISE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
151
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
149
click to vote
ACII
2007
Springer
16 years 7 days ago
2007
Springer
We analyze the antecedents of affective states in a simulation problem-solving environment, The Incredible Machine: Even More Contraptions, through quantitative field observations ...
133
click to vote
ICONIP
2008
15 years 7 months ago
2008
Abstract. We study synchronization phenomena in a pair of integrateand-fire (IF) oscillators with the width of an action potential. They have slightly different periodic firings ea...
165
click to vote
SEAA
2008
IEEE
16 years 12 days ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...