549 search results - page 41 / 110 » Verification condition generation for conditional informatio... |
90
Voted
ICPR
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
122
click to vote
JCP
2007
15 years 14 days ago
2007
—One of the challenging problems in geometric modeling and computer graphics is the construction of realistic human facial geometry. Such geometry are essential for a wide range ...
120
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—Collecting per-flow aggregates in high-speed links is challenging and usually requires traffic sampling to handle peak rates and extreme traffic mixes. Static selection of sa...
102
Voted
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
94
Voted
JMM2
2008
15 years 16 days ago
2008
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...