2624 search results - page 367 / 525 » The 2LIP model and its implementations |
141
Voted
IFL
2004
Springer
15 years 10 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
144
Voted
ITS
2004
Springer
15 years 10 months ago
2004
Springer
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
147
Voted
WDAG
2004
Springer
15 years 10 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
137
click to vote
CPAIOR
2010
Springer
15 years 9 months ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
110
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes the design of a low-voltage translinear second-order quadrature oscillator. The circuit is a direct implementation of a nonlinear second-order state-space desc...