20066 search results - page 3704 / 4014 » T Spaces |
149
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Three-dimensional direct numerical simulations are performed of turbulent combustion of initially spherical flame kernels. The chemistry is described by a progress variable which ...
182
Voted
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
176
click to vote
ICNC
2005
Springer
16 years 8 days ago
2005
Springer
The feature selection and weighting are two important parts of automatic text classification. In this paper we give a new method based on concept attributes. We use the DEF Terms o...
196
click to vote
IFL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
195
click to vote
ILP
2005
Springer
16 years 8 days ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...