1280 search results - page 39 / 256 » Soft Typing with Conditional Types |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper we present a new approach for labeling 3D points with different geometric surface primitives using a novel feature descriptor – the Fast Point Feature Histogram...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
For many applications, it is important to evaluate trigger conditions on time series streams. In a resource constrained environment, users’ needs should ultimately decide how th...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
PE
2008
Springer
13 years 9 months ago
2008
Springer
Following up on a recently renewed interest in computational methods for M/G/1-type processes, this paper considers an M/G/1-like system in which the service time distribution is ...
MP
1998
13 years 8 months ago
1998
We consider a generalized semi-infinite optimization problem (GSIP) of the form (GSIP) min{f(x) Ix E M}, where M = {x E N"lhi(x ) = 0, i = 1,...,m, G(x,y) /> 0, y E Y(x)} ...