3931 search results - page 471 / 787 » Separation logic and abstraction |
154
click to vote
GW
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. As may be seen at concerts and in various everyday listening situations, people often make spontaneous gestures when listening to music. We believe these gestures are int...
228
click to vote
AWPN
2008
15 years 8 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
182
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. Technology to support care at home is a promising alternative to traditional approaches. However, home care systems present significant technical challenges. For example,...
189
click to vote
IRCDL
2010
15 years 8 months ago
2010
Abstract. In the music field, an open issue is represented by the creation of innovative tools for acquisition, preservation and sharing of information. The strong difficulties in ...
168
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
ABSTRACT. We present an implementation of double precision interval arithmetic using the single-instruction-multiple-data SSE-2 instruction and register set extensions. The impleme...