2564 search results - page 50 / 513 » Witness sets of projections |
ILP
2000
Springer
14 years 12 days ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
AUTOMATICA
2011
13 years 13 days ago
2011
Exploiting spectral properties of symmetric banded Toeplitz matrices, we describe simple sufficient conditions for positivity of a trigonometric polynomial formulated as linear ma...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
HT
2004
ACM
14 years 2 months ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...