2233 search results - page 121 / 447 » Modular type classes |
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
122
click to vote
DEDS
2006
15 years 2 months ago
2006
A class of time-varying discrete-event systems, named dynamic discrete-event systems, is defined. The goal of this paper is to provide a method which is modular and can be applied ...
123
click to vote
FUIN
2000
15 years 2 months ago
2000
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...
119
Voted
STACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
121
click to vote
ISAAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, the space requirements for the OBDD representation of certain graph classes, specifically cographs, several types of graphs with few P4s, unit interval gr...