Search Sciweavers | Sciweavers

10

CONCUR
2003
Springer

101views Distributed And Parallel Com...» more CONCUR 2003»

A Compositional Semantic Theory for Synchronous Component-based Design

13 years 10 months ago

Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predeﬁned components in signal–ﬂow graphs and by h...

Barry Norton, Gerald Lüttgen, Michael Mendler

claim paper

Read More »

14

click to vote

TCS
2002

105views Theoretical Computer Science» more TCS 2002»

The continuum as a final coalgebra

13 years 4 months ago

Download boole.stanford.edu

oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...

Dusko Pavlovic, Vaughan R. Pratt

claim paper

Read More »

8

click to vote

DSVIS
2003
Springer

113views Human Computer Interaction» more DSVIS 2003»

Describing Just-UI Concepts Using a Task Notation

13 years 10 months ago

Download virtual.inesc.pt

Abstract. A proposal for describing Just-UI patterns using a task oriented notation (ConcurTaskTrees) is presented. This work provides a method to convert a given pattern into a ta...

Pedro J. Molina, Jorge Belenguer, Oscar Pastor

claim paper

Read More »

11

click to vote

CIVR
2005
Springer

165views Image Analysis» more CIVR 2005»

The Use and Utility of High-Level Semantic Features in Video Retrieval

13 years 6 months ago

Download www.informedia.cs.cmu.edu

Abstract. This paper investigates the applicability of high-level semantic features for video retrieval using the benchmarked data from TRECVID 2003 and 2004, addressing the contri...

Michael G. Christel, Alexander G. Hauptmann

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers