3235 search results - page 181 / 647 » Partial Redundant Modeling |
125
click to vote
CVIU
2008
15 years 4 months ago
2008
Geometric approaches for filling-in surface holes are introduced and studied in this paper. The basic idea is to represent the surface of interest in implicit form, and fill-in th...
114
click to vote
ECR
2007
15 years 4 months ago
2007
Abstract This paper presents the results of a field study conducted to elucidate critical factors that determine sellers’ net revenue in Internet auctions. Using two datasets of...
126
click to vote
TCS
2008
15 years 4 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
125
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
135
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...