18209 search results - page 3551 / 3642 » Some Remarks on the Paper |
168
click to vote
CCE
2005
15 years 6 months ago
2005
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
177
click to vote
JETAI
2007
15 years 6 months ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
183
click to vote
JFP
2007
15 years 6 months ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
189
click to vote
JFP
2007
15 years 6 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
168
click to vote
CCR
2005
15 years 6 months ago
2005
A recent paper [8] presented methods for several steps along the road to synthesis of realistic traffic matrices. Such synthesis is needed because traffic matrices are a crucial i...