4099 search results - page 293 / 820 » A Framework for Interactive Proof |
302
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
225
click to vote
ICIAR
2009
Springer
2009
Springer
Interactive Image Segmentation Based on Hierarchical Graph-Cut Optimization with Generic Shape Prior
16 years 1 months ago
Abstract. A new algorithm for interactive image segmentation is proposed. Besides the traditional appearance and gradient information, a new Generic Shape Prior (GSP) knowledge whi...
178
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Ontology matching plays a key role for semantic interoperability. Many methods have been proposed for automatically finding the alignment between heterogeneous ontologies. However...
152
click to vote
ISMAR
2007
IEEE
16 years 28 days ago
2007
IEEE
In this article we present interactive Focus and Context (F+C) visualizations for Augmented Reality (AR) applications. We demonstrate how F+C visualizations are used to affect the...
161
click to vote
GMP
2006
IEEE
16 years 21 days ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...