4502 search results - page 389 / 901 » Regular Model Checking |
206
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
163
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
168
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Range sensors are popular for localization since they directly measure the geometry of the local environment. Another distinct benefit is their typically high accuracy and spa...
202
Voted
ICONIP
2008
15 years 8 months ago
2008
A number of learning machines used in information science are not regular, but rather singular, because they are non-identifiable and their Fisher information matrices are singula...
167
Voted
EOR
2007
15 years 6 months ago
2007
With the increasing emphasis on supply chain vulnerabilities, effective mathematical tools for analyzing and understanding appropriate supply chain risk management are now attrac...