3856 search results - page 348 / 772 » Models for Automated Earthmoving |
188
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
234
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
165
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...
183
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...
168
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...