5687 search results - page 909 / 1138 » Visualizing Evaluation in Scheme |
146
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
134
click to vote
ICVGIP
2008
15 years 5 months ago
2008
The primitives of point-based representations are independent but are rendered using surfels, which approximate the immediate neighborhood of each point linearly. A large number o...
157
click to vote
SPIESR
2004
15 years 5 months ago
2004
Removing commercials from television programs is a much sought-after feature for a personal video recorder. In this paper, we employ an unsupervised clustering scheme (CM Detect) ...
152
click to vote
VIIP
2001
15 years 5 months ago
2001
Enhanced biomedical image scanning technology and growing network accessibility have created a need for faster and more efficient data exchange over the Internet and in closed net...
155
click to vote
WSCG
2004
15 years 5 months ago
2004
Several sophisticated methods are available for efficient rendering of out-of-core terrain data sets. For huge data sets the use of preprocessed tiles has proven to be more effici...