8838 search results - page 105 / 1768 » Generalizing Domain Theory |
134
Voted
GRAPHICSINTERFACE
2001
15 years 5 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
117
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....
137
click to vote
ENTCS
2002
15 years 3 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
148
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
105
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...