2018 search results - page 168 / 404 » Code Normal Forms |
105
Voted
HUC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Infrastructures (persistent socio-technical systems over which services are delivered) are normally taken for granted by their users, but are powerful forces of constrain...
116
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
113
Voted
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
105
Voted
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
We took a collection of 100 drum beats from popular music tracks and estimated the measure length and downbeat position of each one. Using these values, we normalized each pattern...
130
Voted
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...