4609 search results - page 899 / 922 » Automatic Generation of Sigma-Protocols |
126
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
The automatic detection of lung nodules attached to other pulmonary structures is a useful yet challenging task in lung CAD systems. In this paper, we propose a stratified statist...
111
click to vote
ICSM
1994
IEEE
15 years 3 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
145
click to vote
NATO
1993
15 years 3 months ago
1993
METU Object-Oriented DBMS 1 includes the implementation of a database kernel, an object-oriented SQL-like language and a graphical user interface. Kernel functions are divided bet...
108
click to vote
SIGGRAPH
1993
ACM
15 years 3 months ago
1993
ACM
Image-space simplifications have been used to accelerate the calculation of computer graphic images since the dawn of visual simulation. Texture mapping has been used to provide a...
100
click to vote
MPC
2010
Springer
15 years 3 months ago
2010
Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...