1930 search results - page 166 / 386 » Learning to Solve QBF |
121
click to vote
BIBM
2007
IEEE
15 years 10 months ago
2007
IEEE
Discovering human disease-causing genes (disease genes in short) is one of the most challenging problems in bioinformatics and biomedicine, as most diseases are related in some wa...
121
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
145
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
One of the key requirement for Grid infrastructures is the ability to share resources with nontrivial qualities of service. However, resource management in a decentralized infrast...
118
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Navigation is one of the fundamental tasks for a mobile robot. The majority of path planning approaches has been designed to entirely solve the given problem from scratch given...
132
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...