1127 search results - page 14 / 226 » GUI structural metrics |
BIOINFORMATICS
2007
14 years 11 months ago
2007
109
click to vote
ICALP
1998
Springer
15 years 3 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
IADIS
2004
15 years 1 months ago
2004
In this paper, we propose an open framework for teachers and lecturers in science, to help them write their pedagogical documents with both static textual parts, and interactive a...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
IAT
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--This paper describes an interactive tool for constrained clustering that helps users to select effective constraints efficiently during the constrained clustering process...