10874 search results - page 224 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
187
click to vote
WMPI
2004
ACM
16 years 1 days ago
2004
ACM
Abstract. Many applications with large data spaces that cannot run on a typical workstation (due to page faults) call for techniques to expand the effective memory size. One such t...
193
click to vote
MTV
2003
IEEE
15 years 12 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
180
click to vote
NLE
2007
15 years 6 months ago
2007
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...
202
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Reinforcement learning (RL) algorithms have long been promising methods for enabling an autonomous robot to improve its behavior on sequential decision-making tasks. The obviou...
164
click to vote
JUCS
2010
15 years 5 months ago
2010
: During software development projects there is always a particular working “product” that is generated but rarely managed: the knowledge and experience that team members acqui...