778 search results - page 111 / 156 » Modelling a Query Space Using Associations |
113
click to vote
VIS
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents an experimental immersive interface for designing DNAcomponents for application in nanotechnology. While much research has been done on immersive visualization...
IJON
2006
15 years 1 months ago
2006
The success of Support Vector Machine (SVM) gave rise to the development of a new class of theoretically elegant learning machines which use a central concept of kernels and the a...
135
click to vote
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
103
click to vote
JSS
2006
15 years 1 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
103
click to vote
ICWE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...