8486 search results - page 1290 / 1698 » Ordered Enumeration Method |
168
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
178
Voted
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
Range queries are a very powerful tool in a wide range of data management systems and are vital to a multitude of applications. The hierarchy of structured overlay systems can be ...
144
Voted
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a method for simulating and visualizing dyeing based on weave patterns and the physical parameters of the threads and the dye. We apply Fick’s second law wi...
148
Voted
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
— The paper presents an approach to intelligent, interactive people following for autonomous robots. The approach combines robust methods for simultaneous localization and mappin...
212
Voted
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...