1382 search results - page 40 / 277 » Term ordering problem on MDG |
CPM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We consider the problem of highly space-efficient representation of separable graphs while supporting queries in constant time in the RAM with logarithmic word size. In p...
AVI
2008
14 years 1 months ago
2008
In this paper we discuss the problem of deploying appliances for interactive services in complex physical environments using a knowledge based approach to define the relations bet...
CORR
2012
Springer
12 years 6 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
ICIP
2009
IEEE
13 years 8 months ago
2009
IEEE
Due to the presence of speckle, segmentation of SAR images is generally acknowledged as a difficult problem. A large effort has been done in order to cope with the influence of sp...
NHM
2010
13 years 5 months ago
2010
A quasistatic evolution problem for a phase transition model with nonconvex energy density is considered in terms of Young measures. We focus on the particular case of a finite num...