5550 search results - page 835 / 1110 » Different Approaches to Proof Systems |
201
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
168
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
This paper presents an approach for modeling landmark sites such as the Statue of Liberty based on large-scale contaminated image collections gathered from the Internet. Our system...
302
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
158
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose a novel point-based approach to view dependent isosurface extraction. We introduce a fast visibility query system for the view dependent traversal, which exhibits moder...
264
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Endonasal transsphenoidal pituitary surgery is a minimally invasive endoscopic procedure, applied to remove various kinds of pituitary tumors. To reduce the risk associated with t...