Sciweavers

2695 search results - page 146 / 539
» The Complexity of Forecast Testing
Sort
View
JAPLL
2006
97views more  JAPLL 2006»
15 years 4 months ago
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
Martin Lange
AI
2008
Springer
15 years 6 months ago
Assessing the Impact of Changing Environments on Classifier Performance
Abstract. The purpose of this paper is to test the hypothesis that simple classifiers are more robust to changing environments than complex ones. We propose a strategy for generati...
Rocío Alaíz-Rodríguez, Nathal...
IAJIT
2011
14 years 11 months ago
GUI structural metrics
: User interfaces have special characteristics that differentiate them from the rest of the software code. Typical software metrics that indicate its complexity and quality may not...
Izzat Alsmadi, Mohammed Al-Kabi
IV
2003
IEEE
92views Visualization» more  IV 2003»
15 years 9 months ago
A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
Carsten Maple, Tim French, Marc Conrad
COLING
2008
15 years 5 months ago
Hindi Compound Verbs and their Automatic Extraction
We analyse Hindi complex predicates and propose linguistic tests for their detection. This analysis enables us to identify a category of V+V complex predicates called lexical comp...
Debasri Chakrabarti, Hemang Mandalia, Ritwik Priya...