Search Sciweavers | Sciweavers

17298 search results - page 164 / 3460

» Abstract computing machines

105

Voted

ENTCS
2007

124views more ENTCS 2007»

Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant

15 years 3 months ago

Download www.cs.brown.edu

bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...

Robert Keller, Martin Hunt, Stephen Jones, David M...

claim paper

Read More »

126

click to vote

NDJFL
2010

100views Computer Networks» more NDJFL 2010»

Numerical Abstraction via the Frege Quantifier

14 years 10 months ago

Download philosophy.ucdavis.edu

l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...

Gian Aldo Antonelli

claim paper

Read More »

Voted

PERCOM
2007
ACM

126views Computer Networks» more PERCOM 2007»

Scenes: Abstracting interaction in immersive sensor networks

16 years 3 months ago

Download mpc.ece.utexas.edu

Sanem Kabadayi, Christine Julien

claim paper

Read More »

Voted

CONCUR
2007
Springer

95views Distributed And Parallel Com...» more CONCUR 2007»

Solving Games Via Three-Valued Abstraction Refinement

15 years 9 months ago

Download users.soe.ucsc.edu

Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...

Luca de Alfaro, Pritam Roy

claim paper

Read More »

click to vote

IEEEPACT
2005
IEEE

104views Distributed And Parallel Com...» more IEEEPACT 2005»

Parallel Programming and Parallel Abstractions in Fortress

15 years 9 months ago