3591 search results - page 354 / 719 » Typing linear constraints |
130
click to vote
RSA
1998
15 years 6 months ago
1998
Let Un,p be the random unary predicate and Tk the almost sure first-order theory of Un,p under the linear ordering, where k is a positive integer and n−1/k p(n) n−1/(k+1) . F...
151
click to vote
IAJIT
2010
15 years 5 months ago
2010
: In this paper, we intend to study the synthesis of the multibeam arrays. The synthesis implementation’s method for this type of arrays permits to approach the appropriated radi...
152
click to vote
IANDC
2010
15 years 5 months ago
2010
Inspired by the classical theory of modules over a monoid, we introduce the natural notion of module over a monad. The associated notion of morphism of left modules (”linear” n...
276
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Benchmarking technical solutions is as important as the solutions themselves. Yet many fields still lack any type of rigorous evaluation. Performance benchmarking has always been ...
217
click to vote
IROS
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— The authors proposed a simulation method to clarify the developmental process of human locomotion using a model of infant robot. The infant robot has many degrees of fr...