4385 search results - page 494 / 877 » Abstraction for Concurrent Objects |
146
click to vote
ENTCS
2007
15 years 7 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
203
click to vote
JUCS
2006
15 years 7 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
314
Voted
TSMC
2008
15 years 7 months ago
2008
Abstract--We present a real-time incremental approach to motion segmentation operating on sparse feature points. In contrast to previous work, the algorithm allows for a variable n...
156
click to vote
JOT
2007
15 years 7 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
204
click to vote
TSP
2008
15 years 7 months ago
2008
Abstract--Removing noise from audio signals requires a nondiagonal processing of time-frequency coefficients to avoid producing "musical noise." State of the art algorith...