3856 search results - page 259 / 772 » Models for Automated Earthmoving |
186
Voted
GI
2007
Springer
16 years 25 days ago
2007
Springer
: Detection is an inherent part of every advanced automatic tracking system. In this work we focus on automatic detection of humans by enhanced background subtraction. Background s...
162
click to vote
SSS
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
179
click to vote
ICECCS
2005
IEEE
16 years 8 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
118
click to vote
ASPDAC
2005
ACM
16 years 7 days ago
2005
ACM
— As we are entering the network-on-chip era and system communication is becoming a dominating factor, comon abstraction and synthesis are becoming the integral part of system de...
172
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...