3090 search results - page 596 / 618 » On Testing Answer-Set Programs |
130
Voted
CPM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Speeding up approximate pattern matching is a line of research in stringology since the 80’s. Practically fast approaches belong to the class of filtration algorithms,...
118
Voted
CPAIOR
2008
Springer
15 years 3 months ago
2008
Springer
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...
113
click to vote
DAC
2008
ACM
15 years 3 months ago
2008
ACM
The problem attacked in this paper is one of automatically mapping an application onto a Network-on-Chip (NoC) based chip multiprocessor (CMP) architecture in a locality-aware fas...
93
Voted
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We review the use of diagrams in the UK National School Curriculum (NC) and assess it in the light of current research on childrens' graph comprehension. It is noted...
123
click to vote
BCSHCI
2007
15 years 3 months ago
2007
This workshop is aimed at reviewing and comparing existing Usability Evaluation Methods (UEMs) which are applicable to monomodal and multimodal applications, whether they are web-...