5336 search results - page 359 / 1068 » Steerable part models |
232
Voted
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
208
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
220
click to vote
SIAMCOMP
1998
15 years 7 months ago
1998
This paper introduces the queue-read, queue-write (qrqw) parallel random access machine (pram) model, which permits concurrent reading and writing to shared memory locations, but ...
241
click to vote
PVLDB
2008
15 years 7 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
226
click to vote
OOPSLA
2010
Springer
15 years 6 months ago
2010
Springer
Models are important artifacts in the software development life-cycle and are often the result of a collaborative activity of multiple developers. When multiple developers modify ...