955 search results - page 171 / 191 » Model Checking Operator Procedures |
89
Voted
GIS
1998
ACM
15 years 4 months ago
1998
ACM
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
116
click to vote
FLAIRS
2008
15 years 2 months ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
78
Voted
AAAI
2006
15 years 2 months ago
2006
This paper develops new algorithms for coalition formation within multi-sensor networks tasked with performing widearea surveillance. Specifically, we cast this application as an ...
116
click to vote
APVIS
2004
15 years 2 months ago
2004
Resection or ablation of tumours is one treatment available for liver cancer. This delicate operation consists of removing the tumour(s) and surrounding healthy tissues. The surge...
89
Voted
PDCN
2004
15 years 2 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...