5863 search results - page 852 / 1173 » On Model-Checking of P Systems |
183
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
149
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents the hardware and software design principles of the medium size RoboCup Team CoPS which are developed by the image understanding group at the Institute...
186
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
166
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
144
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...