1724 search results - page 248 / 345 » Abstract Interpreters for Free |
166
click to vote
JCB
1998
15 years 6 months ago
1998
Abstract. The method of invariants is an approach to the problem of reconstructing the phylogenetic tree of a collection of m taxa using nucleotide sequence data. Models for the re...
159
click to vote
STTT
1998
15 years 5 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
171
click to vote
TVLSI
1998
15 years 5 months ago
1998
Abstract— The growing popularity of look-up table (LUT)based field programmable gate arrays (FPGA’s) has renewed the interest in functional or Roth–Karp decomposition techni...
146
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Continuum robots made from telescoping precurved elastic tubes enable base-mounted actuators to specify the curved shapes of robots as thin as standard surgical needles...
171
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— This paper describes a hierarchical planner deployed on a mobile manipulation system. The main idea is a two-level hierarchy combining a global planner which provides r...