3273 search results - page 158 / 655 » types 2007 |
114
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
For many users with a disability it can be difficult or impossible to use a computer mouse to navigate the web. An alternative way to select elements on a web page is the label ty...
127
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, we address the problem of automatic grasp generation for robotic hands where experience and shape primitives are used in synergy so to provide a basis not only f...
142
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
128
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, Internet surveys have been widely used by researchers and companies as a means of data collection. However, few IS studies have discussed the validation of Intern...
144
click to vote
AAECC
2007
Springer
15 years 4 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...