3856 search results - page 402 / 772 » Models for Automated Earthmoving |
187
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
157
click to vote
ICSR
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
178
click to vote
JCDL
2010
ACM
15 years 12 months ago
2010
ACM
Topic models could have a huge impact on improving the ways users find and discover content in digital libraries and search interfaces, through their ability to automatically lea...
220
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
154
click to vote
JCS
1998
15 years 6 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...