Sciweavers

664 search results - page 37 / 133
» Building continuous webbed models for system F
Sort
View
FATES
2006
Springer
15 years 1 months ago
Model-Based Testing of Thin-Client Web Applications
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Acht...
CN
2000
82views more  CN 2000»
14 years 9 months ago
I-Views: a community-oriented system for sharing streaming video on the Internet
Streaming media is pervasive on the Internet now and is continuing to grow rapidly. Most streaming media systems have adopted the model of broadcast. Unfortunately, the nature of ...
Pengkai Pan, Glorianna Davenport
OOPSLA
2007
Springer
15 years 3 months ago
Democratizing the cloud
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
Erik Meijer
POPL
2012
ACM
13 years 5 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
NAACL
2004
14 years 11 months ago
Automatic Question Answering: Beyond the Factoid
In this paper we describe and evaluate a Question Answering system that goes beyond answering factoid questions. We focus on FAQlike questions and answers, and build our system ar...
Radu Soricut, Eric Brill