6833 search results - page 206 / 1367 » Some two-character sets |
111
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
We had introduced a set of 2D melodic units to transcribe Carnatic music previously, and we now provide some illustrative examples using real pitch tracks to further our discussio...
135
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
113
click to vote
HYBRID
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
171
click to vote
SWAT
1994
Springer
15 years 8 months ago
1994
Springer
A graph is distance-hereditary if and only if each cycle on five or more vertices has at least two crossing chords. We present linear time algorithms for the minimum r-dominating c...
136
click to vote
DALT
2007
Springer
15 years 8 months ago
2007
Springer
Some issues concerning beliefs of agents are discussed. These issues are the general syntactic form of beliefs, the logic underlying beliefs, acquiring beliefs, and reasoning with ...