2610 search results - page 276 / 522 » codes 2007 |
139
click to vote
PTS
1998
15 years 6 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
122
click to vote
MVA
2000
15 years 6 months ago
2000
The tree-structured wavelet transform has received a lot of attention and has found successful applications in signal denoising, image coding, image analysis, etc. In this paper, ...
143
click to vote
PDPTA
2000
15 years 6 months ago
2000
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
147
Voted
DAGSTUHL
1996
15 years 6 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
143
click to vote
ACL
1990
15 years 6 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...