4095 search results - page 447 / 819 » How to test a tree |
170
click to vote
ROBOCUP
2000
Springer
15 years 9 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
159
click to vote
SAS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based vers...
164
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
180
click to vote
BTW
2009
Springer
15 years 9 months ago
2009
Springer
: Very recently, Cao et al. presented the MAPLE approach, which accelerates queries with multiple instances of the same relation by sharing their scan operator. The principal idea ...
161
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
We seek to recognize the place depicted in a query image using a database of “street side” images annotated with geolocation information. This is a challenging task due to chan...