4835 search results - page 505 / 967 » Intelligent Selection Tools |
176
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a method to determine the rough shape of an object. This is a step in the development of a ”One Click Grasping Tool”, a grasping tool of everyday-life o...
180
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
176
click to vote
MICRO
2006
IEEE
16 years 27 days ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
188
click to vote
DILS
2005
Springer
16 years 12 days ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
157
click to vote
RECSYS
2010
ACM
15 years 7 months ago
2010
ACM
Recommender systems have emerged as an effective decision tool to help users more easily and quickly find products that they prefer, especially in e-commerce environments. However...