5196 search results - page 93 / 1040 » State of Application Assessment |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Machine Science, or Data-driven Research, is a new and interesting scientific methodology that uses advanced computational techniques to identify, retrieve, classify and analyse da...
FSMNLP
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
DAM
2007
13 years 10 months ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
IFL
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
NIPS
2007
13 years 11 months ago
2007
We provide a provably efficient algorithm for learning Markov Decision Processes (MDPs) with continuous state and action spaces in the online setting. Specifically, we take a mo...