12981 search results - page 2220 / 2597 » Model Checking (Abstract) |
122
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Concepts from elasticity are applied to analyze modes of variation on shapes in two and three dimensions. This approach represents a physically motivated alternative to s...
160
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Segmentation of images is often posed as a variational problem. As such, it is solved by formulating an energy functional depending on a contour and other image derived t...
146
click to vote
SSD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Location-based services (LBS) are receiving increasing popularity as they provide convenience to mobile users with on-demand information. The use of these services, howev...
131
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
139
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...