77016 search results - page 560 / 15404 » Modelling |
230
click to vote
ICCSA
2003
Springer
16 years 9 days ago
2003
Springer
This paper presents a complete modeling system that extracts complex building structures with irregular shapes and surfaces. Our modeling approach is based on the use of airborne L...
182
click to vote
DSN
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
186
click to vote
ISCC
2002
IEEE
16 years 16 hour ago
2002
IEEE
In this paper we study the performance trade-offs between conventional cellular and ad-hoc peer-to-peer wireless networks. We compare through simulations the performance of the tw...
201
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
185
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Extended Abstract: We are exploring new techniques for active contour models (popularly known as “snakes”[1]) by combining active segmentation models with the constrained impli...