Sciweavers

1524 search results - page 63 / 305
» Game Relations and Metrics
Sort
View
107
Voted
FSTTCS
2008
Springer
15 years 1 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
99
Voted
TSE
2010
140views more  TSE 2010»
14 years 11 months ago
Learning a Metric for Code Readability
—In this paper, we explore the concept of code readability and investigate its relation to software quality. With data collected from 120 human annotators, we derive associations...
Raymond P. L. Buse, Westley Weimer
DGO
2008
112views Education» more  DGO 2008»
15 years 2 months ago
Relating taxonomies with regulations
Increasingly, taxonomies are being developed for a wide variety of industrial domains and specific applications within those domains. These industry or application specific taxono...
Chin Pang Cheng, Jiayi Pan, Gloria T. Lau, Kincho ...
IJCAI
2007
15 years 2 months ago
Utile Distinctions for Relational Reinforcement Learning
We introduce an approach to autonomously creating state space abstractions for an online reinforcement learning agent using a relational representation. Our approach uses a tree-b...
William Dabney, Amy McGovern
109
Voted
CVPR
2001
IEEE
16 years 2 months ago
Non-Metric Image-Based Rendering for Video Stabilization
We consider the problem of video stabilization: removing unwanted image perturbations due to unstable camera motions. We approach this problem from an image-based rendering (IBR) ...
Chris Buehler, Michael Bosse, Leonard McMillan