736 search results - page 87 / 148 » High-order functions and their ordering relations |
168
click to vote
MMNS
2007
15 years 7 months ago
2007
As mobile devices and functionalities have increased and become intelligent, many related problems have occurred. Especially, the degraded quality of service caused by the shadow a...
146
click to vote
IADIS
2004
15 years 7 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...
179
click to vote
MVA
1992
15 years 7 months ago
1992
We present an efficient and geometrically intuitive algorithm to reliably interpret the image velocities of moving objects in 3D. It is well known that in a small neighbourhood th...
151
click to vote
ALMOB
2006
15 years 6 months ago
2006
The technique of Finite Markov Chain Imbedding (FMCI) is a classical approach to complex combinatorial problems related to sequences. In order to get efficient algorithms, it is k...
160
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...