384 search results - page 51 / 77 » The Number of Generalized Balanced Lines |
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Online camera recalibration is necessary for long-term deployment of computer vision systems. Existing algorithms assume that the source of recalibration information is a set of f...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
There exists a large body of literature on shape matching and registration in medical image analysis. However, most of the previous work is focused on matching particular sets of f...
61
Voted
POPL
2007
ACM
14 years 7 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
PPOPP
2010
ACM
14 years 4 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
ASM
2010
ASM
14 years 2 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...