2038 search results - page 377 / 408 » Improvements to the Psi-SSA representation |
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
RT
2005
Springer
14 years 1 months ago
2005
Springer
Image-based representations for illumination can capture complex real-world lighting that is difficult to represent in other forms. Current importance sampling strategies for ima...
SCIA
2005
Springer
14 years 1 months ago
2005
Springer
We propose reliable outdoor object detection on mobile phone imagery from off-the-shelf devices. With the goal to provide both robust object detection and reduction of computation...
SPIRE
2005
Springer
14 years 1 months ago
2005
Springer
In-memory hash tables provide fast access to large numbers of strings, with less space overhead than sorted structures such as tries and binary trees. If chains are used for collis...
WIA
2005
Springer
14 years 1 months ago
2005
Springer
There has been several attempts over the years to solve the bisimulation minimization problem for finite automata. One of the most famous algorithms is the one suggested by Paige ...