3335 search results - page 162 / 667 » Grid result checking |
144
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
A search algorithm based on non-binary forward checking (nFC) is used to solve the car-sequencing problem. The choice of value ordering heuristics having a dramatic effect on solu...
151
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
185
click to vote
GRID
2003
Springer
15 years 11 months ago
2003
Springer
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...
156
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
– Sound source localization on a mobile robot can be a difficult task due to a variety of problems inherent to a real environment, including robot ego-noise, echoes, and the tran...
166
click to vote
ICMCS
2006
IEEE
16 years 11 days ago
2006
IEEE
In this work a new method is proposed for coding artifact reduction of MPEG compressed video sequences. The method makes use of a simple cost-effective technique that allows the b...