1562 search results - page 242 / 313 » Convenience Over Correctness |
GIS
2010
ACM
14 years 8 months ago
2010
ACM
With the popularity of location-based services and the abundant usage of smart phones and GPS enabled devices, the necessity of outsourcing spatial data has grown rapidly over the...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
101
click to vote
JCC
2008
14 years 8 months ago
2008
: The prediction of the binding free energy between a ligand and a protein is an important component in the virtual screening and lead optimization of ligands for drug discovery. T...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— Sidewinding is an efficient translation gait used by snakes over flat ground. When implemented on snake robots, it retains its general effectiveness, but becomes unstable on ...
IFIP12
2010
14 years 8 months ago
2010
We attack the task of predicting which news-stories are more appealing to a given audience by comparing ‘most popular stories’, gathered from various online news outlets, over ...