12697 search results - page 116 / 2540 » Call for Papers |
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
183
click to vote
IS
2011
15 years 1 months ago
2011
Metric access methods based on hyperplane partitioning have the advantage, compared to the ballpartitioning-based ones, that regions do not overlap. The price is less flexibility...
136
click to vote
IROS
2008
IEEE
16 years 25 days ago
2008
IEEE
— This paper proposes a novel concept for the image based visual control, which is called the goal-oriented just-intime visual servoing. We apply this control to ball catching ta...
168
click to vote
ICWL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Wireless technology can enhance the Web-based learning applications with efficiency and effectiveness. This paper presents the design and implementation of a novel Wirele...
139
click to vote
ACL
1998
15 years 7 months ago
1998
In this paper, we propose a generalization of Centering Theory (CT) (Grosz, Joshi, Weinstein 1995) called Veins Theory (VT), which extends the applicability of centering rules fro...