14244 search results - page 640 / 2849 » Modeling Program Predictability |
181
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
161
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
186
click to vote
LWA
2004
15 years 8 months ago
2004
In this paper we describe an approach to adaptive navigation assistance that is meant to enhance a user's information scent. The navigation assistance is composed of a combin...
172
click to vote
DAC
2006
ACM
16 years 25 days ago
2006
ACM
Until recently, most 3D graphics applications had been regarded as too computationally intensive for devices other than desktop computers and gaming consoles. This notion is rapid...
160
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...