Sciweavers

1798 search results - page 281 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
101
Voted
DAC
2001
ACM
16 years 1 months ago
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav A...
80
Voted
ICSE
2007
IEEE-ACM
16 years 22 days ago
Path-Sensitive Inference of Function Precedence Protocols
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
EUROGRAPHICS
2010
Eurographics
15 years 8 months ago
Practical quad mesh simplification
n this paper we present an innovative approach to incremental quad mesh simplification, i.e. the task of producing a low complexity quad mesh starting from a high complexity one. T...
Marco Tarini, Nico Pietroni, Paolo Cignoni, Daniel...
83
Voted
ESWS
2009
Springer
15 years 7 months ago
Towards Linguistically Grounded Ontologies
Abstract. In this paper we argue why it is necessary to associate linguistic information with ontologies and why more expressive models, beyond RDFS, OWL and SKOS, are needed to ca...
Paul Buitelaar, Philipp Cimiano, Peter Haase, Mich...
3DPVT
2006
IEEE
149views Visualization» more  3DPVT 2006»
15 years 6 months ago
Depth Images: Representations and Real-Time Rendering
Depth Images are viable representations that can be computed from the real world using cameras and/or other scanning devices. The depth map provides 2-1 2 D structure of the scene...
Pooja Verlani, Aditi Goswami, P. J. Narayanan, She...