6168 search results - page 152 / 1234 » Research methods for HCI |
149
click to vote
EPIA
1993
Springer
15 years 10 months ago
1993
Springer
We present some recent results from our research on methods for finding the minimal solutions to linear Diophantine equations over the naturals. We give an overview of a family of...
163
click to vote
FLAIRS
2008
15 years 8 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
154
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Reliability and process variability are serious issues for FPGAs in the future. Fortunately FPGAs have the ability to reconfigure in the field and at runtime, thus providing oppor...
168
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...
131
click to vote
JBI
2006
15 years 6 months ago
2006
Research on ontologies is becoming widespread in the biomedical informatics community. At the same time, it has become apparent that the challenges of properly constructing and ma...