5525 search results - page 934 / 1105 » Verification of Model Transformations |
150
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We consider a model of a 3D image obtained by discretizing it into a multiresolution tetrahedral mesh known as a hierarchy of diamonds. This model enables us to extract crack-free...
123
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Locating eyes in face images is an important step for automatic face analysis and recognition. In this paper, we present a novel approach for eye detection without finding the fa...
116
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
127
click to vote
NDSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we analyze a new class of pulsing denialof-service (PDoS) attacks that could seriously degrade the throughput of TCP flows. During a PDoS attack, periodic pulses of...
154
click to vote
AIME
2005
Springer
15 years 9 months ago
2005
Springer
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...