940 search results - page 91 / 188 » Local rely-guarantee reasoning |
EVOW
2009
Springer
15 years 7 months ago
2009
Springer
The Maximum Parsimony problem aims at reconstructing a phylogenetic tree from DNA, RNA or protein sequences while minimizing the number of evolutionary changes. Much work has been ...
108
click to vote
CIVR
2009
Springer
15 years 7 months ago
2009
Springer
The GIST descriptor has recently received increasing attention in the context of scene recognition. In this paper we evaluate the search accuracy and complexity of the global GIST...
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
88
Voted
AGILE
2007
Springer
15 years 6 months ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
99
Voted
NDSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The resulting platforms provide computational power pre...