3856 search results - page 445 / 772 » Models for Automated Earthmoving |
155
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
160
click to vote
METRICS
2005
IEEE
16 years 9 days ago
2005
IEEE
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
175
click to vote
CADE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
146
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
178
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...