1403 search results - page 187 / 281 » About Approximations of Exponentials |
202
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
170
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Recent work in computer input control has sought to maximize the use of the fingers in the operation of computer pointing devices. The main rationale is the hypothesis that the m...
154
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
151
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...
184
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the ob...