3116 search results - page 264 / 624 » Positively dependent types |
149
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Jini is a technology for building reliable, fault-tolerant distributed applications. Besides offering an infrastructure for clients to locate services, it introduces the concept o...
179
click to vote
ECWEB
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. There are many definitions for Mobile Electronic Commerce (MCommerce). We define M-Commerce as any type of transaction of an economic value having at least at one end a m...
173
click to vote
ECAL
1999
Springer
15 years 11 months ago
1999
Springer
One important implication of embodiment is that, by acting, agents partially determine the sensory patterns they receive from the environment. The motor actions performed by an age...
164
click to vote
SBRN
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper proposes an unsupervised neural algorithm for trajectory production of a 6-DOF robotic arm. The model encodes these trajectories in a single training iteration by using...
200
click to vote
IMR
1998
Springer
15 years 11 months ago
1998
Springer
Whisker Weaving is an advancing front algorithm for all-hexahedral mesh generation. It uses global information derived from grouping the mesh dual into surfaces, the STC, to constr...