Sciweavers

8021 search results - page 7 / 1605

» A Type System for Tom

11

FMSD
2008

49views more FMSD 2008»

Verification of parametric concurrent systems with prioritised FIFO resource management

13 years 7 months ago

Verification of parametric concurrent systems with prioritised FIFO resource management

Download www.lsv.ens-cachan.fr

Ahmed Bouajjani, Peter Habermehl, Tomás Voj...

claim paper

Read More »

18

WS
2008
ACM

142views Computer Networks» more WS 2008»

Collective knowledge systems: Where the Social Web meets the Semantic Web

13 years 7 months ago

Collective knowledge systems: Where the Social Web meets the Semantic Web

Download tomgruber.org

Tom Gruber

claim paper

Read More »

19

COMPUTER
2010

65views more COMPUTER 2010»

Evolving Software Architecture Descriptions of Critical Systems

13 years 7 months ago

Evolving Software Architecture Descriptions of Critical Systems

Download www.se-rwth.de

Tom Mens, Jeff Magee, Bernhard Rumpe

claim paper

Read More »

18

PLPV
2009
ACM

101views Programming Languages» more PLPV 2009»

Type invariants for Haskell

14 years 4 months ago

Type invariants for Haskell

Download www.cs.kuleuven.be

Haskell’s multi-parameter type classes, together with functional dependencies, allow the speciﬁcation of complex type-level opera

Tom Schrijvers, Louis-Julien Guillemette, Stefan M...

claim paper

Read More »

17

INTERSPEECH
2010

135views Signal Processing» more INTERSPEECH 2010»

Automatic speech recognition for assistive writing in speech supplemented word prediction

13 years 2 months ago

Automatic speech recognition for assistive writing in speech supplemented word prediction

Download www.cslu.ogi.edu

This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...

John-Paul Hosom, Tom Jakobs, Allen Baker, Susan Fa...

claim paper

Read More »

« Prev « First page 7 / 1605 Last » Next »