3335 search results - page 162 / 667 » Grid result checking |
113
Voted
CP
2005
Springer
15 years 9 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...
118
Voted
CAV
2010
Springer
15 years 6 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...
146
Voted
GRID
2003
Springer
15 years 9 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...
117
Voted
IROS
2006
IEEE
15 years 9 months 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...
128
Voted
ICMCS
2006
IEEE
15 years 9 months 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...