7047 search results - page 378 / 1410 » Focusing on Binding and Computation |
152
Voted
ITICSE
2005
ACM
16 years 11 days ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
150
click to vote
WIKIS
2005
ACM
16 years 11 days ago
2005
ACM
In the first part we describe the dissemination of wikis in the German-speaking school community with a special focus on Switzerland, the most active German-speaking country using...
213
click to vote
ASP
2005
Springer
16 years 11 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
165
click to vote
CSCWD
2005
Springer
16 years 10 days ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
160
Voted
FCT
2005
Springer
16 years 10 days ago
2005
Springer
Block sorting is used in connection with optical character recognition (OCR). Recent work has focused on finding good strategies which perform well in practice. Block sorting is N...