Sciweavers

1403 search results - page 100 / 281
» Quantitative Interprocedural Analysis
Sort
View
ACL
1989
13 years 12 months ago
Evaluating Discourse Processing Algorithms
In order to take steps towards establishing a methodology for evaluating Natural Language systems, we conducted a case study. We attempt to evaluate two different approaches to an...
Marilyn A. Walker
BIB
2007
139views more  BIB 2007»
13 years 11 months ago
Petri net modelling of biological networks
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
Claudine Chaouiya
CACM
2010
105views more  CACM 2010»
13 years 11 months ago
Censored exploration and the dark pool problem
We introduce and analyze a natural algorithm for multi-venue exploration from censored data, which is motivated by the Dark Pool Problem of modern quantitative finance. We prove t...
Kuzman Ganchev, Yuriy Nevmyvaka, Michael Kearns, J...
PSYCHNOLOGY
2006
81views more  PSYCHNOLOGY 2006»
13 years 10 months ago
An investigation into Older People's Browsing Activities
This paper presents quantitative data on browsing activities with 63 respondents aged 55 years old and over from three countries. The questionnaire explored frequently browsed top...
Prush Sa-nga-ngam, Sri Kurniawan
TCS
2002
13 years 10 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...