5336 search results - page 297 / 1068 » Steerable part models |
184
Voted
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
An analysis is presented of the primary factors influencing the performance of a parallel implementation of the UCLA atmospheric general circulation model (AGCM) on distributedme...
187
click to vote
ICPP
1993
IEEE
15 years 11 months ago
1993
IEEE
: Events are occurrence instances of actions. The thesis of this paper is that the use of “actions”, instead of events, greatly simplifies the problem of concurrent debugging....
239
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
215
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
Computer-aided design (CAD) and 3D visualization techniques are at the heart of many engineering processes such as aircraft, ship, and automobile design. These visualization tasks...
219
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...