11455 search results - page 1760 / 2291 » The Rayset and Its Applications |
212
Voted
VLSM
2005
Springer
16 years 22 days ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
197
Voted
VSTTE
2005
Springer
16 years 22 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
147
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
213
Voted
APGV
2004
ACM
16 years 21 days ago
2004
ACM
Motivated by the need for an informative, unbiased and quantitative perceptual method for the development and evaluation of a talking head we are developing, we propose a new test...
227
click to vote
ASPLOS
2004
ACM
16 years 21 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...