3013 search results - page 271 / 603 » Context-Oriented Domain Analysis |
170
click to vote
ICPPW
2006
IEEE
16 years 20 days ago
2006
IEEE
Evolution of grid has drawn attention from various resource intensive applications addressing domains of bio-informatics, astrology and multimedia, to name a few. Image analysis a...
202
click to vote
SMI
2006
IEEE
16 years 19 days ago
2006
IEEE
We present a novel approach for discretely optimizing contours on the surface of a triangle mesh. This is achieved through the use of a minimum ratio cycle (MRC) algorithm, where ...
153
click to vote
ETFA
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
144
click to vote
MSWIM
2005
ACM
16 years 6 days ago
2005
ACM
This paper compares, through analysis and simulation, a number of multichannel MAC protocols for wireless networks. We first classify these protocols into 4 categories based on t...
158
Voted
CASSIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...