886 search results - page 123 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
138
click to vote
JCP
2008
15 years 1 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
149
click to vote
JMLR
2012
13 years 3 months ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
MICCAI
2003
Springer
16 years 2 months ago
2003
Springer
Abstract. An automated method for segmenting the outer boundary of abdominal aortic aneurysms in MR images is presented. The method is based on the well known Active Shape Models (...
102
click to vote
ICCV
2007
IEEE
15 years 7 months ago
2007
IEEE
Non-rigid object alignment is especially challenging when only a single appearance template is available and target and template images fail to match. Two sources of discrepancy b...
275
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We introduce a morphological approach to curve evolution. The
differential operators used in the standard PDE snake models can be
approached using morphological operations...