4353 search results - page 211 / 871 » Expressiveness of Process Algebras |
147
click to vote
SIVP
2008
15 years 4 months ago
2008
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
145
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
: Presented is a paradigm of how a design concept can be converted into a system of production rules to generate designs. The rules are expressed by the means of shape grammar form...
119
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of th...
114
click to vote
ASPDAC
2000
ACM
15 years 9 months ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...
120
click to vote
DLOG
2008
15 years 7 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...