3591 search results - page 169 / 719 » Typing linear constraints |
117
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...
161
Voted
INTELLCOMM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...
131
Voted
SSPR
2004
Springer
15 years 10 months ago
2004
Springer
Most machine learning algorithms are designed either for supervised or for unsupervised learning, notably classification and clustering. Practical problems in bioinformatics and i...
151
click to vote
ICDT
2003
ACM
15 years 10 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
185
click to vote
PPCP
1993
15 years 9 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...