370 search results - page 43 / 74 » Bounded modified realizability |
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
BC
2005
13 years 8 months ago
2005
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an algorithm, called PCG, for planning the foothold positions of spider-like robots in planar tunnels bounded by piecewise linear walls. The paper focuses on 3-...
CPAIOR
2010
Springer
14 years 1 months ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
ICOIN
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents the Differentiated Services (DiffServ) over ATM based Multiprotocol Label Switching (MPLS) core network architecture. This network supports the Integrated Serv...