8337 search results - page 258 / 1668 » Reasoning With Characteristic Models |
135
click to vote
ENVSOFT
2008
15 years 6 months ago
2008
Water quality modelling in small rivers is often considered unworthy from a practical and economic viewpoint. This paper shows instead that a simple model structure can be set up ...
138
click to vote
ENTCS
2007
15 years 6 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
185
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Background modeling is an important component of many vision systems. Existing work in the area has mostly addressed scenes that consist of static or quasi-static structures. When...
318
click to vote
Publication
In performance analysis and design of communication netword modeling data traffic is important. With introduction of new applications, the characteristics of the data traffic chang...
156
click to vote
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
In virtual colonography, precise segmentation is essential for accurate diagnosis. For the segmentation of colon wall, we propose a novel multi-phase deformable model using a leve...