6762 search results - page 551 / 1353 » Multiple drafts model |
269
click to vote
QOFIS
2004
Springer
16 years 16 days ago
2004
Springer
This paper describes BarterRoam: a new novel mobile and wireless roaming settlement model and clearance methodology, based on the concept of sharing and bartering excess capacities...
205
click to vote
SPIN
2004
Springer
16 years 16 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
248
click to vote
ISCA
2010
IEEE
16 years 8 days ago
2010
IEEE
This paper presents a fundamental law for parallel performance: it shows that parallel performance is not only limited by sequential code (as suggested by Amdahl’s law) but is a...
175
click to vote
3DPVT
2002
IEEE
16 years 5 days ago
2002
IEEE
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...
207
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...