3856 search results - page 477 / 772 » Models for Automated Earthmoving |
170
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
150
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
169
click to vote
AICCSA
2006
IEEE
16 years 22 days ago
2006
IEEE
Although E-learning has advanced considerably in the last decade, some of its aspects, such as E-testing, are still in the development phase. Authoring tools and test banks for E-...
195
click to vote
MM
2006
ACM
16 years 19 days ago
2006
ACM
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...
197
click to vote
EEE
2005
IEEE
16 years 9 days ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...