1096 search results - page 102 / 220 » Computation Slicing: Techniques and Theory |
HUC
2005
Springer
14 years 2 months ago
2005
Springer
A frameless display is a display with no perceptible boundaries; it appears to be embodied in the physical world. Frameless displays are created by projecting visual elements on a ...
RTA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
CVPR
2003
IEEE
14 years 2 months ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Progressive sequence model refinement by means of iterative searches is an effective technique for high sensitivity database searches and is currently employed in popular tools s...
AGP
2010
IEEE
14 years 2 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...