1449 search results - page 128 / 290 » Finiteness results for sigmoidal |
161
click to vote
AIML
2008
15 years 7 months ago
2008
We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently b...
171
click to vote
COLING
2008
15 years 7 months ago
2008
Phrasal segmentation models define a mapping from the words of a sentence to sequences of translatable phrases. We discuss the estimation of these models from large quantities of ...
148
click to vote
CCCG
2006
15 years 7 months ago
2006
In this paper we study various predicates concerning line transversals to lines and segments in 3D. We compute the degrees of standard methods of evaluating these predicates. The ...
152
click to vote
CSC
2006
15 years 7 months ago
2006
Design and application of super elements in efficient prediction of the structural behaviour in a short time has been one of the research interests in the last decade. A new 16-no...
141
click to vote
FECS
2006
15 years 7 months ago
2006
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...