1173 search results - page 139 / 235 » GenSAT: A Navigational Approach |
168
click to vote
ICSM
2009
IEEE
16 years 25 days ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
174
click to vote
IROS
2009
IEEE
16 years 25 days ago
2009
IEEE
— We present an approach to the problem of 3D map building in urban settings for service robots, using threedimensional laser range scans as the main data input. Our system is ba...
149
click to vote
IWANN
2009
Springer
16 years 22 days ago
2009
Springer
In Biomedical research, the ability to retrieve the adequate information from the ever growing literature is an extremely important asset. This work provides an enhanced and genera...
170
click to vote
SLS
2009
Springer
16 years 22 days ago
2009
Springer
Stochastic local search algorithms can now successfully solve MAXSAT problems with thousands of variables or more. A key to this success is how effectively the search can navigate...
177
click to vote
ICAC
2008
IEEE
16 years 19 days ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...